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线程使用

作者：吃货先生
来源：****
原文：https://blog.****.net/weixin_41705780/article/details/79247112
版权声明：本文为博主原创文章，转载请附上博文链接！