volatile关键字的奥妙

volatile关键字的奥妙

---

【什么是volatile关键字】
volatile关键字并非java的首创，在C与C++中就已经存在。
volatile是针对保证线程安全的轻量级解决方案（java中synchronized同样可用于保证线程安全，但是对程序性能影响有点大）

【volatile的特性】

1. 保障了线程之间的可见性，这其中可见性的保证是基于CPU的内存屏障指令，被JSR-133抽象为happens-before原则（先行发生原则）
2. 阻止编译时和运行时的指令重排，编译时JVM编译器遵循内存屏障的约束，运行时依靠CPU屏障指令来阻止重排。

特性详解：
【特性1：保障了线程之间的可见性】
铺垫内容：
JMM-java内存模型，是Java虚拟机所定义的一种抽象规范，用来屏蔽不同硬件和操作系统的内存访问差异，让java程序在各种平台下都能达到一致的内存访问效果。
效果图如下：

为了保证效率，线程对共享变量的操作都是在工作内存中进行的，不能直接读写主内存的变量。为了提高效率，jvm采用性能较高的工作内存。
主内存中存储的是共享变量的本尊，工作内存中存储的是主内存中的副本。
另外不同线程之间也无法访问彼此的工作内存，变量值的传递只能通过主内存。

正文：
因此在多线程的情况下，我们对一个共享数据进行操作。
当线程1读取共享变量a，并修改a的同时，线程2对a进行读操作，读出来的结果可能是线程1修改前的结果，也可能是修改后的结果。
为避免这种情况，我们就需要用到volatile
volatile保证了其所修饰的变量对所有线程的可见性，即 当一个线程修改了变量的值，新的值会立刻同步到主内存当中。而当其他线程读取这个变量的时候，得到的就是最新的值。

【特性2：阻止编译时和运行时的指令重排】
铺垫内容1----->指令重排：
指令重排指的是JVM在编译java代码时，或者CPU在执行jvm字节码时，对现有的指令进行重排序。
指令重排的目的：在不改变程序执行结果的前提下，优化程序的运行效率。
（这里的不改变执行结果，指的是不改变单线程下的程序执行结果。）
eg.

boolean contextReady = false;

在线程A中执行:
context = loadContext();   //指令1
contextReady = true;       //指令2
 
在线程B中执行:
while( ! contextReady ){ 
   sleep(200);
}
doAfterContextReady (context);

一旦指令1和指令2发生指令重排，就会导致错误的执行结果。

铺垫内容2----->内存屏障
为解决上述所讲的指令重排出现的错误问题，要采用内存屏障。
内存屏障是一种屏障指令，它使CPU或编译器对屏障指令之前和之后发出的内存操作执行一个排序约束。通常意味，在屏障之前发布的操作被保证在屏障之后发布的操作之前执行。
内存屏障的四种类型：

LoadLoad屏障：
抽象场景：Load1; LoadLoad; Load2
Load1 和 Load2 代表两条读取指令。在Load2要读取的数据被访问前，保证Load1要读取的数据被读取完毕。

StoreStore屏障：
抽象场景：Store1; StoreStore; Store2
Store1 和 Store2代表两条写入指令。在Store2写入执行前，保证Store1的写入操作对其它处理器可见

LoadStore屏障：
抽象场景：Load1; LoadStore; Store2
在Store2被写入前，保证Load1要读取的数据被读取完毕。

StoreLoad屏障：
抽象场景：Store1; StoreLoad; Load2
在Load2读取操作执行前，保证Store1的写入对所有处理器可见。StoreLoad屏障的开销是四种屏障中最大的。

正文：
在一个变量被volatile修饰以后，JVM会做两件事情：

1. 在每个被volatile修饰的变量执行写操作之前插入StoreStore屏障，在写操作之后插入StoreLoad屏障
2. 在每个被volatile修饰的变量执行读操作之前插入LoadLoad屏障，在执行读操作之后插入LoadStore屏障。

在加入volatile修饰符以后，上面的代码中的变量操作就无法被指令重排了。

【可以说特性1是volatile的目的，特性2是volatile的实现手段】

参考学习来源：
小灰大神