Java并发核心：JMM内存模型深度解析（面试必问）

原创于 2025-11-30 09:00:00 发布 · 752 阅读

20 ·

CC 4.0 BY-SA版权

文章标签：

#java #面试 #开发语言 #JMM #Java面试 #内存模型 #职场和发展

Java 核心技术面试精讲笔记专栏收录该内容

47 篇文章

订阅专栏

在这里插入图片描述

Java并发核心：JMM内存模型深度解析（面试必问）

这是Java并发编程的核心面试题与技术基石！JMM（Java内存模型）是多线程开发的“隐形规则”，很多开发者会把它和JVM内存结构混淆，今天从本质、问题、原理、核心规则四层拆解，帮你彻底吃透～

一、一句话概括JMM

JMM（Java Memory Model）是多线程环境下共享变量访问的规范，旨在解决CPU缓存、指令重排序导致的并发问题（可见性、原子性、有序性），保证不同平台下并发程序的正确性。

简单说：JMM是Java给开发者的“承诺”——用volatile/synchronized等关键字后，线程间的内存可见性有明确保障。

二、为什么需要JMM？（解决3大并发问题）

现代计算机的性能优化（缓存、重排序）给多线程带来了3个经典问题，JMM正是为解决它们而生：

1. 内存可见性问题

问题：线程A修改共享变量后，值存于CPU缓存未刷到主内存，线程B读主内存仍获旧值；
JMM解决方案：规定变量更新同步到主内存、读取从主内存加载的时机。

2. 原子性问题

问题：count++看似一行代码，实则“读-改-写”三步，多线程下易出现并发安全问题；
JMM解决方案：定义基本类型读写的原子性，通过synchronized保证代码块原子性。

3. 有序性问题

问题：编译器/CPU为性能重排序指令，单线程无影响，多线程下会导致执行顺序混乱；
JMM解决方案：通过Happens-Before规则禁止关键重排序，保障可见性。

三、JMM核心概念与工作原理

JMM抽象了内存模型，核心是“主内存-工作内存”的交互：

1. 内存划分

主内存：存储所有共享变量，所有线程可访问；
工作内存：每个线程私有，存储共享变量的副本。

2. 线程与内存交互流程（简化版）

线程操作变量时，需先从主内存read→load到工作内存；
线程修改变量后，需通过assign→store→write同步回主内存；
线程间变量传递必须通过主内存，无法直接访问对方工作内存。

3. 关键规则

JMM定义了8种内存操作（lock/unlock、read/load等），核心约束：

解锁前必须将工作内存修改同步到主内存；
加锁时必须清空工作内存，从主内存重新加载变量。

四、Happens-Before原则（JMM的灵魂）

Happens-Before是JMM的核心规则，无需同步手段，直接保障内存可见性：若操作A Happens-Before操作B，则A的修改对B完全可见。

常见Happens-Before规则

程序次序规则：单线程内，先写的操作先行发生于后写的操作；
监视器锁规则：同一锁的unlock操作先行发生于后续lock操作；
volatile变量规则：volatile变量的写操作先行发生于后续读操作；
线程启动规则：Thread.start()先行发生于线程内所有操作；
线程终止规则：线程内所有操作先行发生于线程终止检测；
传递性：A→B且B→C，则A→C。

代码示例（验证传递性）

// 共享变量
private int x = 0;
private volatile boolean flag = false;

// 线程A
public void writer() {
    x = 42;        // 1. 普通写
    flag = true;   // 2. volatile写
}

// 线程B
public void reader() {
    if (flag) {    // 3. volatile读（若为true）
        System.out.println(x); // 4. 普通读（必为42）
    }
}

规则验证：

程序次序规则：1 → 2、3 → 4；
volatile规则：2 → 3；
传递性：1 → 4；
结论：线程B看到flag=true时，必然能看到x=42。

五、JMM vs JVM内存结构（避免混淆）

很多人会混淆两者，用表格和比喻快速区分：

对比维度	JMM（Java Memory Model）	JVM内存结构（运行时数据区）
本质	共享变量访问规范（规则）	内存区域物理划分（实现）
目的	解决多线程并发问题	描述程序运行时数据存储方式
核心内容	Happens-Before、volatile语义	堆、栈、方法区、程序计数器等