内存间交互操作
- 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线程使用
