java violate 优化_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

————————————————

版权声明：本文为CSDN博主「吃货先生」的原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接及本声明。