volatile使用

在当前的Java内存模型下， 线程可以把 变量保存在本地内存（比如机器的寄存器）中，而不是直接在主存中进行读写。这就可能造成一个线程在主存中修改了一个 变量的值，而另外一个线程还继续使用它在 寄存器中的变量值的拷贝，造成数据的不一致。

要解决这个问题，只需要像在本程序中的这样，把该 变量声明为volatile（不稳定的）即可，这就指示JVM，这个变量是不稳定的，每次使用它都到主存中进行读取。一般说来，多任务环境下各任务间共享的标志都应该加volatile修饰。

Volatile修饰的 成员变量在每次被 线程访问时，都强迫从 共享内存中重读该成员变量的值。而且，当 成员变量发生变化时，强迫线程将变化值回写到 共享内存。这样在任何时刻，两个不同的线程总是看到某个 成员变量的同一个值。

Java语言规范中指出：为了获得最佳速度，允许线程保存共享 成员变量的私有拷贝，而且只当线程进入或者离开 同步代码块时才与共享成员变量的原始值对比。

这样当多个线程同时与某个对象交互时，就必须要注意到要让线程及时的得到共享 成员变量的变化。

而volatile 关键字就是提示VM：对于这个 成员变量不能保存它的私有拷贝，而应直接与共享成员变量交互。

使用建议：在两个或者更多的线程访问的 成员变量上使用volatile。当要访问的 变量已在synchronized代码块中，或者为 常量时，不必使用。

由于使用volatile屏蔽掉了VM中必要的 代码优化，所以在效率上比较低，因此一定在必要时才使用此 关键字。

 

正确使用 volatile 变量的条件

您只能在有限的一些情形下使用 volatile 变量替代锁。要使 volatile 变量提供理想的 线程安全，必须同时满足下面两个条件：

● 对 变量的写操作不依赖于当前值。

● 该 变量没有包含在具有其他变量的不变式中。

实际上，这些条件表明，可以被写入 volatile 变量的这些有效值独立于任何程序的状态，包括变量的当前状态。

第一个条件的限制使 volatile 变量不能用作 线程安全计数器。虽然增量操作（x++）看上去类似一个单独操作，实际上它是一个由读取－修改－写入操作序列组成的组合操作，必须以原子方式执行，而 volatile 不能提供必须的原子特性。实现正确的操作需要使 x 的值在操作期间保持不变，而 volatile 变量无法实现这点。（然而，如果将值调整为只从单个线程写入，那么可以忽略第一个条件。）