java是怎么禁止指令重排序的

一、虚拟机规范

8个 happens-before,4个内存屏障(LL LS SS SL)

as-if-serial 不管硬件什么顺序,单线程执行的结果不变,看上去像是serial

二、cpu 层面的支持

指令原语 :(intel ) lfence sfence mfence(mixed fence) 原语前后的指令不能重排序

总线锁 原子指令如x86上的lock...指令是一个full barrier,执行时会锁住内存子系统保证执行顺序,甚至跨多个cpu。

lock用于在多处理器中执行指令时对共享内存的独占使用。它的副作用是能够将当前处理器对应缓存的内容刷新到内存,并使其他处理器对应的缓存失效。另外还提供了有序的指令无法越过这个内存屏障的作用。

三、具体实现

software locks通常使用内存屏障或原子指令来实现变量可见性和程序执行的顺序性。

1、volatile的规范 

java是怎么禁止指令重排序的_第1张图片

2、hotspot volatile 实现 是直接使用的 总线锁   汇编指令    lock addl $0x0,(%rsp)

 

参考:

volatile与lock前缀指令

https://www.cnblogs.com/badboys/p/12695183.html

java 中volatile和lock原理分析

https://www.jb51.net/article/109788.htm

java 8大happen-before原则超全面详解

https://www.jianshu.com/p/1508eedba54d

你可能感兴趣的:(底层知识)