happens-before 是 Java 内存模型中定义操作间逻辑先行关系的核心原则：若 A happens-before B，则 A 的结果对 B 可见且不被重排序到其后；它包含程序顺序、监视器锁、volatile 变量、线程启动、线程终止等八大规则，保障多线程下的可见性与有序性。

Java 的 happens-before 规则是理解多线程可见性与有序性的关键。它不描述真实执行时间先后，而是定义一种“逻辑先行”关系：如果 A happens-before B，那么 A 的结果对 B 一定可见，且 A 的执行效果在 B 看来不会被重排序到其后。

程序顺序规则：单线程内的天然契约

同一根执行流中，代码书写顺序构成 happens-before 链。比如：

• int a = 1; → int b = a + 2; → System.out.println(b);
• 即使 JVM 为优化做了指令重排（如先算 b 再赋 a），只要最终行为等价于按序执行，就仍满足该规则
• 它只保障本线程内操作的逻辑可见性，不跨线程生效

监视器锁规则：解锁与加锁之间的接力棒

synchronized 块的退出（unlock）与后续同锁的进入（lock）之间存在 happens-before 关系。

• 线程 A 在 synchronized(lock) 中修改了共享变量 x，退出时自动 unlock
• 线程 B 后续执行 synchronized(lock)，其 lock 动作 happens-after A 的 unlock
• 因此 B 进入临界区后一定能读到 A 写入的最新 x 值
• 重点是“同一个锁”，不同锁之间无此保证

volatile 变量规则：带内存屏障的轻量同步

对 volatile 字段的写，happens-before 后续对该字段的读（无论哪个线程）。

• volatile 写会插入 StoreStore 和 StoreLoad 屏障，强制刷新到主内存
• volatile 读会插入 LoadLoad 和 LoadStore 屏障，强制从主内存加载
• 常用于状态标志（如 running = false）或安全发布不可变对象
• 注意：volatile 不保证复合操作原子性（如 i++）

线程启动与终止规则：生命周期的关键锚点

主线程调用 t.start() 的动作 happens-before t 中第一个操作；t 中所有操作 happens-before 主线程检测到 t.isAlive() == false 或 t.join() 返回。

• t.start() 之前主线程对变量的修改，对 t 来说全部可见
• t 执行完毕前的所有写操作，对调用 t.join() 的线程可见
• 这为线程间一次性数据传递提供了基础保障