浅谈JMM（Java内存模型）的含义

【自用】浅谈JMM（Java内存模型）的含义

---

前言

"谈一谈你对JMM的了解？"可能是多数程序员在面临面试官的时候经常被问到的一个问题，在工作了两年后的博主换新工作的时候被问到这种问题也是一脸懵逼，这种偏向理论含义的问题一般我们是不会深究的，不过还是需要了解一下。下面简单的介绍并且了解什么是JMM

---

一、什么是JMM？

JMM(全称Java Memory Model)，是一个抽象的概念，描述线程（工作内存）与主内存之间的规则或者规范。其中延伸出MSI、MESI、MOSI及Dragon Protocol等协议。

二、JMM是用来做什么的？

JMM的出现是为了解决缓存一致性的问题，即多个线程之间读取同一个变量的值是一致的。

（可参考目录中JMM三大特性的原子性）

三、JMM为何可以解决缓存一致性？

针对工作内存和主内存交互规则，JMM定义了八种操作：

1. lock（锁定）：作用于主内存的变量，把一个变量标识为一条线程独占的状态。
2. unclock（解锁）：作用于主内存的变量，把一个处于锁定的状态释放出来。
3. read（读取）：作用于主内存的变量，把一个变量的值从主内存传输到线程的工作内存中。
4. load（载入）：作用于工作内存的变量，把read操作从主内存 得到的变量值放入工作内存的变量副本中。
5. use（使用）：作用于工作内存的变量，把工作内存中一个变量的值传递给执行引擎，每当虚拟机遇到一个需要使用到变量的值的字节码指令时将会执行这个操作。
6. assign（赋值）：作用于工作内存的变量，把一个从执行引擎接收到的值。
   赋值给工作内存的变量，每当虚拟机遇到一个给变量赋值的字节码指令时执行这个操作。
7. store（存储）：作用于工作内存的变量，把工作内存中的一个变量的值传递到主内存，以便write操作使用。
8. write（写入）：作用于主内存的变量，把store操作从工作内存中得到的变量的值放入主内存的变量中。

八种操作需要遵循如下规则：

1. 不允许read和load、store和write的操作单独出现。即使用了read必须load，使用了store必须write。
2. 不允许线程丢弃最近的assign操作，即工作变量的数据改变了之后，必须告知主存。
3. 不允许一个线程将没有assign的数据从工作内存同步回主内存。
4. 一个新的变量必须在主内存中诞生，不允许工作内存直接使用一个未被初始化的变量。就是对变量实施use、store操作之前，必须经过assign和load操作。
5. 一个变量同一时间只有一个线程能对其进行lock。多次lock后，必须执行相同次数的unlock才能解锁。
6. 如果对一个变量进行lock操作，会清空所有工作内存中此变量的值，在执行引擎使用这个变量前，必须重新load或assign操作初始化变量的值。
7. 如果一个变量没有被lock，就不能对其进行unlock操作。也不能unlock一个被其他线程锁住的变量。
8. 对一个变量进行unlock操作之前，必须把此变量同步回主内存。

四、JMM如何解决缓存一致性？

我们可以使用Synchronize和Volatile来实现JMM的规范。
当变量被Volatile修饰时：

1. 变量的写操作会立即刷到主内存中，确保其他线程可以获取到最新的值。
2. 变量的读操作会直接读取主内存中的值。

使用Volatile只能够保证可见性，却不能够保证原子性和有序性。

这时候我们需要通过Synchronize来保证有序性和原子性

五、JMM三大特性

JMM定义的规则所带来的三大特性

原子性

对于变量的读取和赋值都是原子性的，即线程的操作要么执行，要么不执行，且这个操作是不可被中断的。

可见性

在Java中，每一个线程都会有一个自己的工作内存，工作内存通过从主内存中拷贝变量。

对于单个线程的读取和赋值不会存在问题，因为只有一个工作内存在操作主内存的变量。

但是对于多个线程的读取和赋值会存在问题，此时就能体现JMM可见性的特性

有序性

在JMM的模型中，允许编译器和处理器对代码指令进行重排序，重排序后对原先的逻辑没有影响。这个重序虽然不会影响单线程，却能保证对多线程之间并发执行顺序的正确性。

六、JVM的happend-before原则

JMM之所以可以保证多线程并发执行的顺序正确，是因为遵循了JVM的happend-before原则：

1. 程序顺序原则：一个线程内保证语义的串行性
2. volatile规则：volatile 变量的写，先发生于读，这保证了volatile变量的可见性
3. 锁规则：解锁（unlock）必然发生在随后的加锁（lock）前
4. 传递性：A先于B，B先于C，那么A必然先于C
5. 线程的start（）方法先于它的每一个动作
6. 线程的所有操作先于线程的终结（Thread.join()）
7. 线程的中断（interrupt（））先于被中断线程的代码
8. 对象的构造函数执行,结束先于finalize() 方法

例如在执行：

int a = 100;
int b = a;

此时在确保遵循happend-before的原则下，b一定为100

总结

以上便是我对于JMM的浅层理解，可以给对JMM不熟悉的人有个初步的了解。
如果有不对的地方也请指责出来，让我不至于将错误的知识记得太深刻。