主要参考了“深入理解JAVA内存模型”系列博文,一点自己的理解。
一、volatile
1.1 对于重排序(包括代码重排,指令重排)的影响
是否能重排序 第二个操作
第一个操作 普通读/写 volatile读 volatile写
普通读/写 NO
volatile读 NO NO NO
volatile写 NO NO
归纳起来就是:
- 当第二个操作是volatile写时,不管第一个操作是什么,都不能重排序。这个规则确保volatile写之前的操作不会被编译器重排序到volatile写之后。
- 当第一个操作是volatile读时,不管第二个操作是什么,都不能重排序。这个规则确保volatile读之后的操作不会被编译器重排序到volatile读之前。
- 当第一个操作是volatile写,第二个操作是volatile读时,不能重排序。
其中前两项是针对单个线程的,它们保证当volatile类型的变量写入时,值是正确的(不会有后面的语句跑到前面去,也不会有前面的语句跑到后面去,而volatile变量的赋值可能用到了这些普通变量);当volatile类型的变量读入后,后续变量的值是正确的(因为它们的赋值可能用到volatile变量)。
第三项则是针对多线程,可以做到多个线程的隐式同步。当A线程先写了volatile共享变量,而B线程后读了volatile变量,则两个线程不须加锁,B线程的读就会等到A线程的写完成再执行。并且B线程读的时候,两个线程的所有共享变量(包括普通共享变量,即没有volatile修饰过的)都会对B线程可见(即已经刷新到主内存了,而并非保存在B线程的本地内存)。
唯一令人不解的是:A线程的写,怎么能在语义上是happens-before线程B的读呢?莫非是A线程的start调用早于B线程?
上述机制的内存实现(通过内存屏障):
在每个volatile写操作的前面插入一个StoreStore屏障。
在每个volatile写操作的前面插入一个StoreLoad屏障。
在每个volatile读操作的后面插入一个LoadLoad屏障。
在每个volatile读操作的后面插入一个LoadStore屏障。
原文写的有误,令人好生迷茫了一阵子。
至于内存屏障的优化等内容,参照原文即可,没有问题。