java 内存模型

除了增加高速缓存之外，为了使处理器内部的运算单元能尽量被尽量利用，处理器可能会对输入代码进行乱序执行优化，处理器会在

计算之后将乱序执行的结果重组，保证结果与顺序执行的结果是一致的，但并不保证程序中各个语句的执行顺序和输入代码中的顺序一致。

但是，如果存个计算顺序依赖领一个计算的中间结果，那么其顺序性并不靠代码的先后顺序保证，与处理器的乱序执行优化类似。

java虚拟机的即时编译器中也有类似的指令重排序优化。

java虚拟机规范中师徒定义一种java内存模型来屏蔽掉各种硬件和操作系统的内存访问差异，以实现让java程序在各种平台下都能打到一致的内存访问。

ava内存模型中主要是定义程序各个变量的访问规则。即在虚拟机中将变量存储到内存和从内存中取出变量这样的底层细节，此处的变量是实例变量、静态变量、

和构成数组对象的元素，但是不包括局部变量与方法参数，后者是线程私有的，不会被共享。

java内存模型规定了所有的变量都存储在主内存中（类比于物理硬件时的主内存），每条线程有自己的工作内存（类比于告诉缓存器）

线程的工作内存保存了被该线程使用到的变量的主内存副本拷贝，线程对变量的所有操作都必须在工作内存中进行，而不能直接读写主内存中的变量，

不同的线程也无法直接访问对方工作内存中的变量，线程间变量值得传递均需要通过主内存来完成，

lock（锁）：作用于主内存的变量，它把一个变量标识为一条线程独占的状态。

unlock（解锁）：作用于主内存的变量，它把一个处于锁定状态下的变量释放出来、释放后的线程才可以被其他线程锁定

read(读取)：作用于主内存的变量，它把一个变量的值从主内存传输到线程的工作内存中，以便随后的load操作

load（载入）：作用于工作内存的变量，它把read操作从主内存得到的变量值放入到工作内存的变量副本中。

use（使用）：作用于工作内存的变量，它把工作内存中一个变量的值传递给执行引擎，每当虚拟机遇到一个给变量赋值的字节码指令

时将会执行这个操作。

assign(赋值)：作用于工作内存中的变量，它把从一个执行引擎接受到的值赋给工作内存的变量，每当虚拟机遇到一个变量赋值的字节码指令时

将会执行这个操作。

store（存储）：作用于工作内存的变量，它把工作内存中的一个变量的值传送到主内存，一遍write操作使用。

write（写入）：作用于主内存的变量，它把store操作从工作中得到的值放入主内存的变量中。

如果需要把一个变量从主内存复制到工作内存，read-load

如果需要把一个变量从工作内存同步回主内存，store-write

read-load store-write必须顺额执行，但是中间可以插入其他指令，规定了八种基本操作

1、不允许read-load store-write单一出现

2、不允许变量丢弃assign操作

3、不允许一个线程无原因的把数据从工作内存同步回主内存中

4、一个新的变量只能在主内存中诞生，不允许在工作内存中直接使用为初始化的变量，在use store之前，必须先执行assign和load

5、一个变量在同一时刻只允许一条线程对其进行loak操作

volatile：关键字volatile是java虚拟机最轻量的同步机制

read-load store-write