什么是 Java 内存模型（JMM）？

Java 内存模型（Java Memory Model, JMM）是 Java 虚拟机规范中定义的一种抽象模型，用于规范 Java 程序在多线程环境下，如何以及何时可以看到其他线程写入共享变量的值，并且如何同步对共享变量的访问。其核心目标是解决多线程并发中的内存可见性问题和指令重排序问题，为 synchronized、volatile、final 等关键字的语义提供底层依据。简而言之，JMM 定义了线程和主内存之间的抽象关系，是 Java 并发编程的基石。

深度解析

原理/机制

要理解 JMM，首先要明白为什么需要它。现代计算机为了提升性能，普遍采用了多级缓存、CPU 乱序执行等技术，这导致了：

缓存一致性问题：一个线程对共享变量的修改可能只写入了自己的 CPU 缓存，没有及时刷回主内存，导致其他线程不可见。
指令重排序问题：编译器、运行时或处理器为了优化，可能会对指令顺序进行重排，这在单线程下无问题，但在多线程下可能导致意想不到的逻辑错误。

JMM 通过定义以下核心概念来解决这些问题：

主内存（Main Memory）：所有共享变量都存储在主内存中。可以类比为硬件上的物理内存（但这是一个逻辑概念）。
工作内存（Working Memory）：每个线程都有自己的工作内存，它保存了该线程使用到的共享变量的主内存副本。工作内存可以类比为 CPU 缓存和寄存器。
内存间交互操作：JMM 定义了 read、load、use、assign、store、write、lock、unlock 八种原子操作，来规范主内存与工作内存之间数据同步的细节。

最关键的机制是 happens-before 规则。这是 JMM 的灵魂，它定义了两个操作之间的偏序关系。如果操作 A happens-before 操作 B，那么 A 的结果对 B 可见，且 A 的执行顺序排在 B 之前。JMM 保证了在遵循这些规则的前提下，无需担心重排序和内存可见性问题。

代码示例：可见性问题

public class JMMExample {
    // 尝试去掉 volatile 关键字，观察程序行为
    private static /* volatile */ boolean flag = false;
    private static int number = 0;

    public static void main(String[] args) throws InterruptedException {
        Thread writerThread = new Thread(() -> {
            number = 42;        // [操作1]
            flag = true;        // [操作2] 如果没有happens-before保证，此操作可能与操作1重排序
            System.out.println("Writer: number set to " + number);
        });

        Thread readerThread = new Thread(() -> {
            while (!flag) {     // 可能永远读不到更新后的flag，因为它在自己的工作内存中看到了过期的值
                // busy wait
            }
            // 即使读到了flag=true，这里读到的number也可能是0，而不是42
            System.out.println("Reader: flag is true, number is " + number);
        });

        readerThread.start();
        Thread.sleep(100); // 确保reader先运行
        writerThread.start();

        writerThread.join();
        readerThread.join();
    }
}

上面的代码展示了典型的可见性和重排序问题。由于没有同步，writerThread 对 flag 和 number 的写入可能不会立即对其他线程可见，甚至可能发生重排序（从其他线程看来，flag=true 先于 number=42 执行）。

对比分析与常见误区

JMM vs. JVM 内存区域：这是最常见的误区！JMM 描述的主内存和工作内存与 JVM 运行时数据区的堆、栈、方法区是不同维度的概念。主内存主要对应堆中的实例数据部分，而工作内存则涵盖了栈的部分区域、CPU 寄存器和缓存。切勿混淆。
happens-before 不是时间先后：它强调的是可见性和顺序保证，而不是实际执行的时间顺序。即使 A 在时间上先于 B 执行，如果没有 happens-before 关系，B 也不一定能看到 A 的结果。
volatile 不能替代 synchronized：volatile 保证了可见性和禁止指令重排序（单个读/写的原子性），但它不保证复合操作（如 i++）的原子性。原子性需要锁或原子类来保证。

最佳实践与 `happens-before` 规则

在编程中，我们依赖 JMM 内置的 happens-before 规则来安全地编写并发程序，而无需深究底层屏障。主要规则包括：

程序顺序规则：一个线程中的每个操作，happens-before 于该线程中的任意后续操作。
监视器锁规则：对一个锁的解锁 happens-before 于随后对这个锁的加锁。
volatile 变量规则：对一个 volatile 域的写 happens-before 于任意后续对这个 volatile 域的读。
传递性：如果 A happens-before B，且 B happens-before C，那么 A happens-before C。

最佳实践：

正确同步：优先使用 java.util.concurrent 包下的高级工具类（如 ConcurrentHashMap、CountDownLatch），它们已正确实现了 JMM 语义。
理解并使用 happens-before：当你使用 synchronized、volatile、线程 start()/join()、final 字段时，你就在无意中利用了这些规则。
避免“聪明的”无锁优化：除非你是专家，否则不要为了极致的性能而编写依赖微弱内存顺序的复杂无锁代码。正确性和可维护性优先。

posted on 2026-04-14 08:56 阿陶学长阅读(53) 评论(0) 收藏举报

刷新页面返回顶部

数据