在Java并发编程中，volatile关键字是面试官必问的核心考点。本文将从内存可见性、指令重排、原子性误区等角度，结合JMM底层原理，为你提供一份详尽的面试攻略。
在Java中，volatile关键字是一种轻量级的同步机制。它主要用于保证变量在多线程环境下的可见性和有序性，但不保证原子性。当多个线程操作共享变量时，如果其中一个线程修改了变量值，其他线程能立即感知到这一变化，这就是volatile的核心价值。
许多初学者容易将volatile与synchronized混淆，或者认为它能解决所有并发问题。实际上，volatile的设计初衷非常明确：它不能替代重量级的锁机制，但在特定场景下（如状态标志位、单例模式双重检查锁定等），它能提供比synchronized更高效的性能。
在面试中，回答volatile相关问题时，建议从JMM（Java Memory Model）的角度切入，阐述主内存与工作内存的关系，这样能体现出你对底层原理的深刻理解。
当一个变量被volatile修饰后，线程对它的写操作会立即刷新到主内存中，其他线程读取该变量时，会强制从主内存重新加载，而不是使用本地缓存。这确保了所有线程看到的变量值是一致的。
volatile禁止指令重排。通过插入内存屏障（Memory Barrier），确保volatile变量的读/写操作前后的指令不会发生重排。这保证了代码执行的顺序性与源码顺序一致。
这是最大的误区！volatile不保证原子性。例如i++操作，它包含读、改、写三个步骤，volatile无法保证这三个步骤的完整性。因此，volatile不能替代synchronized用于计数器累加。
为了更好地理解可见性，我们来看一个简单的代码示例。如果不使用volatile，线程A修改flag为false，线程B可能永远无法感知，导致死循环。
public class VolatileVisibilityDemo {
// 不加volatile，线程B可能无法感知变化，导致死循环
private static boolean flag = true;
public static void main(String[] args) {
// 线程A：修改flag
new Thread(() -> {
try { Thread.sleep(100); } catch (InterruptedException e) {}
flag = false;
System.out.println("线程A将flag改为false");
}).start();
// 线程B：检查flag
while (flag) {
// 空循环，依赖flag变化退出
}
System.out.println("线程B检测到flag变化，退出循环");
}
}在上面的代码中，如果给volatile加上，线程B会立即从主内存读取最新的flag值，从而正常退出循环。
要深入理解volatile，必须了解JMM（Java Memory Model）。JMM定义了线程与主内存的抽象关系：每个线程拥有独立的工作内存，存储了主内存中变量的副本。线程对变量的所有操作都必须在工作内存中进行，而不能直接读写主内存。
volatile关键字的实现依赖于JVM底层的内存屏障指令。在写volatile变量时，JVM会插入StoreStore和StoreLoad屏障；在读volatile变量时，会插入LoadLoad和LoadStore屏障。这些屏障禁止特定的指令重排，从而保证了有序性。
在Java内存模型中，volatile写规则规定：对一个volatile变量的写，happens-before于任意后续对这个volatile变量的读。这意味着，写操作之前的所有变量赋值，对读该volatile变量的线程都可见。
JMM模型将内存分为主内存和工作内存。线程A修改变量后，通过unlock操作将变量刷新到主内存；线程B通过lock操作从主内存加载变量到工作内存。volatile关键字强制了这两个步骤的即时性，消除了缓存不一致的问题。
内存屏障是CPU级别的指令，JVM通过它们来禁止指令重排。主要包含四种屏障：
Happens-Before原则是判断数据是否存在竞争、线程是否安全的主要依据。volatile相关的规则有两条：
这意味着，volatile写之前的所有代码，对读该volatile变量的线程都可见，实现了“半同步”的效果。
在面试中，经常会被问到volatile与synchronized的区别。这是一个非常经典的问题，需要从多个维度进行对比。
| 特性 | volatile | synchronized | ReentrantLock |
|---|---|---|---|
| 可见性 | ✅ 保证 | ✅ 保证 | ✅ 保证（配合volatile） |
| 有序性 | ✅ 保证 | ✅ 保证 | ✅ 保证 |
| 原子性 | ❌ 不保证 | ✅ 保证 | ✅ 保证 |
| 线程阻塞 | ❌ 不阻塞 | ✅ 可能阻塞 | ✅ 可能阻塞 |
| 实现机制 | 内存屏障 | Monitor对象 | CAS + volatile |
| 适用场景 | 状态标志、单例模式 | 临界区代码块 | 复杂锁逻辑 |
总结来说，volatile适合用于简单的状态标记或读写操作远多于写操作的场景；而需要保证原子性或复杂逻辑同步时，应选择synchronized或Lock。
volatile关键字虽然看似简单，但在实际开发中有几个非常经典的应用场景。掌握这些场景，能让面试官看到你的实战经验。
当一个线程需要根据另一个线程的状态来决定是否继续执行时，使用volatile修饰状态变量是最简单的方案。例如，一个后台任务线程，通过volatile boolean running = true来控制运行状态，主线程可以通过设置running=false来优雅地停止任务。
在实现懒汉式单例模式时，为了提高性能，我们通常会在获取实例前先检查实例是否为空。为了防止指令重排导致的问题，必须将实例变量声明为volatile。否则，线程A在创建对象时，可能先分配内存空间，再初始化对象，最后引用指向对象。如果发生重排，线程B可能在对象未完全初始化时就获取了实例，导致错误。
public class Singleton {
// volatile防止指令重排
private static volatile Singleton instance;
private Singleton() {}
public static Singleton getInstance() {
if (instance == null) { // 第一次检查
synchronized (Singleton.class) {
if (instance == null) { // 第二次检查
instance = new Singleton();
}
}
}
return instance;
}
}当某个变量的值一旦改变，就不再改变，且被多个线程频繁读取时，使用volatile可以避免加锁的开销。例如，系统启动时加载的配置信息，初始化后只读不写，此时用volatile修饰即可保证所有线程读取到最新配置。
以下是网友们最关心的volatile相关问题，我们进行了深度解答。
A: 不能。volatile只能保证可见性和有序性。对于i++这种复合操作，它包含读取、修改、写入三个步骤，volatile无法保证这三个步骤的原子性。如果需要原子性，应使用AtomicInteger或synchronized。
A: 因为new Singleton()不是一个原子操作，它包括分配内存、初始化对象、赋值引用三个步骤。如果不加volatile，可能发生指令重排，导致引用先于初始化完成指向内存地址。此时其他线程判断instance不为null，直接使用该对象，会导致空指针或数据错误。
A: 主要区别在于：1. volatile是变量修饰符，synchronized是代码块或方法修饰符；2. volatile不保证原子性，synchronized保证；3. volatile不会导致线程阻塞，synchronized可能导致；4. volatile保证有序性，synchronized也保证（通过Monitor）。
A: 1. 状态标志位（如running flag）；2. 单例模式中的双重检查锁定；3. 独立写入、多次读取的变量（如配置信息）。
A: 内存屏障用于禁止指令重排和刷新缓存。在写volatile时，插入StoreStore和StoreLoad屏障，确保前面的普通写操作对后续的volatile写可见，并刷新到主内存。在读volatile时，插入LoadLoad和LoadStore屏障，确保读取到最新的值，并禁止重排。