volatile 关键字的复习

今天早上看何登成的微博（http://hedengcheng.com/?p=725） 对volatile 关键字语意进行了深入分析。

看完之后，用自己的话总结如下：

１、c/c++ volatile中的volatile关键字的语意：

１）保证volatile修饰的变量在多线程的内存可见性，也就是volatile变量本身的含义（易变性）。 保证这种易变性的原理就是 ：

写volatile 变量要从寄存器同步到内存，而读volatile变量则要从内存同步到寄存器。

 

2）保证对多个用volatile修饰符修饰的变量进行的读写操作，编译器不会做指令优化 。 但是不保证volatile和非volatile变量读写操作

的编译器指令优化。 

 

3）c\c++ volatile不保证cpu的指令乱序执行不会影响到程序的正确性。

 

 而java volatile关键字除了前面两点：变量在多线程的内存可见性 和 禁止编译器对volatile变量的指令乱序优化 之外，还增加了happens-before语义

模型，保证了cpu的指令乱序执行不会影响到程序的正确性。

这个Happens-before有两层含义：

1）对volatile变量的写之前对其它变量的读写都不会优化到volatile写之后。

2）对volatile变量的读之后的对其它变量的读写都不会优化到volatile读之前。