Java 内存模型 (Java Memory Model)

原创于 2025-04-21 16:23:56 发布 · 318 阅读

5 ·

CC 4.0 BY-SA版权

文章标签：

#java #jmm #多线程

什么是 JMM？

JMM 并不是真实存在的物理内存结构，而是一种抽象的概念模型，它定义了 Java 程序中各种变量（包括实例字段、静态字段和构成数组对象的元素，但不包括局部变量和方法参数）的访问规则，以及在并发环境下线程如何与内存交互的抽象描述。

简单来说，JMM 解决了在多线程环境下，由于 CPU 缓存和指令重排序等优化机制导致的数据可见性、原子性和有序性问题。它规范了 JVM 如何与计算机的内存进行交互，以保证在不同的硬件和操作系统上，Java 程序都能有一致的内存访问行为。

JMM 的核心概念：

主内存（Main Memory）： 这是所有线程共享的内存区域，存储着所有的变量实例。
工作内存（Working Memory）： 每个线程都有自己独立的工作内存，它是主内存中该线程所需变量的副本。线程对变量的所有操作（读取、赋值等）都必须在自己的工作内存中进行，而不能直接读写主内存中的变量。
线程间的交互： 线程之间变量值的传递必须通过主内存来完成。一个线程修改了工作内存中的变量后，需要将其写回主内存，另一个线程才能从主内存中读取到最新的值到自己的工作内存中。

JMM 需要解决的问题（并发编程的挑战）：

由于 CPU 缓存和指令重排序的存在，在多线程环境下可能会出现以下问题：

可见性（Visibility）： 当一个线程修改了共享变量的值，其他线程可能无法立即看到修改后的值，因为它们可能仍然在使用自己工作内存中的旧副本。
原子性（Atomicity）： 一个操作或者多个操作作为一个不可分割的单元执行，在执行过程中不会被其他线程干扰。例如，i++ 实际上包含读取、加一、写回三个操作，在多线程环境下可能不是原子性的。
有序性（Ordering）： 为了提高性能，处理器可能会对指令进行重排序。虽然在单线程环境下重排序不会影响最终结果，但在多线程环境下可能会导致意想不到的错误。

JMM 如何解决这些问题？

JMM 通过定义一系列规则来保证并发程序的正确性，其中最重要的包括：

Happens-Before 规则： 这是 JMM 最核心的概念，它定义了两个操作之间的happens-before关系。如果一个操作 happens-before 另一个操作，那么第一个操作的执行结果对第二个操作是可见的，并且第一个操作的执行顺序先于第二个操作。JMM 定义了以下 happens-before 关系：
- 程序次序规则： 在一个线程内，按照代码的顺序，书写在前面的操作 happens-before 书写在后面的操作。
- 管程锁定规则： 对一个锁的解锁操作 happens-before 后续对同一个锁的加锁操作。
- volatile 变量规则： 对一个 volatile 变量的写操作 happens-before 后续对这个变量的读操作。
- 线程启动规则： Thread 对象的 start() 方法的调用 happens-before 启动的线程中的任意操作。
- 线程终止规则： 线程中的所有操作 happens-before 对该线程的 join() 方法的成功返回。
- 线程中断规则： 对线程 interrupt() 方法的调用 happens-before 被中断线程检测到中断事件的发生。
- 对象终结规则： 一个对象的初始化完成（构造函数执行结束） happens-before 它的 finalize() 方法的开始。
- 传递性： 如果操作 A happens-before 操作 B，且操作 B happens-before 操作 C，那么操作 A happens-before 操作 C。
内存屏障（Memory Barriers/Fences）： 为了实现 JMM 的规则，JVM 会在适当的位置插入内存屏障指令，以阻止特定类型的处理器重排序，并强制将缓存中的数据刷新到主内存，或者使缓存中的数据失效。
关键字： Java 提供了一些关键字来帮助开发者控制并发的可见性和有序性：
- volatile：
  - 保证了被修饰变量的可见性，即一个线程修改了 volatile 变量的值，这个新值会立即同步到主内存，并且其他线程在读取该变量时会强制从主内存中读取最新的值。
  - 禁止指令重排序，确保了 volatile 变量相关的操作不会被重排序到 volatile 变量的读/写操作之前或之后。
  - 不保证原子性，例如 volatile int i++; 仍然不是原子操作。
- synchronized：
  - 提供了互斥性（Mutual Exclusion），确保在同一时刻只有一个线程可以执行被 synchronized 修饰的代码块或方法。
  - 保证了可见性，当一个线程释放锁时，会将工作内存中对共享变量的修改刷新到主内存，而当一个线程获取锁时，会从主内存中读取共享变量的最新值。
  - 也间接保证了有序性，因为在同步块内的代码是串行执行的，不会发生指令重排序（从线程的角度来看）。

总结：

JMM 是 Java 并发编程的基础，它通过抽象的内存模型和happens-before规则，以及 volatile 和 synchronized 等关键字，为开发者提供了一种可预测的、跨平台的并发编程环境。理解 JMM 的工作原理对于编写高效、可靠的多线程 Java 应用程序至关重要。在实际开发中，我们需要根据具体的需求选择合适的并发控制机制，以确保程序的正确性和性能。