volatile内存语义以及实现 -volatile写和读对普通变量的影响

原文链接：https://blog.csdn.net/uhana/article/details/86592730

volatile内存语义以及实现

内存语义：

• 当写一个volatile变量时，JMM会把该线程对应的本地内存中的共享变量值立即刷新到主内存中(就是把L1,L2缓存刷新的L3上)。
• 当读一个volatile变量时，JMM会把该线程对应的本地内存设置为无效，直接从主内存中读取共享变量（直接从L3缓存读数据）。

实现：

volatile的底层实现是通过插入内存屏障，但是对于编译器来说，发现一个最优布置来最小化插入内存屏障的总数几乎是不可能的，所以，JMM采用了保守策略。如下：

• 在每一个volatile写操作前面插入一个StoreStore屏障
• 在每一个volatile写操作后面插入一个StoreLoad屏障
• 在每一个volatile读操作后面插入一个LoadLoad屏障
• 在每一个volatile读操作后面插入一个LoadStore屏障

StoreStore屏障可以保证在volatile写之前，其前面的所有普通写操作都已经刷新到主内存中。

StoreLoad屏障的作用是避免volatile写与后面可能有的volatile读/写操作重排序。

LoadLoad屏障用来禁止处理器把上面的volatile读与下面的普通读重排序。

LoadStore屏障用来禁止处理器把上面的volatile读与下面的普通写重排序。