volatile不保证原子性，而是jmm规定boolean、byte、char、short、int、float及引用类型的单次读写天然原子；volatile通过禁止重排序和强制主存读写，使该原子性在多线程下可靠生效，但i++等复合操作仍非原子。

volatile 本身不“保证”基本赋值操作的原子性，而是 Java 内存模型（JMM）规定：对 大多数基本类型 的单次读或写操作天然具有原子性，volatile 的作用是让这个原子性在多线程环境下可靠生效，并配合可见性与有序性保障。

哪些赋值操作本来就是原子的

Java 规范明确指出，以下操作是原子的（即不可分割）：

Alibabacloud Sdk Client Initialization For Java

在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。

下载

• boolean、byte、char、short、int、float 的读/写
• 引用类型（reference）的读/写
• 被 volatile 修饰的 long 和 double 的读/写（关键点：未加 volatile 时，32 位 JVM 可能拆成两次 32 位操作，不保证原子；加了 volatile 就强制按单次 64 位操作执行）

volatile 如何让原子性“落地”

没有 volatile 时，即使 int 赋值（如 flag = true）本身是原子的，线程仍可能因缓存、重排序等问题看不到最新值。volatile 通过两个机制确保原子操作的效果不被削弱：

• 禁止指令重排序：编译器和 CPU 不会把 volatile 写操作之前的普通读写，重排到它之后；也不会把 volatile 读操作之后的普通读写，重排到它之前
• 强制刷新与加载：每次写 volatile 变量，都立即刷入主内存；每次读 volatile 变量，都直接从主内存读取——这就让那个“原子的赋值”，真正对其他线程可见、可依赖

注意：原子 ≠ 复合操作安全

volatile 仅对单次读或写有效。像 i++、count += 1 这类操作，哪怕变量是 volatile 修饰的，依然不是原子的——因为它们包含读、改、写三步，中间可能被其他线程打断。这类场景必须用 synchronized 或 AtomicInteger。

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