volatile保证可见性而非立即同步，通过强制主存读写、happens-before规则和内存屏障实现；适用于单次读写场景如布尔开关，不适用于复合操作。

Java 中 volatile 变量能保证多线程间“即时可见”，关键不在于“立刻同步”，而在于“一旦读到新值，就一定看到全部前序修改”。它靠的是 JVM 和硬件协同建立的确定性内存语义，不是轮询或延迟刷新。

强制主内存读写，绕过本地缓存

每个线程有自己的工作内存（CPU 缓存/寄存器），普通变量可能长期停留其中。而 volatile 修饰后：

• 每次读取都跳过工作内存，直接从主内存加载最新值
• 每次写入都立即将值刷回主内存，并触发缓存一致性协议（如 MESI）使其他 CPU 缓存中该变量所在缓存行失效
• 这样，下一次其他线程读该变量时，只能从主内存重新加载——自然就“看到”了

借助 happens-before 建立可见性链条

volatile 写操作与后续任意线程对该变量的读操作之间，构成一条 happens-before 关系。这意味着：

Java Development Manual

Java开发手册规约集合，基于阿里巴巴Java开发手册（嵩山版）。 涵盖7大维度：编程规约、异常日志、单元测试、安全规约、MySQL数据库、工程结构、设计规约。 当用户需要：(1) 编写或审查Java代码 (2) 检查命名/代码规范 (3) 处理异常和日志 (4) 编写单元测试 (5) 安全编码 (6) 数据库设...

下载

• 写线程在 volatile 写之前对其他变量（包括普通字段）的所有修改，对读线程都可见
• 例如：x = 42; flag = true;（flag 是 volatile），另一线程一旦读到 flag == true，就一定能读到 x == 42，不会是旧值或未初始化状态
• 这种保障不是靠时间先后，而是靠 JMM 定义的逻辑顺序约束

插入内存屏障，禁止重排序干扰

编译器和 CPU 可能为优化性能重排指令，但 volatile 会插入特定内存屏障：

• 写 volatile：插入 StoreStore + StoreLoad 屏障，确保前面的写操作不会被重排到 volatile 写之后
• 读 volatile：插入 LoadLoad + LoadStore 屏障，确保后面的读写不会被重排到 volatile 读之前
• 这既保护了 volatile 变量自身的读写顺序，也间接保障了它前后其他内存操作的可见边界

适用场景明确，不越界使用

volatile 的设计目标很聚焦：单次读、单次写、无复合逻辑。典型用法就是布尔开关：

• ✅ 正确：private volatile boolean running = true; 配合 while(running) 和 running = false;
• ❌ 错误：if (!done) done = true;（check-then-act，非原子）
• ❌ 错误：counter++（读-改-写三步，即使 counter 是 volatile 也不安全）
• ❌ 错误：用 volatile Boolean 包装类，存在自动拆箱空指针风险，且 null 状态无同步语义

Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南