Java内存模型

计算机的存储设备和CPU的运算速度相差了几个数量级，为了提升工作效率，计算机都加入了一层高速缓存（Cache）来作为内存与CPU之间的缓冲。这样计算时，CPU就能从Cache中获取数据快速计算，而内存也可以从Cache上获得CPU计算的结果。
加入了一层缓存之后，比然会带来缓存一致性问题。为了解决这个问题，需要各个处理器在访问缓存时都遵循一些协议，在读写时根据协议进行操作。“内存模型”就可以理解为在特定的操作协议下，对特定的内存或高速缓存进行读写访问的过程抽象。
Java内存模型（Java Memory Model，JMM）的主要目标是定义程序中各个变量的访问规则，即在虚拟机中将变量存储到内存和从内存中取出变量这样的底层细节。这里说的变量包括了实例字段。静态字段和构成数组对象的元素，但不包括局部变量和方法参数，因为后者是线程私有，不会存在竞争问题。
JMM规定了所有的变量都存储在主内存（Main Memory）中，每条线程还有自己的工作内存（Working Memory，可与高速缓存类比）线程的工作内存中保存了被该线程使用到的变量的主内存副本拷贝（会拷贝对象的引用、线程访问的某个字段等，而不是拷贝整个对象），线程对变量的操作（读取、赋值等）都必须在工作内存中进行，而不能直接读写主内存中的变量。线程之间也不能互相访问对方工作内存中的变量，线程之间的值传递均需要通过主内存来完成。
JMM中定义了8中操作来完成内存间的相互操作，一般情况下，虚拟机实现必须保证这8种操作都是原子的，不可再分的：

• lock（锁定）：作用于主内存的变量，它把一个变量标识为一条线程独占的状态。
• unlock（解锁）：作用于主内存的变量，它把一个处于锁定状态中的变量释放出来，释放后的变量才能被其他线程锁定。
• read（读取）：作用于主内存的变量，它把一个变量从主内存传输到线程的工作内存中，以便随后的load动作使用。
• load（载入）：作用于工作内存的变量，它把read操作从主内存中得到的变量值放入工作内存的变量副本中。
• use（使用）：作用于工作内存的变量，它把工作内存中的一个变量的值传递给执行引擎，每当虚拟机遇到一个需要使用到变量的值的字节码指令时将会执行这个操作。
• assign（赋值）：作用于工作内存的变量，它把一个从工作引擎中接收到的值赋给工作内存的变量，每当虚拟机遇到一个给变量赋值的字节码指令时将会执行这个操作。
• store（存储）：作用于工作内存的变量，它把工作内存中的一个变量的值传送到主内存中，以便随后的write操作使用。
• write（写入）：作用于主内存的变量，它把store操作从工作内存中取到的值放入主内存的变量中。

参考：《深入理解Java虚拟机》第十二章 Java内存模型与线程