happens-before 是 jmm 中定义操作间语义先行关系的核心机制：若 a happens-before b，则 a 的结果对 b 可见，且禁止破坏该关系的重排序；它包含程序顺序、volatile、锁、启动、终止等八大规则，并具传递性。
happens-before 原则是 Java 内存模型（JMM）中用来约束指令重排、保障多线程下操作可见性与有序性的核心机制。它不规定物理执行时间先后，而是定义一种“语义上的先行关系”：如果操作 A happens-before 操作 B，那么 A 的结果对 B 可见，且 JVM 和 CPU 不得重排破坏这一关系。
程序顺序规则：单线程内天然有序
同一线程中，代码书写在前的操作 happens-before 书写在后的操作。JVM 允许指令重排，但必须满足 as-if-serial 语义——即重排后单线程执行结果不变。例如：
- int a = 1; 和 int b = 2; 无依赖，可能被重排，但不影响结果；
- int a = 1; 和 int b = a; 有数据依赖，禁止重排。
volatile 规则：写读之间建立强顺序
对 volatile 变量的写操作 happens-before 后续对该变量的读操作。这不仅保证可见性，还插入内存屏障，禁止编译器和 CPU 将写操作之后的指令重排到写之前，或将读操作之前的指令重排到读之后。
Java JDK 25 来自 OpenJDK 官方归档，版本为 JDK 25，本条下载地址已指向官方 Windows x64 zip 安装包直链，适合调试旧项目或兼容旧版 Java 运行环境。
- 典型场景：用 volatile 标志位控制线程启停，确保标志写入后，其前置的初始化操作对读线程可见；
- 注意：volatile 不能保证复合操作（如 i++）的原子性，仅约束针对该变量本身的读写顺序。
锁规则：解锁与加锁构成同步边界
一个线程对某锁的 unlock 操作 happens-before 另一个线程对该锁的 lock 操作。这意味着前一线程在临界区内所有操作的结果，对获取该锁的后续线程可见。
- synchronized 块或方法的退出（unlock）天然建立 happens-before 关系；
- 即使没有显式同步，只要共享变量的读写被同一把锁保护，就能借助锁规则避免重排导致的脏读或漏写。
传递性与其他规则协同约束重排
happens-before 具有传递性：若 A → B 且 B → C，则 A → C。这使多个规则可组合使用，形成更长的顺序链。例如：
- 线程 A 调用 t.start()（启动规则：start() happens-before t 中任意操作）；
- t 中写入 volatile 变量 flag = true（volatile 规则：写 flag happens-before 后续读 flag）；
- 线程 B 读到 flag == true 后访问共享资源 —— 此时 A 对资源的初始化操作，通过传递性对 B 可见。
本质上，happens-before 不是阻止所有重排，而是划定“不可重排的安全边界”。开发者只需按规则正确使用 synchronized、volatile、Thread.start/join 等，JVM 就会自动插入必要的内存屏障，屏蔽底层硬件差异，让多线程行为可预期。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
