volatile作用
- 保证变量可见行
- 禁止指令冲排序
重排序规则
- 当第二个操作volatile写时,不论第一个操作是什么,都不能重排序。这个规则保证了volatile写之前的操作不会被重排到volatile写之后。
- 当第一个操作为volatile读时,不论第二个操作是什么,都不能重排。这个操作保证了volatile读之后的操作不会被重排到volatile读之前。
- 当第一个操作为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;