volatile变量的写操作happens-before后续对该变量的读操作，即线程A写volatile变量后，线程B读到该值时，A中写该volatile变量之前的所有操作对B均可见，但volatile本身不提供自动传递性，需依赖程序顺序与同步次序链式推导。
volatile 变量本身不提供 Happens-Before 传递性，但它参与构建 Happens-Before 链时，能将自身的写-读顺序约束“传导”给其他操作——前提是这些操作通过 volatile 变量形成明确的读写依赖关系。
volatile 写与读之间建立直接 Happens-Before
Java 内存模型（JMM）明确规定：对一个 volatile 变量的写操作，Happens-Before 于后续对该变量的读操作。这是唯一由 volatile 保证的原生 Happens-Before 关系。
- 线程 A 执行
v = true（volatile 写） - 线程 B 执行
if (v) { ... }（volatile 读） - 若 B 观察到
v == true，则 A 中写v之前的所有操作（包括非 volatile 写），对 B 来说都可见
传递性需靠“链式依赖”，不是自动扩散
volatile 本身不使“A 写 x → A 写 v → B 读 v → B 读 y”自动成立 HB 关系。要让 y 的读看到 x 的写，必须满足：
Java项目代码review工具。分析Git变更+完整调用链路上下文，推断业务需求，进行多维度评分和分类汇总，生成完整PRD文档。包含细粒度Java代码审查清单（Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...
- x 的写必须在 A 中 先于 volatile 写 v（即程序顺序）
- v 的读在 B 中 先于 y 的读（程序顺序）
- 且 B 确实读到了 A 写入的 v 值（存在同步次序）
此时可借助 HB 的传递性推导：
A 写 x →程序顺序 A 写 v →volatile 规则 B 读 v →程序顺序 B 读 y
从而得出：A 写 x Happens-Before B 读 y。
常见误区：volatile 不等于“全局立即可见”
它不保证原子性，也不保证指令重排的全面禁止（只禁止特定类型的重排，如写 volatile 不能与它之前的读写重排，读 volatile 不能与它之后的读写重排）。
立即学习“Java免费学习笔记（深入）”；
- volatile boolean flag = false;
int data = 0;
// 线程 A：
data = 42; // 非 volatile 写
flag = true; // volatile 写 → 对 B 可见的“栅栏”起点 - // 线程 B：
if (flag) { // volatile 读 → 若为 true，则 data=42 必已执行且对 B 可见
System.out.println(data); // 安全读取，不会看到 0 或未定义值
不能替代锁，但可简化部分场景
当仅需单向状态通知（如初始化完成、开关切换），且无复合操作（如 i++），volatile 能避免锁开销；一旦涉及多个变量协同或需要互斥执行，就必须用 synchronized 或 java.util.concurrent 工具。
