Java内存模型(Java Memory Model，JMM)

今天简单聊聊什么叫作 Java 内存模型，不是 JVM 内存结构哦。

JMM 是一个语言级别的内存模型，处理器的硬件模型是硬件级别，Java中的内存模型是内存可见性的基本保证。从而为咱们 volatile 实现内存可见性提供了基石。主要目的就是让 Java 程序员在各类平台下达到一致性访问效果

JMM决定一个线程对共享变量的写入什么时候对另外一个线程可见，尤为是在对共享变量的读写，修改后其余线程马上内读取到，这个就是JMM主要做用。从抽象的角度来看，JMM定义了线程和主内存之间的抽象关系：线程之间的共享变量存储在主内存（Main Memory）中，每一个线程都有一个私有的本地内存（Local Memory），本地内存中存储了该线程以读/写共享变量的副本。本地内存是JMM的一个抽象概念，并不真实存在。它涵盖了缓存、写缓冲区、寄存器以及其余的硬件和编译器优化。Java内存模型的抽象示意如图所示。

image

前面咱们说到 volatile 底层原理详解，这个语义的实现就是利用了Java的内存模型。为咱们屏蔽了细节，实现了内存可见性，有兴趣的读者能够看公众号前期发的文章 volatile 底层原理实现。

为何须要JMM？

1. 从源代码到指令序列的重排序

在执行程序的时候，为了提升性能，编译器与处理器常会对指令进行重排序优化，保证执行结果与书序执行的结果是一致的，但并不能保证各个语句执行的前后顺序与输入的代码顺序一致。（固然是说在单线程的状况下）。

因此有 volatile 修饰的代码就不会被指令重排，至关于加了一道内存屏障，不能把后面的指令重排序到内存屏障以前。

2. Happens-before原则(先行发生)

Happens-before定义：

• 若是一个操做 Happens-before 另外一个操做，那么第一个操做的执行结果将对第二个操做可见，并且第一个操做的执行顺序在第二个操做以前。
• 两个操做之间存在 Happens-before 关系，并不意味着必须按照代码指定顺序执行。若是重排序后的执行结果与按照 Happens-before 结果执行的结果一致，那也是能够的。

先行发生是 Java 内存模型中定义的两项操做之间的偏序关系，若是说操做A先行发生于B，其实就是说在发生操做 B 以前，操做 A 产生的影响能被 B 观察到， “影响” 包括修改了内存中共享变量的值、发送了消息、调用了方法。好比：

//在线程 A 执行 1
i =  2;`
// 在线程 B 执行 2
j = i;`
// 在线程 C 执行 3
i =  3;
复制代码

• 假设执行顺序是 1 -> 3 -> 2：那么 j 的值是 3。

• 假设执行顺序是 1 -> 2 -> 3：那么 j 的值是 2。

若咱们想要按照 1 ，2 ，3顺序执行。那么只有同步才能保证一致性。

总而言之：

• 经过JMM内存模型，volatile 内存可见性的实现才得以保证。可是又不须要咱们去关注不一样平台的细节。当对一个 volatile 修饰的变量修改是，JMM 会把该线程对应的本地内存中的共享变量刷新到主内存中。

• 当读一个 volatile 变量的时候， JMM 会把该线程对应的本地内存设置无效，并从主内存中读取共享变量。

• volatile 在知足 Happens-before原则状况下，禁止指令重排序。

亲爱的读者朋友以为文章不错点赞或关注公众号将是我最大的支持。欢迎关注公众号获取最新技术文章。

JavaStorm.png