Java volatile 怎么保证不被指令重排序优化

内存间交互操作

lock: 作用主内存
unlock: 作用主内存
read/load：这两个操作顺序执行,不能单独出现;主内存的变量=>工作内存的变量
use: 作用工作内存,把工作内存变量传给执行引擎
assign: 作用工作内存,把执行引擎收到的值赋给工作内存变量
store/write: 这两个操作顺序执行;不能单独出现;工作内存的变量=>主内存的变量
通过主内存与工作内存交互来理解这些操作:

注意:不允许

工作内存

直接使用未初始化的变量

内存模型的3个特征

原子性
有序性, 同一个线程内观察是有序, 一个线程观察另一个线程的操作是无序的 
可见性

重排序

如下代码,由于threadA对于threadB是无序的,对A重排序优化,②可能提前执行,这就导致threadB跳过④

ThreadA {
do something   //①
set flag = true//②
}

ThreadB {
if(flag){      //③
do something //④
}
}

通过volatile,synchronized可以禁止重排序优化

happens-before(hb)

意义:内存模型通过hb原则并发操作过程中的有序性问题actionA先行发生actionB，就是说A对B可见（A的结果在B执行时可见）线程启动/终结规则
volatile规则, volatile变量写操作hb后面读操作
lock规则, unlock hb lock
Order规则, 线程内书写前面的操作hb书写后面的操作
中断规则, Thread.interrupt hb 被中断程序检测到的中断事件的发生
传递性

volatile禁止重排序原理

如下图，1、2保证可见性，3禁止重排序1.A动作之前必关联P、F动作
2.B动作自后必然伴随G、Q动作
3.A优先于B，则P优先于Q（这个比较显然）；B优先于A，则Q优先于P


例如：线程B对变量flag=true同步优先于A线程使用

volatile深入理解Demo