volatile实现细节-JVM层面+CPU层面

volatile可以保证多线程访问的变量的可见性以及禁止指令重排序。

JVM层面的实现细节：

     StoreStoreBarrier          LoadLoadBarrier

     volatile写操作                volatile读操作

     StoreLoadBarrier           LoadStoreBarrier 

CPU层面的实现细节：

是采用lock 汇编指令操作，lock add dword ptr [rsp],0h

为了更好的理解volatile，需要了解下CPU缓存的知识；

CPU缓存的出现主要是为了解决CPU运算速度与内存读写速度不匹配的矛盾；常用的CPU内部都有L1缓存、L2缓存有些CPU架构还存在L3缓存。也就是线程的工作内存通常包含：寄存器、L1缓存、L2缓存、L3缓存。

CPU–>CPU缓存–>主内存之间读写关系标题

 

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
 

上面部分是自己的一些总结。

 

具体的详情细节，还是前辈整理的更好。共勉学习！

原文地址http://www.cnblogs.com/xrq730/p/7048693.html，转载请注明出处，谢谢