面试官：深入浅出Java内存模型，彻底吊打面试官

深藏阁楼爱情的钟 2024-04-08 11:07 83阅读 0赞

**面试官**：我记得上一次已经问过了为什么要有Java内存模型

**面试官**：我记得你的最终答案是：Java为了屏蔽硬件和操作系统访问内存的各种差异，提出了「Java内存模型」的规范，保证了Java程序在各种平台下对内存的访问都能得到一致效果

**候选者**：嗯，对的

**面试官**：**要不，你今天再来讲讲Java内存模型这里边的内容呗？**

**候选者**：嗯，在讲之前还是得强调下：Java内存模型它是一种「规范」，Java虚拟机会实现这个规范。

**候选者**：Java内存模型主要的内容，我个人觉得有以下几块吧

**候选者**：1. Java内存模型的抽象结构

**候选者**：2. happen-before规则

**候选者**：3.对volatile内存语义的探讨（这块我后面再好好解释）

![489b34bdd0754bd89df39e2d3aff65cc.png][]

**面试官**：**那要不你就从第一点开始呗？先聊下Java内存模型的抽象结构？**

**候选者**：嗯。Java内存模型定义了：Java线程对内存数据进行交互的规范。

**候选者**：线程之间的「共享变量」存储在「主内存」中，每个线程都有自己私有的「本地内存」，「本地内存」存储了该线程以读/写共享变量的副本。

**候选者**：本地内存是Java内存模型的抽象概念，并不是真实存在的。

**候选者**：顺便画个图吧，看完图就懂了。

![1bbe4c6e627942b3b3f89fecd687e0e5.png][]

**候选者**：Java内存模型规定了：线程对变量的所有操作都必须在「本地内存」进行，「不能直接读写主内存」的变量

**候选者**：Java内存模型定义了8种操作来完成「变量如何从主内存到本地内存，以及变量如何从本地内存到主内存」

**候选者**：分别是read/load/use/assign/store/write/lock/unlock操作

**候选者**：看着8个操作很多，对变量的一次读写就涵盖了这些操作了，我再画个图给你讲讲

![f4ed123f63124769b60fa5c27812a0d6.png][]

**候选者**：懂了吧？无非就是读写用到了各个操作（：

**面试官**：**懂了，很简单，接下来说什么是happen-before吧？**

**候选者**：嗯，好的（：

**候选者**：按我的理解下，happen-before实际上也是一套「规则」。Java内存模型定义了这套规则，目的是为了阐述「操作之间」的内存「可见性」

**候选者**：从上次讲述「指令重排」就提到了，在CPU和编译器层面上都有指令重排的问题。

**候选者**：指令重排虽然是能提高运行的效率，但在并发编程中，我们在兼顾「效率」的前提下，还希望「程序结果」能由我们掌控的。

**候选者**：说白了就是：在某些重要的场景下，这一组操作都不能进行重排序，「前面一个操作的结果对后续操作必须是可见的」。

![e18f2f84f0f84d1ca42f499e755a050a.png][]

**面试官**：嗯…

**候选者**：于是，Java内存模型就提出了happen-before这套规则，规则总共有8条

**候选者**：比如传递性、volatile变量规则、程序顺序规则、监视器锁的规则…（具体看规则的含义就好了，这块不难）

**候选者**：只要记住，有了happen-before这些规则。我们写的代码只要在这些规则下，前一个操作的结果对后续操作是可见的，是不会发生重排序的。

**面试官**：我明白你的意思了

**面试官**：**那最后说下volatile？**

**候选者**：嗯，volatile是Java的一个关键字

**候选者**：为什么讲Java内存模型往往就会讲到volatile这个关键字呢，我觉得主要是它的特性：可见性和有序性(禁止重排序)

**候选者**：Java内存模型这个规范，很大程度下就是为了解决可见性和有序性的问题。

![a0215ddeed764bf880005e5ad74dded6.png][]

