一、虚拟机规范
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的规范
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原则超全面详解