volatile保证内存可见性：线程A修改volatile变量后，线程B能立即从主内存读取最新值，避免因缓存导致的死循环；但不保证i++等复合操作的原子性。
volatile 的内存可见性可以通过一个典型的“线程间变量通知”场景来验证：主线程修改一个 volatile 变量，另一个线程持续读取它，观察是否能及时看到变更。关键在于避免 JIT 优化和编译器重排序干扰，同时确保读写不被缓存在线程本地。
核心验证思路
创建两个线程：
– 线程 A（工作线程）循环检查一个布尔标志 running；
– 线程 B（主线程）在一段时间后将 running 设为 false；
– 若未加 volatile，线程 A 可能永远看不到变化（因读取的是寄存器/缓存副本）；
– 加 volatile 后，每次读都从主内存获取，每次写都立即刷回主内存，从而体现可见性。
可复现的对比代码（含注释）
以下代码分别测试 非 volatile 和 volatile 版本，建议在 JDK 8+、无调试器、关闭断点的情况下运行（避免触发 safepoint 影响行为）：
1. 非 volatile 版本（可能无限循环）：
public class VolatileVisibilityTest {
static boolean running = true; // 没有 volatile
public static void main(String[] args) throws InterruptedException {
Thread worker = new Thread(() -> {
while (running) {
// 空循环，但 JIT 可能优化为“只读一次”
// 实际中加点轻量操作（如 i++）有助于抑制过度优化
}
System.out.println("Worker exited.");
});
worker.start();
Thread.sleep(1000);
running = false; // 主线程修改
System.out.println("Set running = false");
worker.join(2000); // 等待最多2秒
System.out.println("Alive? " + worker.isAlive()); // 很可能输出 true → 未退出
}
}
2. volatile 版本（大概率正常退出）：
当用户要求为 Java 代码添加注释、修改注释、审查注释、整理注释格式，或要求按照代码注释规范处理 Java 文件时，使用本技能。本技能用于统一生成和维护 Java 类注释模板、按 Git 对比 release 判断版本号、补充每行代码上方中文块注释、调整注释空行规则，并保持 Java 文件 UTF-8 无 BOM 编码。典型触发场景包括：补充类注释、更新 @version、检查 @author 来源、整理行尾注释、把注释放到代码上一行、检查注释是否符合规范、构建前检查 Java 注释风格。
立即学习“Java免费学习笔记（深入）”；
static volatile boolean running = true; // 关键：加上 volatile
仅这一处改动，其余完全相同。运行后通常会输出：Set running = falseWorker exited.Alive? false
增强验证可靠性的技巧
-
加一点“扰动”防止 JIT 过度优化：在 while 循环里加
Thread.yield()或System.nanoTime()，让 JVM 不易将读操作提升或消除 -
用 -XX:+UnlockDiagnosticVMOptions -XX:+PrintAssembly（需 hsdis）看汇编：volatile 写会生成
lock addl $0x0, (%rsp)（内存屏障），读会禁止重排序 -
禁用 JIT（临时验证用）：加参数
-Xint，强制解释执行，排除编译优化干扰 - 多次运行 + 增大等待时间：非 volatile 版本不是“一定不退出”，而是“可能卡住”，多试几次更容易复现问题
注意：这不是原子性验证
volatile 保证可见性和禁止指令重排序，不保证复合操作原子性。例如 counter++（读-改-写）即使 counter 是 volatile，依然线程不安全。验证可见性时，只做简单读写，勿混淆概念。
