JMM(java内存模型)--多线程通讯模式

JMM（Java内存模型Java Memory Model，简称JMM）本身是一种抽象的概念并不真实存在，它描述的是一组规则或规范，通过这组规范定义了程序中各个变量（包括实例字段，静态字段和构成数组对象的元素）的访问方式。

JMM关于同步的规定：

1. 线程解锁前，必须把共享变量的值刷新回主内存
2. 线程加锁前，必须读取主内存的最新值到自己的工作内存
3. 加锁解锁是同一把

Java线程之间的通信由Java内存模型（本文简称为JMM）控制，JMM决定一个线程对共享变量的写入何时对另一个线程可见,由于JVM运行程序的实体是线程，而每个线程创建时JVM都会为其创建一个工作内存（有些地方称为栈空间），工作内存是每个线程的私有数据区域，而Java内存模型中规定所有变量都存储在主内存，主内存是共享内存区域，所有线程都可以访问，但线程对变量的操作（读取赋值等）必须在工作内存中进行，首先要将变量从主内存拷贝的自己的工作内存空间，然后对变量进行操作，操作完成后再将变量写回主内存，不能直接操作主内存中的变量，各个线程中的工作内存中存储着主内存中的变量副本拷贝，因此不同的线程间无法访问对方的工作内存，线程间的通信（传值）必须通过主内存来完成，当某个线程改写了副本的值,并写回到主内存后,由于JMM的可见性,其他线程会立即知道主内存的值已经被更新,其多线程简要访问过程如下图：

image.png

为什么要这么做呢?

主要是用效率更高的高速缓存进行操作,代替效率更低些的主存操作,https://www.cnblogs.com/dingyingsi/p/3760447.html

关于 JMM指令集

read (读取) 作用于主内存的变量，它把一个变量的值从主内存传输到线程的工作内存中，以便随后的load动作使用。
load (载入) 作用于工作内存的变量，它把read操作从主内存中得到的变量值放入工作内存的变量副本中。
use (使用) 作用于工作内存的变量，它把工作内存中一个变量的值传递给执行引擎，每当虚拟机遇到一个需要使用到变量的值得字节码指令时就会执行这个操作。
assign (赋值) 作用于工作内存的变量，它把一个从执行引擎接收到的值赋给工作内存的变量，每当虚拟机遇到一个给变量赋值的字节码指令时执行这个操作。
store (存储) 作用于工作内存的变量，它把工作内存中一个变量的值传送到主内存中，以便随后write操作使用。
lock (锁定) 作用于主内存的变量，它把一个变量标识为一条线程独占的状态。
unlock (解锁) 作用于主内存的变量，它把一个处于锁定状态的变量释放出来，释放后的变量才可以被其他线程锁定。
write (写入) 作用于主内存的变量，它把store操作从工作内存中得到的变量的值放入主内存的变量中。