《深入理解Java虚拟机》笔记：volatile的实现原理

volatile在并发程序中有两个特点：

1、保证其修饰变量的线程间可见性；2、禁止对其修饰变量的指令重排。

这两个特点都与volatile底层实现有关。

 

通过观察汇编代码可以发现，在对volatile变量赋值后，会多执行一条指令：

lock add1 $0x0,(%esp)

这条指令的作用是：将本处理器的缓存写入内存，并使其他处理器的缓存无效。

显然通过这条命令可以让前面对volatile变量的修改对其他处理器立即可见。

 

在Java的一个线程中，允许发生指令重排，但需要保证最终结果的正确性。

所以当lock指令将把修改同步到内存时，意味着所有之前的操作已经执行完成。

这样便形成了指令重排无法越过内存屏障的现象，内存屏障前后的指令无法重排。（还不太理解）

 

以上即是volatile在硬件层面的实现原理。在字节码层面、JVM层面都有相应的实现方式。