Java内存模型详解 | 奥利弗的狗窝

type

Post

status

Published

date

Jun 13, 2024

slug

memory_model

summary

一、Java内存模型的基本概念

1.1 内存可见性

内存可见性是指一个线程对共享变量的修改何时对另一个线程可见。在多线程环境中，每个线程都有自己的本地缓存区（如CPU缓存），变量的修改首先在本地缓存区进行，然后再刷新到主内存。不同线程之间无法直接访问对方的本地缓存区，这就引出了内存可见性的问题。

1.2 有序性

有序性是指程序执行的顺序。在Java中，编译器和处理器可能会对指令进行重排序，以提高性能。这种重排序不会影响单线程的执行结果，但在多线程环境中，可能会导致线程间的操作顺序不同步，产生数据不一致的问题。

1.3 原子性

原子性是指一个操作不可中断，即操作要么全部执行完毕，要么完全不执行。Java提供了一些原子性操作，如基本数据类型的读写和使用volatile关键字修饰的变量的读写。

二、Java内存模型的工作原理

2.1 主内存和工作内存

JMM将内存分为主内存（Main Memory）和工作内存（Working Memory）。主内存是所有线程共享的内存区域，存储所有的实例变量。而每个线程都有自己的工作内存，从主内存中读取变量的副本并对其进行操作。

2.2 内存交互操作

JMM定义了8种操作，用于描述线程与内存之间的交互：

lock：作用于主内存的变量，把一个变量标识为一个线程独占的状态。

unlock：作用于主内存的变量，解除一个变量被一个线程独占的状态。

read：作用于主内存的变量，把一个变量值从主内存传输到线程的工作内存中，以便随后的load操作使用。

load：作用于工作内存的变量，把read操作从主内存得到的变量值放入工作内存的变量副本中。

use：作用于工作内存的变量，把工作内存中的变量值传递给执行引擎，每当虚拟机遇到一个需要使用变量值的字节码指令时执行该操作。

assign：作用于工作内存的变量，把从执行引擎接收到的值赋给工作内存的变量，每当虚拟机遇到一个给变量赋值的字节码指令时执行该操作。

store：作用于工作内存的变量，把工作内存中的一个变量值传送到主内存中，以便随后的write操作使用。

write：作用于主内存的变量，把store操作从工作内存得到的变量值放入主内存的变量中。

2.3 同步规则

Java提供了volatile关键字、synchronized关键字和java.util.concurrent包中的各种并发工具类来控制线程间的同步。

2.3.1 `volatile`关键字

使用volatile修饰的变量具有两种特性：

保证变量的可见性：即一个线程对变量的修改立即对其他线程可见。

禁止指令重排序：即volatile变量的读写操作不会被编译器和处理器重排序。

2.3.2 `synchronized`关键字

synchronized关键字可以修饰方法或代码块，确保同一时刻只有一个线程能执行被修饰的代码。它的实现基于进入和退出监视器锁（Monitor Lock）：

每个对象都有一个监视器锁。

当线程进入同步方法或同步代码块时，获取监视器锁，其他线程无法进入该对象的其他同步方法或同步代码块。

当线程退出同步方法或同步代码块时，释放监视器锁。

synchronized不仅确保了可见性（线程在释放锁之前必须将变量值刷新到主内存），还确保了原子性（锁保证了互斥执行）。

2.3.3 `java.util.concurrent`包

Java的java.util.concurrent包提供了高级的并发工具类，如Lock、ReadWriteLock、Semaphore、CountDownLatch、CyclicBarrier、Atomic包类等，简化了多线程编程。

三、Java内存模型中的Happens-Before规则

Happens-Before规则是JMM中用来确保内存可见性和有序性的核心原则。Happens-Before规则定义了一组偏序关系，来规定两个操作的执行顺序。具体规则如下：

3.1 程序次序规则

在一个线程内，按照代码顺序，前面的操作happens-before后面的操作。即使在重排序之后，结果也必须保证与按代码顺序执行的一致性。

3.2 监视器锁规则

一个锁的释放操作happens-before对同一个锁的获取操作。例如，线程A释放一个锁，线程B随后获取该锁，那么A释放锁之前的所有操作对B都是可见的。

3.3 `volatile`变量规则

对一个volatile变量的写操作happens-before后续对同一个变量的读操作。即一个线程写入volatile变量后，另一个线程可以立即看到这个写入操作的结果。

3.4 传递性规则

如果操作A happens-before 操作B，操作B happens-before 操作C，那么操作A happens-before 操作C。这个规则确保了操作的传递性。

3.5 线程启动规则

线程的启动操作happens-before该线程的每一个动作。即如果线程A启动线程B，那么A在线程B开始执行之前的操作对B是可见的。

3.6 线程终止规则

线程的所有操作happens-before其他线程检测到该线程已经终止。即如果线程A等待线程B终止，那么B的所有操作在A检测到B终止之前对A是可见的。

3.7 线程中断规则

对线程的中断操作happens-before被中断线程的代码检测到中断事件的发生。即如果线程A中断线程B，那么A的中断操作对B是可见的。

3.8 对象终结规则

一个对象的构造函数执行完成happens-before该对象的finalize方法的开始。即对象的初始化完成后，才会开始执行该对象的finalize方法。

四、Java内存模型的实际应用

4.1 多线程编程中的常见问题

4.1.1 可见性问题

在多线程环境中，一个线程对共享变量的修改可能对其他线程不可见。例如：

在上述代码中，可能会出现第一个线程无法检测到flag的变化，因为flag的修改没有及时刷新到主内存。

4.1.2 有序性问题

编译器和处理器的指令重排序可能导致程序执行顺序与代码顺序不一致。例如：

上述代码可能会输出x=0, y=0，即使按代码顺序应该是x=1, y=1。这是因为指令重排序导致线程间的操作顺序不同步。

4.2 使用`volatile`解决可见性问题

使用volatile关键字修饰flag变量，可以确保一个线程对flag的修改立即对其他线程可见，解决可见性问题。

4.3 使用`synchronized`解决有序性问题

使用synchronized关键字确保线程间操作的有序性，避免重排序问题。

4.4 高级并发工具类的使用

4.4.1 `Lock`接口

Lock接口提供了比synchronized更灵活的锁机制。例如：

4.4.2 `Atomic`包类

Atomic包类提供了原子操作，避免了使用锁。例如：

4.4.3 `CountDownLatch`

CountDownLatch用于等待其他线程完成。例如：

4.4.4 `CyclicBarrier`

CyclicBarrier用于同步线程的进度。例如：

五、总结

Java内存模型在并发编程中起着至关重要的作用。理解JMM的基本概念、工作原理和同步规则，可以帮助我们编写正确且高效的并发程序。通过合理使用volatile、synchronized关键字和java.util.concurrent包中的工具类，可以有效解决多线程编程中的可见性、有序性和原子性问题，从而实现线程安全。

在实际应用中，针对不同的场景和需求选择合适的同步机制，并遵循Happens-Before规则，确保线程间操作的正确性和数据的一致性，是编写高质量并发程序的关键。希望本文能帮助读者深入理解Java内存模型，并在实际编程中灵活应用这些知识。