volatile 解析

volatile作用

1. 保证变量可见行
2. 禁止指令冲排序

重排序规则

1. 当第二个操作volatile写时，不论第一个操作是什么，都不能重排序。这个规则保证了volatile写之前的操作不会被重排到volatile写之后。
2. 当第一个操作为volatile读时，不论第二个操作是什么，都不能重排。这个操作保证了volatile读之后的操作不会被重排到volatile读之前。
3. 当第一个操作为volatile写，第二个操作为volatile读时，不能重排。

屏障类型	指令示例	说明
LoadLoad	Load1; LoadLoad; Load2	保证load1的读取操作在load2及后续读取操作之前执行
StoreStore	Store1; StoreStore; Store2	在store2及其后的写操作执行前，保证store1的写操作已刷新到主内存
LoadStore	Load1; LoadStore; Store2	在stroe2及其后的写操作执行前，保证load1的读操作已读取结束
StoreLoad	Store1; StoreLoad; Load2	保证store1的写操作已刷新到主内存之后，load2及其后的读操作才能执行

• 在每个volatile变量写操作之前插入StoreStore屏障，之后插入StoreLoad屏障；
  之前插入StoreStore屏障：禁止volatile写之前的写操作与其重排序，保证之前的所有写操作都写回主存，对volatile写可见；
  之后插入StoreLoad屏障：禁止volatile写之后的读写操作与其重排序，实现volatile写结果对后续操作可见；
• 在每个volatile变量读操作之后，接连插入LoadLoad屏障，LoadStore屏障；
  插入LoadLoad屏障：禁止volatile变量读之后的读操作与其重排序；
  插入LoadStore屏障：禁止volatile变量读之后的写操作与其重排序；
  通过插入两次内存屏障，实现volatile读结果对后续操作可见；

在JMM中，如果A操作对B操作存在happen-before关系；A操作的执行结果全部对B操作可见；因此不同操作的时间顺序和先行发生规则没有关系，happen-before强调前者修改结果全部对后者可见；如果A，B操作不存在happen-before关系，JVM会对它们进行任意重排序；
JMM默认happen-before规则：
程序顺序规则：一个线程的每个操作，先于该线程其他后续操作执行；
线程的start()方法先于线程内其他方法执行，线程所有操作先于线程的终结操作；
锁规则：对一个monitor的解锁必然先于对该monitor的加锁；
volatile变量规则：对volatile的写操作先于读操作；
传递性：A先于B，B先于C，必然A先于C；