美团面试官：volitile的工作原理?
东哥约 5 分钟今天聊聊在Java面试中常常遇到的一个话题——volatile关键字。
你为什么会在面试中遇到volatile？
每次面试中，面试官总喜欢问一些“考察你基础”的问题。volatile就是其中之一。这是Java中的一个关键字，它的作用和很多人想象的有点不同。很多人都知道它是用来处理多线程同步的，但具体是怎么实现的，可能就不太清楚了。
那么，volatile到底是什么？我们今天就从头讲一讲。
volatile的基本概念
简单来说，volatile是一个轻量级的同步机制，告诉Java虚拟机（JVM）不要对被标记为volatile的变量进行缓存，也就是说，它让变量的值在多个线程之间保持一致。听起来很高大上对吧？但其实它的本质就是保证可见性和禁止指令重排序。
可见性
所谓可见性，是指一个线程对共享变量的修改，能够及时被其他线程看到。如果没有volatile关键字，Java默认会做一些优化，比如缓存变量值或重排序，导致其他线程看到的值可能不是最新的。
举个简单的例子：
class VolatileExample {
private boolean flag = false; public void toggleFlag() {
flag = true; // 线程A更新flag
}
public void checkFlag() {
if (flag) { // 线程B检查flag
System.out.println("Flag is true");
}
}
}
在上面的代码中，如果线程A修改了flag的值，而线程B一直在检查它，可能会遇到flag的变化不被及时看到的情况。也就是说，线程B可能一直拿到过时的值，这是因为flag变量可能被线程B缓存了。
加上volatile之后，问题就解决了：
class VolatileExample {
private volatile boolean flag = false; public void toggleFlag() {
flag = true; // 线程A更新flag
}
public void checkFlag() {
if (flag) { // 线程B检查flag
System.out.println("Flag is true");
}
}
}
使用volatile后，线程A的修改立刻对其他线程可见，线程B会实时看到flag的变化。
禁止指令重排序
Java中的JVM和处理器为了优化性能，可能会在执行代码时做一些指令重排序。比如，我们写代码时，可能会先赋值再操作变量，但JVM或者CPU可能会把操作顺序颠倒。
举个例子：
class VolatileExample {
private int a = 0;
private volatile boolean flag = false; public void write() {
a = 1; // 先赋值
flag = true; // 再改变flag
}
public void read() {
if (flag) {
System.out.println(a); // 读取a的值
}
}
}
上面的代码看似很简单，但JVM或者CPU可能会做指令重排序，导致flag变量被设置为true之后，a的值仍然是默认的0，从而造成线程读取到的结果不一致。
通过volatile，我们告诉JVM，不要对这个变量进行重排序，这样就能保证flag的修改顺序不会在JVM中被打乱。
volatile的工作原理
那么，volatile是如何保证可见性和禁止指令重排序的呢？这就涉及到JVM和硬件层面的优化了。
1. 内存可见性：主内存和工作内存
每个线程都有自己的工作内存，也就是CPU缓存，它会将一些共享变量缓存起来进行优化，以提高性能。然而，当一个线程修改了共享变量，其他线程未必能立即看到这个修改。volatile的作用就是确保所有的线程都直接操作主内存中的变量，而不是自己线程本地的缓存。
JVM通过happens-before规则来保证volatile的可见性，也就是说，某个线程对volatile变量的写操作，必须发生在另一个线程对该变量的读操作之前。
2. 禁止指令重排序
当你在一个线程中修改了volatile变量时，JVM会确保指令的执行顺序不会被重排。这个机制是通过在底层插入内存屏障（memory barriers）来实现的，内存屏障能够阻止指令的重排序。
实际上，JVM提供了几种不同级别的内存屏障，volatile确保变量的读写操作不会被乱序执行。比如，volatile写操作后面可能会插入一个store barrier，而读取操作前面会有一个load barrier，从而保证顺序执行。
volatile与synchronized的区别
面试中，volatile经常和synchronized进行对比。两者的作用都有一定的重叠，但本质上是不同的。synchronized是一个重量级的锁，它不仅保证可见性，还保证原子性和互斥性，适用于需要多线程竞争访问的场景。而volatile只保证可见性，不能保证原子性，所以如果需要对变量进行复合操作（如x++），volatile就不适用了。
举个例子：
class AtomicExample {
private volatile int count = 0; public void increment() {
count++; // 非原子操作
}
}
上述代码中的count++并不是一个原子操作，它包括了读取、加法和写回三个步骤。如果多个线程同时修改count，会出现问题。为了保证原子性，这时候就应该使用synchronized或者AtomicInteger。
volatile的使用场景
状态标志位： 最常见的
volatile使用场景就是用作标志位，控制线程的运行状态。例如，我们可以用volatile来控制线程的停止：class VolatileStopThread {
private volatile boolean stopRequested = false;public void run() {
while (!stopRequested) {
// 线程执行任务
}
}public void stop() {
stopRequested = true; // 设置标志，停止线程
}
}单例模式： 在双重检查锁定（double-checked locking）中，
volatile经常被用来保证单例对象的正确初始化。class Singleton {
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的真正含义，也希望你能在面试中好好利用这个知识点，不再被面试官问得一头雾水！😊
-END-
以上，就是今天的分享了，看完文章记得右下角给何老师点赞，也欢迎在评论区写下你的留言。