volatile的实现原理

关键字volatile是JVM提供的最轻量级的同步机制

为什么要使用Volatile

Volatile变量修饰符如果使用恰当的话，它比synchronized的使用和执行成本会更低，因为它不会引起线程上下文的切换和调度。

Java内存模型对volatile专门定义了一些特殊的访问规则，当一个变量被定义成volatile之后，他将具备两种特性：

1、保证此变量对所有线程的可见性。

2、禁止指令重排序优化。

关键在于有volatile修饰的变量，赋值后，多执行了一个“lock addl $0x0,(%esp)”操作，这个操作相当于是一个内存屏障（memory barrire,指令重排时不能把后面的指令重排到内存屏障之前的位置）

lock addl $0x0,(%esp)（把ESP寄存器的值加0）显然是一个空操作，相当于对变量做了一次“store和write”操作，通过这样一个空操作，可让前面volatile变量的修改对其他线程立即可见。

lock addl $0x0,(%esp)指令把修改同步到内存时，意味着所有之前的操作都已经执行完了，这样就形成了“指令重排无法越过内存屏障的效果”。

关于指令重排的自己理解：指令重排不是任意的重排，必须要保证程序能得出正确的执行结果，lock addl $0x0,(%esp)指令相当于把修改后volatile修饰的变量值同步到内存中。这就是说，在同步之前必然要先对变量进行复制修改操作。