**面试官**：**那你来讲讲它的原理吧，volatile这个关键字是怎么做到可见性和有序性的**

**候选者**：Java内存模型为了实现volatile有序性和可见性，定义了4种内存屏障的「规范」，分别是LoadLoad/LoadStore/StoreLoad/StoreStore

**候选者**：回到volatile上，说白了，就是在volatile「前后」加上「内存屏障」，使得编译器和CPU无法进行重排序，致使有序，并且写volatile变量对其他线程可见。

**候选者**：Java内存模型定义了规范，那Java虚拟机就得实现啊，是不是？

**面试官**：嗯…

**候选者**：之前看过Hotspot虚拟机的实现，在「汇编」层面上实际是通过Lock前缀指令来实现的，而不是各种fence指令（主要原因就是简便。因为大部分平台都支持lock指令，而fence指令是x86平台的）。

**候选者**：lock指令能保证：禁止CPU和编译器的重排序（保证了有序性）、保证CPU写核心的指令可以立即生效且其他核心的缓存数据失效（保证了可见性）。

![3c7906fcf17544e9aa401df0614c52ea.png][]

**面试官**：**那你提到这了，我想问问volatile和MESI协议是啥关系？**

**候选者**：它们没有直接的关联。

**候选者**：Java内存模型关注的是编程语言层面上，它是高维度的抽象。MESI是CPU缓存一致性协议，不同的CPU架构都不一样，可能有的CPU压根就没用MESI协议…

**候选者**：只不过MESI名声大，大家就都拿他来举例子了。而MESI可能只是在「特定的场景下」为实现volatile的可见性/有序性而使用到的一部分罢了（：

**面试官**：嗯…

**候选者**：为了让Java程序员屏蔽上面这些底层知识，快速地入门使用volatile变量

**候选者**：Java内存模型的happen-before规则中就有对volatile变量规则的定义

**候选者**：这条规则的内容其实就是：对一个 volatile 变量的写操作相对于后续对这个 volatile 变量的读操作可见

**候选者**：它通过happen-before规则来规定：只要变量声明了volatile 关键字，写后再读，读必须可见写的值。（可见性、有序性）

**面试官**：嗯…了解了

**本文总结**：

*  **为什么存在Java内存模型**：Java为了屏蔽硬件和操作系统访问内存的各种差异，提出了「Java内存模型」的规范，保证了Java程序在各种平台下对内存的访问都能得到一致效果
 *  **Java内存模型抽象结构**：线程之间的「共享变量」存储在「主内存」中，每个线程都有自己私有的「本地内存」，「本地内存」存储了该线程以读/写共享变量的副本。线程对变量的所有操作都必须在「本地内存」进行，而「不能直接读写主内存」的变量
 *  **happen-before规则**：Java内存模型规定在某些场景下（一共8条），前面一个操作的结果对后续操作必须是可见的。这8条规则成为happen-before规则
 *  **volatile**：volatile是Java的关键字，修饰的变量是可见性且有序的（不会被重排序）。可见性由happen-before规则完成，有序性由Java内存模型定义的「内存屏障」完成，实际HotSpot虚拟机实现Java内存模型规范，汇编底层通过Lock指令来实现。

[489b34bdd0754bd89df39e2d3aff65cc.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/08/067bec8aae05444fade25ca653494433.png
[1bbe4c6e627942b3b3f89fecd687e0e5.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/08/d7eb0ebc5704433b9d9ec107c8eda859.png
[f4ed123f63124769b60fa5c27812a0d6.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/08/85f82bb0aed4445abd7c41cb04285066.png
[e18f2f84f0f84d1ca42f499e755a050a.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/08/2d8bd9adca254864a37603596b4c1797.png
[a0215ddeed764bf880005e5ad74dded6.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/08/bfac784d539f41ec871062926092b716.png
[3c7906fcf17544e9aa401df0614c52ea.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/04/08/65f0b4b6dfec4dcbb6d24f6fb2eff175.png