CPU/JVM内存屏障以及volatile/synchronized实现解析

CPU硬件级别的内存屏障

sfence ：store|在sfence指令前的写操作当必须在sfence指令后的写操作前完成。
lfence ：load|在lfence指令前的读操作当必须在lfence指令后的读操作前完成。
mfence：mfence指令前的读写操作当必须在mfence指令后的读写操作前完成。（全能屏障）

jvm级别如何规范（jsr133）

LoadLoad屏障：读读屏障（load1|loadload|load2）(load1必须在load2之前运行读取完以下三个类似)
StoreStore屏障：写写屏障（store1|storestore|store2）
LoadStore屏障：读写屏障(load|loadstore|store)
StoreLoad屏障：写读屏障(store|storeload|load)（全能屏障）

这是jvm实现内存屏障的规范，真正实现这个内存屏障功能的还是CPU的硬件也就是sfence/lfence/mfence.
jvm只是规范好了要是什么屏障，具体实现还是需要看操作系统。

volatile（其实就是一个内存屏障）
1，字节码层面
ACC_VOLATILE 加了这么一个修饰符（可以打开class的二进制文件查看，对应变量会加这个修饰）
2，jvm层面
StoreStoreBarrier|volatile 写操作|StoreLoadBarrier(写写屏障和写读屏障)
LoadLoadBarrier|volatile 读操作|LoadStoreBarrier(读读屏障和读写屏障)
3，os和硬件层面
hsdis-虚拟机的反汇编，查看汇编指令是怎么完成的（底层可能不是sfence/lfence/mfence。window其中汇编实现是用lock指令实现的）
x86在屏障之间就只进行了一次操作，没有多次操作。
不能保证原子性（在变量操作前后有内存屏障但是在变量操作之间没有，所以不能保证原子性）
synchronized
1，字节码层面
如果是方法的话是加了ACC_SUNCHRONIZED修饰符
方法中synchronized的monitorenter monitorexit(监视器的进入/监视器的退出，一般方法存在两个监视器退出，其中一个监视器退出是因为异常退出的时候要退出)
2，jvm层面
c c++调用操作系统提供的同步机制（不同的操作系统不同，要看具体的操作系统的实现函数）
3，os和硬件层面
lock指令实现的（x86） cmpxchg