volatile 关键字相关知识点、原理及场景详解

1. volatile含义

volatile是一个类型修饰符（type specifier）。volatile的作用是作为指令关键字，确保本条指令不会因编译器的优化而省略，且要求每次直接从主存读值。volatile的本身含义即为易变的、不稳定的，也就是说被它修饰的变量可能会被意想不到地改变。

2. 相关知识点

2.1 CPU 缓存

CPU缓存（Cache Memory）位于CPU与内存之间的临时存储器，它的容量比内存小但交换速度快。在缓存中的数据是内存中的一小部分，但这一小部分是短时间内CPU即将访问的，当CPU调用大量数据时，就可避开内存直接从缓存中调用，从而加快读取速度。
在CPU中加入缓存是一种高效的解决方案，这样整个内存储器（缓存+内存）就变成了既有缓存的高速度，又有内存的大容量的存储系统了。缓存对CPU的性能影响很大，主要是因为CPU的数据交换顺序和CPU与缓存间的带宽引起的。


以上为CPU Cache模型，缓存分为三级L1/L2/L3，由于指令和数据的行为和热点分布差异很大，因此将L1按照用途划分为L1i（instruction）和L1d（data）。在多核CPU的结构中，L1和L2是CPU私有的，L3则是所有CPU共享的。

2.2 Java内存模型

1. 主存中的数据所有线程都可以访问（共享数据）
2. 每个线程都有自己的工作空间，（本地内存）（私有数据）
3. 工作空间数据：局部变量、内存的副本
4. 线程不能直接修改内存中的数据，只能读到工作空间来修改，修改完成后刷新到内存

这就引发了CPU缓存的一致性问题。
解决方案：
1）总线加锁（粒度太大），锁总线的开销比较大，锁总线期间其他 CPU 没法访问内存。
2）缓存一致性协议（MESI）
a. 读操作：不做任何事情，把Cache中的数据读到寄存器
b. 写操作：发出信号通知其他的CPU讲改变量的Cache line置为无效，其他的CP