如何通过volatile关键字实现线程间变量可见性及理解其内存屏障机制？

本文共计920个文字，预计阅读时间需要4分钟。

`volatile` 的核心作用不是保证原子性，而是强制线程每次读取变量时都从主内存重新加载，每次写入后立即刷新到主内存。这样做可以解决多线程下的可见性问题；同时，它还隐含着内存屏障（Memory Barrier）的作用，禁止编译器和处理器对 `volatile` 变量的读写进行重排序。

volatile 如何保障可见性

Java 中普通变量的读写可能被缓存在线程本地（如 CPU 寄存器或高速缓存），导致一个线程修改了值，另一个线程仍读到旧值。volatile 通过以下机制打破这种“缓存隔离”：

• 写 volatile 变量时，JVM 会插入一个“StoreStore”和“StoreLoad”屏障，确保该写操作及其之前的所有写操作对其他线程可见；
• 读 volatile 变量时，JVM 插入“LoadLoad”和“LoadStore”屏障，强制从主内存加载最新值，并使后续读写不能被提前到该读操作之前；
• 所有线程对同一 volatile 变量的读写，都直接与主内存交互，不经过本地缓存——这正是可见性的底层保障。

volatile 不能替代 synchronized 的原因

虽然 volatile 能让变量“看得见”，但它不提供互斥或原子性保证。