volatile仅保证单次读/写操作的原子性,如flag=true或count=100;不保证i++等复合操作的原子性,因其包含读—改—写三步,中间可能被其他线程打断,导致结果错误。

Java 中 volatile 关键字对变量的**单次赋值操作具备原子性保障**,但仅限于“读取”或“写入”这一类简单操作;它**不保证复合赋值操作(如 i++、i += 1)的原子性**。
volatile 保证单次读/写的原子性
对于基本类型(除 long 和 double 外),JVM 规范本身已保证其读写操作是原子的;而 volatile 进一步确保:
– 对 volatile 变量的每次读,都从主内存直接加载;
– 每次写,都立即刷新到主内存,且不可被拆分执行。
这意味着类似 flag = true 或 count = 100 这样的简单赋值,在多线程下不会出现“写一半被读”的中间状态。
volatile 不保证复合操作的原子性
i++ 看似一条语句,实际包含三个步骤:读取 i 值 → 计算 i + 1 → 写回新值。这三个步骤之间可能被其他线程插入执行,volatile 无法阻止这种交错。
- 即使
volatile int i = 0;,两个线程同时执行i++一万次,最终结果大概率小于 20000 - 因为两个线程可能同时读到
i == 5,各自加 1 后都写回6,导致一次更新丢失 - 这类问题必须用
synchronized、AtomicInteger或锁机制解决
特殊说明:long 和 double 的原子性边界
在 32 位 JVM 上,未声明为 volatile 的 long 或 double 变量,其 64 位读写可能被拆成两次 32 位操作,存在“撕裂”风险(如读到高32位旧值+低32位新值)。volatile 可强制其读写作为单个原子操作完成,这是它对这两种类型提供的额外原子性保障。
Java JDK 25 来自 OpenJDK 官方归档,版本为 JDK 25,本条下载地址已指向官方 Windows x64 zip 安装包直链,适合调试旧项目或兼容旧版 Java 运行环境。
什么时候能放心用 volatile 赋值
适合用于状态标志、一次性初始化通知等场景:
- 布尔开关:
volatile boolean isReady = false;→isReady = true; - 引用赋值:
volatile Helper helper = null;→helper = new Helper();(配合 DCL 单例) - 数值配置项:
volatile int timeoutMs = 5000;→timeoutMs = 10000;(仅覆盖,不依赖原值)
只要赋值不依赖当前值,也不与其他操作构成逻辑单元,volatile 的赋值就是安全且原子的。
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南










