JVM内存模型（JMM）深度剖析 – wiki基地

作者： /

JVM 内存模型（JMM）深度剖析

Java 虚拟机（JVM）内存模型（Java Memory Model, JMM）是 Java 并发编程的基石。它定义了 Java 程序中线程如何与主内存进行交互，以及在多线程环境下，如何通过特定的规则来保证共享变量的原子性、可见性和有序性。对于任何希望编写出正确、高效并发程序的 Java 开发者来说，深入理解 JMM 都是必不可少的。

1. 核心概念：主内存与工作内存

JMM 的核心思想是将内存分为两部分：主内存（Main Memory） 和 工作内存（Working Memory）。

  • 主内存 (Main Memory):

    • 这是所有线程共享的内存区域。
    • 存储了所有的实例字段、静态字段以及数组对象。
    • 可以简单地理解为物理机内存的一部分。

  • 工作内存 (Working Memory):

    • 每个线程都拥有自己独立的工作内存，它是线程私有的。
    • 存储了该线程需要使用的变量的主内存副本。
    • 线程对变量的所有操作（读取、赋值等）都必须在自己的工作内存中进行，而不能直接读写主内存。
    • 工作内存是 JMM 的一个抽象概念，实际可能包括 CPU 缓存、寄存器等。

线程间变量的交互流程如下：
1. Load (加载): 线程从主内存中读取一个变量。
2. Use (使用): 线程使用加载到工作内存中的变量副本。
3. Assign (赋值): 线程修改工作内存中的变量副本。
4. Store (存储): 线程将修改后的变量副本写回主内存，以供其他线程读取。

这种模型的设计初衷是为了屏蔽不同硬件和操作系统内存模型的差异，从而让 Java 程序在各种平台上都能达到一致的内存访问效果。

2. 并发编程的三大挑战

在并发环境下，如果缺乏有效的同步机制，通常会遇到以下三个核心问题：

  • 原子性 (Atomicity): 一个或多个操作要么全部执行成功，要么全部不执行，中间过程不能被任何外部操作中断。例如，i++ 这个操作就不是原子的，它包含了“读取 i 的值”、“将值加 1”、“将新值写回”三个步骤。
  • 可见性 (Visibility): 当一个线程修改了某个共享变量的值，其他线程必须能够立即看到这个修改。由于线程操作的是各自工作内存中的副本，如果一个线程修改了变量但未及时写回主内存，其他线程就可能会读到过时的“脏”数据。
  • 有序性 (Ordering): 程序的执行顺序应该与代码的书写顺序一致。然而，为了提升性能，编译器和处理器可能会对指令进行重排序（Instruction Reordering）。在单线程环境中，重排序不会影响最终结果，但在多线程中，它可能会破坏逻辑的正确性。

JMM 通过提供一系列的规则和关键字来帮助开发者应对这些挑战。

3. volatile: 保证可见性与禁止重排序

volatile 是 Java 提供的一个轻量级同步关键字，它主要有两个关键作用：

  1. 保证可见性:

    • 当一个变量被声明为 volatile 后，线程对它的写操作会立即被刷新到主内存中。
    • 同时，其他线程在读取这个 volatile 变量之前，会先使自己工作内存中的副本失效，然后强制从主内存中重新加载最新值。
    • 这确保了任何时刻，不同线程“看到”的 volatile 变量值都是一致的。

  2. 禁止指令重排序:

    • volatile 关键字通过插入“内存屏障”（Memory Barrier）来防止编译器和处理器对其进行重排序优化。
    • 它能确保 volatile 变量的写操作之前的所有操作都已经完成，且结果对其他线程可见；同时，它之后的读操作必须在其写操作完成后才能进行。

需要注意的是，volatile 只能保证单个变量读/写的原子性，但不能保证复合操作（如 i++）的原子性。

4. synchronized: 保证原子性与可见性

synchronized 是一个更重量级的同步机制，它能同时解决原子性和可见性问题。

  • 保证原子性:

    • synchronized 可以修饰方法或代码块，形成一个“临界区”（Critical Section）。
    • JVM 会确保在任何时刻，只有一个线程能够进入由同一个锁对象保护的临界区。这保证了临界区内所有操作的原子执行。

  • 保证可见性:

    • 当一个线程进入 synchronized 块时，它会清空工作内存中所有共享变量的副本，强制从主内存加载。
    • 当线程退出 synchronized 块时，它会将工作内存中所有修改过的共享变量刷新到主内存中。
    • 因此，synchronized 不仅保证了代码块的原子执行，也保证了在加锁和解锁之间，变量的修改对其他线程是可见的。

5. Happens-Before 原则：JMM 的有序性保证

为了在保证性能的同时提供可预测的执行顺序，JMM 定义了 Happens-Before 原则。这是判断数据是否存在竞争、线程是否安全的主要依据。

如果两个操作之间存在 happens-before 关系，那么前一个操作的结果对后一个操作就是可见的，并且前一个操作的执行顺序排在后一个操作之前。

主要的 Happens-Before 规则包括：

  • 程序次序规则: 在一个线程内，书写在前面的操作 happens-before 于书写在后面的操作。
  • 管程锁定规则: 对一个锁的 unlock 操作 happens-before 于后续对同一个锁的 lock 操作。
  • volatile 变量规则: 对一个 volatile 变量的写操作 happens-before 于后续对这个变量的读操作。
  • 线程启动规则: Thread 对象的 start() 方法 happens-before 于此线程的每一个动作。
  • 线程终止规则: 线程中的所有操作都 happens-before 于对此线程的终止检测（例如，通过 Thread.join() 或 Thread.isAlive()）。
  • 传递性: 如果 A happens-before B，且 B happens-before C，那么 A happens-before C。

6. final 关键字的内存语义

final 关键字也能提供特殊的内存可见性保证。当一个对象的构造函数执行完成，并且该对象的引用被赋值给一个变量后，该对象内的所有 final 字段的值，对于其他线程来说都是立即可见的。这确保了即使没有额外的同步，其他线程也能安全地读取一个正确初始化对象的 final 字段。

总结

JMM 是 Java 并发编程的理论基础。它通过定义主内存与工作内存的交互模型，并提供 volatile、synchronized 和 final 等关键字以及 Happens-Before 原则，为开发者提供了一套强大的工具集来构建正确、高效且可移植的并发应用程序。深入理解这些概念，是成为一名优秀 Java 并发程序员的必经之路。

滚动至顶部