Java线程工作内存与主内存变量交换过程及volatile关键字理解

1. Java内存模型规定在多线程情况下，线程操作主内存变量，需要通过线程独有的工作内存拷贝主内存变量副本来进行。此处的所谓内存模型要区别于通常所说的虚拟机堆模型：

2. 线程独有的工作内存和进程内存（主内存）之间通过8中原子操作来实现，如下图所示：

原子操作的规则（部分）：

1） read,load必须连续执行，但是不保证原子性。

2） store,write必须连续执行，但是不保证原子性。

3） 不能丢失变量最后一次assign操作的副本，即遍历最后一次assign的副本必须要回写到MainMemory中。

其它规则详见《深入理解Java虚拟机》第12章 Java内存模型与线程

3. volatile关键字

定义为volatile类型的变量拥有两种语义：

1） 变量的修改对所有线程可见

理解：

　　线程中每次use变量时，都需要连续执行read->load->use几项操作，即所谓的每次使用都要从主内存更新变量值，这样其它线程的修改对该线程就是可见的。

　　线程每次assign变量时，都需要连续执行assign->store->write几项操作，即所谓每次更新完后都会回写到主内存，这样使得其它线程读到的都是最新数据。

2）禁止指令重排

 

参考：

《深入理解Java虚拟机》第12章 Java内存模型与线程