JMM关于synchronized的两条规定:
1)线程解锁前,必须把共享变量的最新值刷新到主内存中
2)线程加锁时,将清空工作内存中共享变量的值,从而使用共享变量时需要从主内存中重新获取最新的值
(注意:加锁与解锁需要是同一把锁)
通过以上两点,可以看到synchronized能够实现可见性。同时,由于synchronized具有同步锁,所以它也具有原子性。
如果你的字段是volatile,Java内存模型将在写操作后插入一个写屏障 指令,在读操作前插入一个读屏障指令。volatile的特殊规则保证了新值能立即同步到主内存,以及每次使用前立即从主内存刷新。
一个线程对两个成员变量做操作时,由于两个变量不相关时,jit有时候会对语句进行指令重排。而volatile可以防止指令重排。