Synchronized可以保证共享变量的可见性

Synchronized实现可见性原理

解决第一个因素：在加锁前会将工作内存的值全部重新加载一遍，保证最新；释放锁前将工作内存的值全部更新到主存；由于在带锁期间，没有其他线程能访问本线程正在使用的共享变量，这样就保证了可见性。

解决第二个因素：由于Synchronized修饰的代码块都是原子性执行的，即一旦开始做，就会一直执行完毕，期间有其他线程不可以访问本线程所使用的共享变量，这样，即便指令重排了也不会出现问题。