Java内存模型试图屏蔽各种硬件和操作系统的内存访问差异，以实现让Java程序在各种平台下都达到一致的内存访问效果。

主内存与工作内存

处理器上的寄存器读写速度比内存快几个数量级别，为了解决这个问题，在它们之间加入了高速缓存。
加入高速缓存会带来，缓存一致性问题，比如多个缓存共享一块主存区域，各缓存的数据可能不一致。需要缓存一致性协议来解决这个问题。
image.png
所有的变量都存储在主内存中，每个线程有自己的工作内存，工作内存存储在高速缓存或者寄存器中，保存了该线程使用变量的主内存副本。
线程只能直接操作工作内存中的变量，不同线程之间的变量值传递需要通过主内存来完成
image.png

内存间交互操作

Java内存模型定义了8个操作来完成主内存和工作内存的的交互操作。
image.png

  • read：把一个变量的值从主内存传输到工作内存中
  • load：在 read 之后执行，把 read 得到的值放入工作内存的变量副本中
  • use：把工作内存中一个变量的值传递给执行引擎
  • assign：把一个从执行引擎接收到的值赋给工作内存的变量
  • store：把工作内存的一个变量的值传送到主内存中
  • write：在 store 之后执行，把 store 得到的值放入主内存的变量中
  • lock：作用于主内存的变量
  • unlock