传递性规则是happens-before的逻辑推导工具，非独立同步机制：若A→B且B→C，则可推出A→C，从而串联跨线程、跨变量的可见性链条；它不产生内存屏障，但使volatile写、程序顺序等基础规则协同生效，确保如x=42对flag读为true的线程可见；其本质是语义保证而非时间先后，失效于中间环节缺失、条件未触发或规则前提被破坏。
happens-before 传递性规则不是一条独立的同步机制，而是一条逻辑推导工具：如果操作 A happens-before 操作 B，且操作 B happens-before 操作 C，那么就能推出操作 A happens-before 操作 C。它本身不产生任何内存屏障或锁行为，但让多个基础规则能“串联”起来，形成跨操作、跨变量、跨线程的可见性链条。
为什么需要传递性
单靠一条规则往往覆盖不了真实场景。比如 volatile 写和读之间有 happens-before，程序顺序在单线程内也有，但这两者分属不同线程、不同变量——必须靠传递性把它们连起来，才能证明某个普通变量的写对另一个线程的读可见。
典型例子：
- 线程 A 执行：x = 42; → flag = true;（程序顺序规则 ⇒ x=42 happens-before flag=true）
- 线程 B 执行：if (flag) → System.out.println(x);（volatile 读写规则 ⇒ flag=true happens-before flag==true 的读）
- 把两段链起来：x=42 → flag=true → flag 读为 true ⇒ x=42 happens-before flag 读为 true
于是，只要线程 B 看到了 flag == true，就一定能读到 x == 42 ——这个结论完全依赖传递性。
立即学习“Java免费学习笔记（深入）”；
Alibabacloud Sdk Client Initialization For Java
下载
在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。
传递性不等于执行时间先后
happens-before 是语义保证，不是时序断言。A happens-before C 并不要求 A 在物理时间上一定早于 C 执行，而是说：JVM 和硬件会确保 A 的结果（如写入主内存、刷新缓存等）对 C 可见。即使 C 实际运行得更早，只要满足传递链，最终也能看到 A 的效果。
换句话说，传递性建立的是“影响可达性”，不是“谁先跑完”。它屏蔽了底层重排序、缓存延迟等复杂细节，给程序员一个可推理的抽象模型。
哪些情况传递性会失效
传递性只在 happens-before 关系明确成立的前提下生效。常见失效点包括：
- 缺少中间环节：比如 A→B 成立，C→D 成立，但 B 和 C 之间没有 happens-before 关系，则无法推出 A→D
- 条件未触发：volatile 读只有在实际读到新值时，才激活与之前写之间的 happens-before；若线程 B 一直没读到 flag==true，那整个链就不激活
- 违反规则前提：比如用普通变量替代 volatile，就断掉了 volatile 规则这一环，传递链断裂
一旦链条断开，JVM 就不再提供可见性保证，此时 x 的值对线程 B 来说就是不确定的。
