JAVA内存模型定义以下八种操作

JAVA内存模型定义以下八种操作来完成：

1、lock：作用于主内存，把一个变量标识为某个线程独占状态。

2、unlock：作用于主内存，把一个处于锁定状态的变量释放，释放后变量可以被其他线程锁定。

3、read：作用于主内存，把一个变量从主内存传输到工作内存中，用于后面的load操作。

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

5、use：作用于工作内存，把变量值传递给执行引擎，每当虚拟机需要使用变量的字节码指令时将会执行这个操作。

6、assign：作用于工作内存，把从执行引擎接收到的值赋值给工作内存的变量，每当虚拟机遇到需要给该变量赋值的字节码指令时执行这个操作。

7、store：作用于工作内存，把工作内存中的一个变量值传到的主内存，以便后续的write操作。

8、write：作用于主内存，把store操作从工作内存中获取的值赋值给主内存中的变量

对于这8个操作，有如下的一个原则：

1、不允许read和load，store和write操作单独出现。

2、不允许一个线程丢弃它最近的assign操作，即变量在工作内存中的更新需要同步到主内存中。

3、不允许线程无原因地（没有发生过任何assign操作）把数据同步到主内存。

4、一个新的变量只能在主内存中产生，不能在工作内存中直接使用未被初始化的变量。

5、一个变量在同一时刻只能被一个线程lock，并且lock和unlock需要成对出现。

6、如果对一个变量执行lock操作，将会清空工作内存中此变量的值，在执行引擎使用这个变量前需要执行load或者assgin操作。

7、对一个变量执行unclock之前，必须把此变量同步到主内存中。

转载于:https://my.oschina.net/u/2246919/blog/902945