happens-before 是 jmm 中定义操作间可见性与逻辑有序性的语义契约，不约束物理执行顺序；它包含程序次序、volatile 变量、管程锁定、线程启动/终止、传递性、中断及对象终结共八条规则，共同保障多线程下共享变量的正确可见性与有序性。
Happens-before 原则是 Java 内存模型（JMM）中定义操作间可见性与有序性的核心机制。它不描述物理时间先后，而是一种语义上的“先行发生”关系：如果操作 A happens-before 操作 B，则 A 的结果对 B 可见，且 JMM 保证不会出现违反该关系的重排序。
程序次序规则
在同一个线程内，按照代码书写顺序，前面的操作 happens-before 后面的操作。例如：a = 1; happens-before b = a + 1;。该规则保障单线程内的逻辑一致性，即使 JVM 或 CPU 发生指令重排，最终执行效果也必须等价于按此顺序执行。
volatile 变量规则
对一个 volatile 变量的写操作 happens-before 后续对该变量的读操作。这是 volatile 关键字提供可见性和禁止重排序的核心依据。比如线程 A 执行 flag = true;（volatile 写），线程 B 执行 if (flag) { ... }（volatile 读），只要 B 看到了 true，就一定能观察到 A 在写 flag 之前的所有操作结果（如 data = 42;）。
管程锁定规则（synchronized 规则）
对一个锁的解锁操作 happens-before 后续对同一锁的加锁操作。例如，线程 A 退出 synchronized(obj) 块时的 unlock，happens-before 线程 B 进入同一 synchronized(obj) 块时的 lock。这确保了临界区内的修改对下一个获取该锁的线程可见。
Java开发手册规约集合，基于阿里巴巴Java开发手册（嵩山版）。 涵盖7大维度：编程规约、异常日志、单元测试、安全规约、MySQL数据库、工程结构、设计规约。 当用户需要：(1) 编写或审查Java代码 (2) 检查命名/代码规范 (3) 处理异常和日志 (4) 编写单元测试 (5) 安全编码 (6) 数据库设...
线程启动与终结规则
线程启动规则：Thread 对象的 start() 调用 happens-before 该线程中任意操作的开始。
线程终结规则：线程中所有操作 happens-before 其他线程检测到该线程已结束（如 join() 返回、isAlive() 返回 false）。
传递性规则
如果 A happens-before B，且 B happens-before C，则 A happens-before C。该规则使多个 happens-before 关系可链式推导，是组合使用其他规则的基础。例如结合程序次序 + volatile 规则，可推导出非 volatile 变量的跨线程可见性。
中断规则与对象终结规则
中断规则：一个线程调用另一个线程的 interrupt() 方法 happens-before 被中断线程检测到中断事件（如 isInterrupted() 返回 true 或抛出 InterruptedException）。
对象终结规则：一个对象的构造函数执行完成 happens-before 其 finalize() 方法开始执行（该规则在现代 Java 中已弱化，因 finalize 已被弃用）。
这些规则共同构成 JMM 的可见性契约，开发者无需深入硬件缓存细节，只需遵守规则即可写出正确并发程序。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
