JAVA 内存模型（主内存，工作内存）

JVM将内存组织为主内存和工作内存两个部分。

主内存是所有的线程所共享的,主要包括本地方法区和堆。

每个线程都有一个工作内存不是共享的，工作内存中主要包括两个部分：

1:一个是属于该线程私有的栈;

2:对主存部分变量拷贝的寄存器(包括程序计数器PC和cup工作的高速缓存区)。

1.所有的变量都存储在主内存中(虚拟机内存的一部分)，对于所有线程都是共享的。

2.每条线程都有自己的工作内存，工作内存中保存的是主存中某些变量的拷贝，
线程对变量的所有操作都必须在工作内存中进行，而不能直接读写主内存中的变量。
3.线程之间无法直接访问对方的工作内存中的变量，线程间变量的传递均需要通过主内存来完成,即：线程、主内存、工作内存。

JVM规范定义了线程对内存间交互操作：

Lock(锁定)：作用于主内存中的变量，把一个变量标识为一条线程独占的状态。

Read(读取)：作用于主内存中的变量，把一个变量的值从主内存传输到线程的工作内存中。

Load(加载)：作用于工作内存中的变量，把read操作从主内存中得到的变量的值放入工作内存的变量副本中。

Use(使用)：作用于工作内存中的变量，把工作内存中一个变量的值传递给执行引擎。

Assign(赋值)：作用于工作内存中的变量，把一个从执行引擎接收到的值赋值给工作内存中的变量。

Store(存储)：作用于工作内存中的变量，把工作内存中的一个变量的值传送到主内存中。

Write(写入)：作用于主内存中的变量，把store操作从工作内存中得到的变量的值放入主内存的变量中。

Unlock(解锁)：作用于主内存中的变量，把一个处于锁定状态的变量释放出来，之后可被其它线程锁定。

在将变量从主内存读取到工作内存中，必须顺序执行read、load；
要将变量从工作内存同步回主内存中，必须顺序执行store、write。
8种操作必须遵循以下规则：

1：不允许read和load、store和write操作之一单独出现。即不允许一个变量从主内存被读取了，但是工作内存不接受，或者从工作内存回写了但是主内存不接受。
2：不允许一个线程丢弃它最近的一个assign操作，即变量在工作内存被更改后必须同步改更改回主内存。
3：工作内存中的变量在没有执行过assign操作时，不允许无意义的同步回主内存。
4：在执行use前必须已执行load，在执行store前必须已执行assign。
5：一个变量在同一时刻只允许一个线程对其执行lock操作，一个线程可以对同一个变量执行多次lock，但必须执行相同次数的unlock操作才可解锁。
6：一个线程在lock一个变量的时候，将会清空工作内存中的此变量的值，执行引擎在use前必须重新read和load。
7：线程不允许unlock其他线程的lock操作。并且unlock操作必须是在本线程的lock操作之后。

8：在执行unlock之前，必须首先执行了store和write操作。