JVM1.8（三）：内存之间的交互操作

Java内存模型及交互操作

简介

JCP定义了一中Java内存模型，以前是在JVM规范中，后来独立出来成为JSR-133

内存模型：在特定的操作写一下，堆特定的内存或告诉缓存进行读写访问的过程抽象

Java内存模型主要关注JVM中把变量值存储到内存和从内存中取出变量值这样的底层细节

内存模型基本要求

所有变量（共享的）都存储在主内存中，每个线程都有自己的工作内存；工作内存中保存该线程使用到的变量的主内存的副本拷贝

线程对变量的所有操作（读、写）都应该在工作内存中完成

不同线程不能相互访问工作内存，交互数据要通过主内存

内存间的交互操作

Java内存模型规定了一些操作来实现内存间交互，JVM会保证它们是原子的

lock：

锁定，把变量标识为线程独占，作用于主内存变量

unlock：

解锁，把锁定的变量释放，别的线程才能使用，作用于主内存变量

read：

读取，把变量从主内存读取到工作内存

load：

载入，把read读取到的值放入工作内存的变量副本中

use：

使用，把工作内存中的一个变量的值传递给执行引擎

assign：

复制，把从执行引擎接收到的值赋给工作内存里面的变量

store：

存储，把工作内存中一个变量的值传递到主内存中

write：

写入，把store进来的数据存放到主内存的变量中

内存间交互操作的规则

不允许read和load、store和write操作之一单独出现，以上两个操作必须按顺序执行，但不保证连续执行，也就是说，read与load之间、store与write之间是可插入其他指令的。

不允许一个线程丢弃它的最近的assign操作，及变量在工作内存中改变了之后必须把该变化同步回主内存

不允许一个线程无原因的（没有发生过任何assign操作）把数据从线程的工作内存同步回主内存

一个新的比那辆只能从主内存中“诞生”，不允许在工作内存中直接使用一个未被初始化的变量，也就是对一个变量实施use和store操作之前，必须限制性过了assign和load操作

一个变量在同一个时刻只允许一条线成对其执行lock操作，但lock操作可以被同一个线程重复执行多次，多次执行lock后，只有执行相同次数的unlock操作，变量才会被解锁

如果堆一个变量执行lock操作，将会清空工作内存中次变量的值，在执行引擎使用这个变量前，需要重新执行load或assign操作初始化变量的值

如果一个变量没有被lock操作锁定，则不允许对它执行unlock操作，也不能unlock一个被其他线程锁定的变量

对一个变量执行unlock操作之前，必须把此变量同步回主内存（执行store和write操作）