Java happens-before规则完全指南：从偏序关系到内存可见性

📌本文导读：本文将系统讲解Java内存模型中的核心概念——happens-before规则，从定义理解到八条规则详解，从代码示例到实际应用场景，用流程图帮助你彻底掌握这个判断数据竞争和线程安全的核心依据。全文包含四大核心章节、3个彩色流程图、6个代码示例。预计阅读时间25分钟。

一、🔴 什么是happens-before？

1.1 🟠 从可见性问题说起

在多线程编程中，一个线程修改了共享变量的值，另一个线程可能永远看不到这个修改。这是因为CPU缓存和指令重排序的存在——修改可能停留在缓存中，指令可能被重新排列。

**Java内存模型（JMM）**定义了happens-before规则来解决这个问题。

📌一句话理解：happens-before是程序中两个动作之间的一种关系——如果动作A happens-before动作B，那么A所做的所有更改在B执行时一定可见。它不是简单的“时间先后”，而是“可见性保证”。

1.2 🟡 为什么需要happens-before？

在没有happens-before保证的情况下，编译器和处理器可以对指令进行重排序，导致看似“不可能发生”的结果。

// 🔴 初始值：a = 0, b = 0// 线程1执行：a=10;// 操作1r1=b;// 操作2// 线程2执行：b=20;// 操作3r2=a;// 操作4

由于操作1和操作2之间没有数据依赖，编译器可能将它们重排序。结果可能是：r1 = 20（看到了未来的写）、r2 = 0（没看到a的写）或更离奇的结果。

happens-before的作用：定义哪些情况下重排序是被禁止的，从而保证多线程程序的正确性。

1.3 🟢 happens-before vs 时间先后

happens-before不单纯是时间顺序，它是内存可见性的保证。

如果两个操作之间没有happens-before关系，JVM可以自由地对它们进行重排序，数据竞争就有可能发生。

二、🔵 流程图：happens-before的八条规则全景

三、🟣 八条happens-before规则详解

3.1 🟤 规则一：程序次序规则（Program Order Rule）

在同一线程内，按照代码顺序，书写在前面的操作happens-before书写在后面的操作。

// 🔴 同一线程内，代码顺序保证inta=1;// 操作1intb=2;// 操作2intc=a+b;// 操作3// 操作1 happens-before 操作2// 操作2 happens-before 操作3// 操作1 happens-before 操作3（传递性）

这条规则保证了单线程内的语义不变性（as-if-serial）。

3.2 🟠 规则二：锁规则（Monitor Lock Rule）

对一个锁的解锁操作happens-before后续对该锁的加锁操作。

// 🔴 锁规则保证可见性synchronized(lock){sharedVar=42;// 写操作}// 🔵 解锁// ...synchronized(lock){System.out.println(sharedVar);// 🟢 加锁后，保证看到42}

关键点：线程A在释放锁前对共享变量的所有修改，在线程B随后获取同一把锁时一定可见。

3.3 🟡 规则三：volatile变量规则（Volatile Variable Rule）

对volatile变量的写操作happens-before后续对该变量的读操作。

// 🔴 volatile提供可见性保证volatilebooleanready=false;intdata=0;// 线程1data=123;// 普通写ready=true;// volatile写// 线程2if(ready){// volatile读System.out.println(data);// 保证看到data=123}

重要机制：volatile写不仅仅是让自身立即刷新到主内存，还能守护其上下文中的普通变量，使其对后续读线程可见。

3.4 🟢 规则四：线程启动规则（Thread Start Rule）

调用Thread.start() happens-before该线程开始执行的所有操作。

// 🔴 启动规则Threadworker=newThread(()->{System.out.println(data);// 保证能看到主线程的修改});data=100;// 普通写worker.start();// start happens-before worker线程所有操作

意义：主线程在start()之前的所有修改，对子线程都是可见的。

3.5 🔵 规则五：线程终止规则（Thread Termination Rule）

线程的所有操作happens-before其他线程从该线程的join()返回。

// 🔴 终止规则Threadworker=newThread(()->{result=compute();// 子线程写});worker.start();worker.join();// join返回System.out.println(result);// 保证看到子线程的所有修改

3.6 🟣 规则六：传递性规则（Transitivity Rule）

如果A happens-before B，且B happens-before C，则A happens-before C。

传递性的实际威力：可以将volatile规则和程序次序规则串联起来，实现普通变量的跨线程可见性。

3.7 ⚪ 规则七：线程中断规则

对线程interrupt()的调用happens-before被中断线程检测到中断事件的发生。

// 🔴 中断规则thread.interrupt();// 调用中断// 被中断线程的代码检测到中断 → 一定能看到中断的调用

3.8 🟤 规则八：对象终结规则

一个对象的构造完成happens-before其finalize()方法的开始。

四、🟢 流程图：happens-before保证可见性的完整链路

五、🔴 happens-before的实战价值

5.1 🟠 判断数据竞争与线程安全

happens-before是判断数据是否存在竞争、线程是否安全的主要依据。

当一个变量被多个线程读取且至少被一个线程写入时，如果读操作和写操作之间没有happens-before关系，就会产生数据竞争（Data Race）。

正确同步的程序（Correctly Synchronized Program）是没有数据竞争的程序。

5.2 🟡 实现同步的"技巧"：借助规则组合

通过组合happens-before规则，可以对未被锁或volatile保护的普通变量实现可见性保证。

// 🟢 利用程序次序规则 + volatile规则实现普通变量可见性staticintnum=0;// 普通变量staticvolatilebooleanflag=false;// volatile守卫// 线程1num=42;// 普通写flag=true;// volatile写（程序次序：num写 → flag写）// 线程2if(flag){// volatile读System.out.println(num);// 保证看到num=42}

原理链路：

1. 线程1中，num=42happens-beforeflag=true（程序次序规则）
2. 线程1的flag=truehappens-before 线程2的flag读取（volatile规则）
3. 传递性 ⇒num=42happens-before 线程2读取num

这就是Doug Lea在JUC中广泛使用的技巧。

5.3 🟢 常见误区

六、🔵 总结

happens-before是Java内存模型的核心规则，它定义了多线程程序中操作的可见性边界。如果两个操作之间存在happens-before关系，前一个操作的结果对后一个操作必然可见；如果没有，JVM可以自由重排序，数据竞争就可能发生。

八条规则速查：