volatile本质是JMM与硬件缓存协同作用的结果，核心保障可见性（通过内存屏障+MESI协议实现缓存一致性）和有序性（插入四类内存屏障禁止重排序），但不保证复合操作的原子性。
volatile 的内存语义不能只靠“主内存读写”这种简化说法来理解，它本质是 Java 内存模型（JMM）与硬件缓存机制协同作用的结果，核心落在可见性和有序性两个层面。
可见性：不是“刷到主内存”，而是触发缓存一致性协议
所谓“线程修改 volatile 变量后，其他线程立即看到”，背后并非每次写都真正穿过缓存写入物理主内存（那太慢），而是 JVM 在生成字节码时，对 volatile 读写插入了带 lock 前缀的 CPU 指令（如 lock addl、lock xchgl）。这类指令会：
- 强制将当前 CPU 缓存行中该变量的数据写回系统内存（或标记为 dirty）
- 通过总线或 MESI 协议广播“该缓存行已失效”，使其他 CPU 核心中对应变量的缓存副本被置为 Invalid 状态
- 当其他线程再次读取该 volatile 变量时，因缓存失效，必须从主内存（或最新更新的共享缓存）重新加载——这就实现了“立即可见”
有序性：靠内存屏障禁止重排序，而非强制串行执行
volatile 的“禁止重排序”是编译器和 CPU 层面的约束，由 JVM 自动插入四类内存屏障实现：
- LoadLoad 屏障：在 volatile 读操作之前，禁止该读与前面的普通读重排序
- StoreStore 屏障：在 volatile 写操作之前，禁止该写与前面的普通写重排序
- LoadStore 屏障：在 volatile 读操作之后，禁止该读与后面的普通写重排序
- StoreLoad 屏障：在 volatile 写操作之后，禁止该写与后面的普通读/写重排序（开销最大，HotSpot 会按需优化）
这些屏障不改变程序逻辑结果，但锁定了指令执行的相对顺序，从而让 happens-before 关系成立：一个线程对 volatile 变量的写，happens-before 另一个线程对该变量的读。
它不做什么：原子性不在保障范围内
volatile 修饰的变量，其读写操作本身是原子的（如 int、boolean 的读写），但复合操作（如 i++、flag = !flag）仍包含“读-改-写”三步，中间可能被其他线程打断。例如：
分析 Java Spring Boot 后端 Controller 代码，自动生成 Markdown 格式的接口文档。当用户说“生成 Java 接口文档”、“生成 API 文档”、“从 Spring 代码生成文档”时触发。
要保证原子性，必须配合 synchronized、Lock 或原子类（如 AtomicInteger）。
和 synchronized 的关键区别在哪
volatile 是无锁的、非阻塞的，不提供互斥，也不建立代码块级别的临界区；它只确保单个变量的读写具备可见性和有序性。而 synchronized 除了可见性、有序性，还提供原子性和互斥访问，并能保证整个同步块内所有变量的状态一致性。
所以 volatile 适合用在状态标志、一次性发布、双重检查锁定中的 instance 引用等场景，不适合做计数器、累加器或涉及多个变量协同更新的逻辑。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
