volatile 用来修饰被不同线程访问和修改的变量
1内存可见性:
某线程对 volatile 变量的修改,对其他线程都是可见的。即获取 volatile 变量的值都是最新的。
Java 中存在一种原则——先行发生原则(happens-before)。其表示两个事件结果之间的关系:如果一个事件发生在另一个事件之间,其结果必须体现。volatile 的内存可见性就体现了该原则:对于一个 volatile 变量的写操作先行发生于后面对这个变量的读操作。
需要注意的是 volatile 能保证内存的可见性,但不能保证变量的原子性。
某一线程从主内存获取到共享变量的值,当其修改完变量值重新写入主内存时,并没有去判断主内存的值是否发生改变,有可能会出现意料之外的结果。
例如:当多个线程都对某一 volatile 变量(int a=0)进行 count++ 操作时,由于 count++ 操作并不是原子性操作,当线程 A 执行 count++ 后,A 工作内存其副本的值为 1,但线程执行时间到了,主内存的值仍为 0 ;线程 B又来执行 count++后并将值更新到主内存,主内存此时的值为 1;然后线程 A 继续执行将值更新到主内存为 1,它并不知道线程 B 对变量进行了修改,也就是没有判断主内存的值是否发生改变,故最终结果为 1,但理论上 count++ 两次,值应该为 2。
所以要使用 volatile 的内存可见性特性的话得满足两个条件:
能确保只有单一的线程对共享变量的只进行修改。
变量不需要和其他状态变量共同参与不变的约束条件。
(2)禁止指令重排:
指令重排:JVM 在编译 Java 代码时或 CPU 在执行 JVM 字节码时,对现有指令顺序进行重新排序,优化程序的运行效率。(在不改变程序执行结果的前提下)
指令重排虽说可以优化程序的执行效率,但在多线程问题上会影响结果。那么有什么解决办法呢?答案是内存屏障。内存屏障是一种屏障指令,使 CPU 或编译器对屏障指令之前和之后发出的内存操作执行一个排序的约束。
四种类型:LoadLoad 屏障、StoreStore 屏障、LoadStore 屏障、StoreLoad 屏障。(Load 代表读取指令、Store 代表写入操作)
在 volatile 变量上的体现:(JVM 执行操作)
在每个 volatile 写入操作前插入 StoreStore 屏障;
在写操作后插入 StoreLoad 屏障;
在读操作前插入 LoadLoad 屏障;
在读操作后插入 LoadStore 屏障;
volatile 禁止指令重排在单例模式上有所体现,之前文章有所介绍(链接)。上边介绍的操作只是针对 volatile 读和 volatile 写这种组合情况。还有其他的情况就不一一展开了。
总结:
(1)内存可见性的保证是基于屏障指令的。
(2)禁止指令重排在编译时 JVM 编译器遵循内存屏障的约束,运行时靠屏障指令组织重排。
(3)synchronized 关键字可以保证变量原子性和可见性;volatile 不能保证原子性。