Java关键字volatile

提纲

定义

语义上，volatile是表示易变的、不确定的。
功能上，是Java提供的最轻量级的同步机制。

前因：从CPU缓存架构类比JMM线程工作内存和主内存关系

要弄懂如何保证可见性的，请看下图，左侧是CPU的缓存架构图：

如下图是一些时间参考，可更加直观的感受到各个组件的访问速度。

因为CPU的执行速度和内存的读写速度，相差太大。
CPU完成操作后，如果要等到内存也执行完成再继续下一个操作的话，对CPU算力就是极大的浪费。所以为了匹配2者的速度差，引入了高速缓存。现在CPU一般都有3级缓存，其中一级缓存离CPU核最近，速度也最快，可分为指令缓存和数据缓存2部分；下面是二级缓存，一个CPU核心就配备一个一级缓存和二级缓存的，是私有的。而三级缓存则是共享的，再下面是数据总线和主内存。

如下图是CPU的基本信息：

引入了高速缓存，虽然能让CPU效率提升，但是也带来了缓存一致性问题。为了解决这个问题，有两种方案，一是通过总线锁实现强一致性；二是缓存一致性协议，目前大多数采用的是MESI缓存一致性协议。（这2个方案都是硬件级别的）
随着CPU技术的发展，在CPU硬件级别多是使用的第二种方式，因为锁住总线期间，其他CPU无法访问内存，导致性能下降

而对于Java并发环境下，多线程的共享数据一致性问题也是类似，Java内存模型参考上述的CPU缓存架构实现了自己的线程、工作内存和主内存的关系，如上图里的右侧