主内存和工作内存之间具体的交互协议通过以下8个操作来完成。
| 操作 | 说明 |
| — | :-- |
| lock
(锁定) | 作用于主内存变量,
把一个变量标识为一条线程独占的状态 |
| unlock
(解锁) | 作用于主内存变量,
把一个处于锁定状态的变量释放出来,
释放后的变量才可以被其他线程锁定 |
| read
(读取) | 作用于主内存变量,
把一个变量的值从主内存传输到线程的工作内存中,以便随后的load动作使用 |
| load
(载入) | 作用于工作内存中的变量,
把read操作从主内存中得到的变量值放入工作内存的变量副本中 |
| use
(使用) | 作用于工作内存变量,
把工作内存中的一个变量的值传递给执行引擎,
每当虚拟机遇到一个需要使用到变量的值的字节码指令的时候将会执行这个操作。 |
| assign
(赋值) | 作用于工作内存变量,
把一个从执行引擎接收到的值赋给工作内存的变量,
每当虚拟机遇到一个给变量赋值的字节码指令时执行这个操作 |
| store
(存储) | 作用于工作内存变量,
把工作内存中的一个变量的值传送到主内存中,以便随后的write操作使用 |
| writer
(写入) | 作用于主内存变量,
把store操作从工作内存中得到的变量值放入主内存的变量中。 |
将一个变量从主内存中复制到工作内存中,需要顺序的执行read和load操作。
![在这里插入图片描述](https://img-blog.csdnimg.cn/20190311201339812.png?x-oss-process=image/watermark,type_ZmFuZ3poZW5naGVpdGk,shadow_10,text_aHR0cHM6L
《一线大厂Java面试题解析+后端开发学习笔记+最新架构讲解视频+实战项目源码讲义》
【docs.qq.com/doc/DSmxTbFJ1cmN1R2dB】 完整内容开源分享
y9kcGItYm9ib2thb3lhLXNtLmJsb2cuY3Nkbi5uZXQ=,size_16,color_FFFFFF,t_70)
如果要将变量从工作内存中同步会主内存,就要顺序的执行store和write操作如下。
内存模型要求上述两个操作必须按顺序执行,但不是连续,也就是说read和load之间、store和write之间可插入其他指令。可以出现 read a,read b,load a,load b的情况,java内存模型还要求了如下的规则,必须准守。
-
不允许read和load、store和write操作之一单独出现,即不允许一个变量从主内存读取了但工作内存不接受或者从工作内存发起回写但主内存不接受的情况。
-
不允许一个线程丢弃它的最近的assign操作。即变量在工作内存中改变了之后必须把变化同步会主内存。
-
不允许一个线程无原因滴(没有发生任何assign操作)把数据从线程的工作内存同步会主内存中。
-
一个新的变量只能在主内存中“诞生”,不允许在工作内存中直接使用一个未被初始化的变量。换句话说就是在对一个变量use、store操作之前必须先执行过了assign和load操作