volatile关键词

继上一篇文章提到的Java内存模型的原子性、可见性、有序性问题，针对性讨论一下volatile关键字的作用。synchronized主要修饰方法和代码块，而volatile修饰变量，都是在多线程同步中起作用。

volatile修饰共享变量（类的成员变量、类的静态成员变量），具有如下性质：
（1）保证了不同线程对这个变量进行操作时的可见性，即一个线程修改了该变量的值，这新值对其他线程来说是立即可见的。
如何理解可见性呢？
它会强制将线程工作区变量缓存的修改操作立即写入主存；同时会导致其他CPU中对应的缓存行无效，其他线程需要去主存读取新值。保证每个线程获取变量值为最新有效的。
（2）禁止进行指令重排序，volatile能在一定程度上保证有序性。
如何理解禁止指令重排序？
a.当程序执行到volatile变量的读操作或者写操作时，在其前面的操作的更改肯定全部已经进行，且结果已经对后面的操作可见；在其后面的操作肯定还没有进行；
b.在进行指令优化时，不能将在对volatile变量访问的语句放在其后面执行，也不能把volatile变量后面的语句放到其前面执行。
（3）volatile无法保证对变量的任何操作都是原子性的。
通常来说，使用volatile必须具备以下两个条件：
a.对变量的写操作不依赖于当前值；
b.该变量没有包含在具有其他变量的不变式中。
意思是只有volatile变量进行的都是原子性操作，才能保证并发同步能正确执行。