Volatile禁止程序指令重排序

内存可见性

Java内存模型规定，对于多个线程共享的变量，存储在主内存当中，每个线程都有自己独立的工作内存，并且线程只能访问自己的工作内存，不可以访问其它线程的工作内存。工作内存中保存了主内存中共享变量的副本，线程要操作这些共享变量，只能通过操作工作内存中的副本来实现，操作完毕之后再同步回到主内存当中，其JVM内存模型大致如下图。

而JAVA内存模型规定工作内存与主内存之间的交互协议，其中包括8种原子操作：

lock：将主内存中的变量锁定，为一个线程所独占
unclock：将lock加的锁定解除，此时其它的线程可以有机会访问此变量
read：将主内存中的变量值读到工作内存当中
load：将read读取的值保存到工作内存中的变量副本中。
use：将值传递给线程的代码执行引擎
assign：将执行引擎处理返回的值重新赋值给变量副本
store：将变量副本的值存储到主内存中。
write：将store存储的值写入到主内存的共享变量当中。

从上图可以看出，read and load 主要是将主内存中数据复制到工作内存中，use and assign则主要是使用数据，并将改变后的值写入到工作内存，store and write则是用工作内存数据刷新主存相关内容。

基于保守策略的 JMM 内存屏障插入策略：

• 在每个 volatile 写操作的前面插入一个 StoreStore 屏障。

• 在每个 volatile 写操作的后面插入一个 StoreLoad 屏障。

• 在每个 volatile 读操作的前面插入一个 LoadLoad 屏障。

• 在每个 volatile 读操作的后面插入一个 LoadStore 屏障。

根据happens-before中的volatile规则，一个写操作一定发生于后续的读操作之前。而use操作之前必关联read,load操作，assign后必关联store,write操作，这就是volatile保证内存可见性的依据。