Java 中 volatile 内存可见性怎么通过代码验证-java教程-PHP中文网

volatile保证内存可见性：线程a修改volatile变量后，线程b能立即从主内存读取最新值，避免因缓存导致的死循环；但不保证i++等复合操作的原子性。

java 中 volatile 内存可见性怎么通过代码验证

volatile 的内存可见性可以通过一个典型的“线程间变量通知”场景来验证：主线程修改一个 volatile 变量，另一个线程持续读取它，观察是否能及时看到变更。关键在于避免 JIT 优化和编译器重排序干扰，同时确保读写不被缓存在线程本地。

核心验证思路

创建两个线程：
– 线程 A（工作线程）循环检查一个布尔标志 running；
– 线程 B（主线程）在一段时间后将 running 设为 false；
– 若未加 volatile，线程 A 可能永远看不到变化（因读取的是寄存器/缓存副本）；
– 加 volatile 后，每次读都从主内存获取，每次写都立即刷回主内存，从而体现可见性。

可复现的对比代码（含注释）

以下代码分别测试非 volatile 和 volatile 版本，建议在 JDK 8+、无调试器、关闭断点的情况下运行（避免触发 safepoint 影响行为）：

1. 非 volatile 版本（可能无限循环）：

Java注释规范Skills

当用户要求为 Java 代码添加注释、修改注释、审查注释、整理注释格式，或要求按照代码注释规范处理 Java 文件时，使用本技能。本技能用于统一生成和维护 Java 类注释模板、按 Git 对比 release 判断版本号、补充每行代码上方中文块注释、调整注释空行规则，并保持 Java 文件 UTF-8 无 BOM 编码。典型触发场景包括：补充类注释、更新 @version、检查 @author 来源、整理行尾注释、把注释放到代码上一行、检查注释是否符合规范、构建前检查 Java 注释风格。

下载

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 版本（大概率正常退出）：

static volatile boolean running = true; // 关键：加上 volatile

仅这一处改动，其余完全相同。运行后通常会输出：
Set running = false
Worker exited.
Alive? false

增强验证可靠性的技巧

加一点“扰动”防止 JIT 过度优化：在 while 循环里加 Thread.yield() 或 System.nanoTime()，让 JVM 不易将读操作提升或消除
用 -XX:+UnlockDiagnosticVMOptions -XX:+PrintAssembly（需 hsdis）看汇编：volatile 写会生成 lock addl $0x0, (%rsp)（内存屏障），读会禁止重排序
禁用 JIT（临时验证用）：加参数 -Xint，强制解释执行，排除编译优化干扰
多次运行 + 增大等待时间：非 volatile 版本不是“一定不退出”，而是“可能卡住”，多试几次更容易复现问题