在当前的Java内存模型下,
线程可以把
变量保存在本地内存(比如机器的寄存器)中,而不是直接在主存中进行读写。这就可能造成一个线程在主存中修改了一个
变量的值,而另外一个线程还继续使用它在
寄存器中的变量值的拷贝,造成数据的不一致。
要解决这个问题,只需要像在本程序中的这样,把该
变量声明为volatile(不稳定的)即可,这就指示JVM,这个变量是不稳定的,每次使用它都到主存中进行读取。一般说来,多任务环境下各任务间共享的标志都应该加volatile修饰。
Volatile修饰的
成员变量在每次被
线程访问时,都强迫从
共享内存中重读该成员变量的值。而且,当
成员变量发生变化时,强迫线程将变化值回写到
共享内存。这样在任何时刻,两个不同的线程总是看到某个
成员变量的同一个值。
这样当多个线程同时与某个对象交互时,就必须要注意到要让线程及时的得到共享
成员变量的变化。
而volatile
关键字就是提示VM:对于这个
成员变量不能保存它的私有拷贝,而应直接与共享成员变量交互。
使用建议:在两个或者更多的线程访问的
成员变量上使用volatile。当要访问的
变量已在synchronized代码块中,或者为
常量时,不必使用。
由于使用volatile屏蔽掉了VM中必要的
代码优化,所以在效率上比较低,因此一定在必要时才使用此
关键字。
正确使用 volatile 变量的条件
您只能在有限的一些情形下使用 volatile
变量替代锁。要使 volatile
变量提供理想的
线程安全,必须同时满足下面两个条件:
实际上,这些条件表明,可以被写入 volatile
变量的这些有效值独立于任何程序的状态,包括变量的当前状态。
第一个条件的限制使 volatile
变量不能用作
线程安全计数器。虽然增量操作(x++)看上去类似一个单独操作,实际上它是一个由读取-修改-写入操作序列组成的组合操作,必须以原子方式执行,而 volatile 不能提供必须的原子特性。实现正确的操作需要使 x 的值在操作期间保持不变,而 volatile
变量无法实现这点。(然而,如果将值调整为只从单个线程写入,那么可以忽略第一个条件。)