JMM

主要参考了“深入理解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屏障。

 原文写的有误，令人好生迷茫了一阵子。

至于内存屏障的优化等内容，参照原文即可，没有问题。