在 Java 中，volatile 是一個輕量級的同步機(jī)制關(guān)鍵字，用于修飾字段（變量），其核心作用是：

保證變量的“可見性”和“禁止指令重排序”，但不保證原子性。

下面我們從原理層面詳細(xì)解析 volatile 的工作機(jī)制。

一、三大特性：可見性、有序性、原子性

二、volatile 的底層原理（基于內(nèi)存模型）

1.Java 內(nèi)存模型（JMM）背景

• 每個線程有自己的工作內(nèi)存（緩存、寄存器）
• 所有變量存儲在主內(nèi)存中
• 線程對變量的操作必須先從主內(nèi)存拷貝到工作內(nèi)存，操作后再寫回

問題：如果沒有同步機(jī)制，線程 A 修改了變量，線程 B 可能永遠(yuǎn)看不到新值（因?yàn)樽x的是本地緩存）。

2.volatile 如何解決可見性？

當(dāng)一個字段被聲明為 volatile：

• 寫操作：線程必須將該變量的最新值立即刷新到主內(nèi)存
• 讀操作：線程必須從主內(nèi)存重新讀取該變量的值，而不是使用本地緩存

這相當(dāng)于每次讀寫都強(qiáng)制與主內(nèi)存同步。

3.內(nèi)存屏障（Memory Barrier / Memory Fence）

JVM 在編譯 volatile 讀寫時，會插入內(nèi)存屏障指令，實(shí)現(xiàn)兩個效果：

（1）禁止指令重排序

• 在 volatile 寫之前的操作，不能重排到寫之后
• 在 volatile 讀之后的操作，不能重排到讀之前

例如：

// 假設(shè) flag 是 volatile
a = 1;          // 普通寫
flag = true;    // volatile 寫

→ a = 1 一定發(fā)生在 flag = true 之前，不會被重排序。

（2）強(qiáng)制刷新緩存

• 寫屏障（Store Barrier）：確保寫入主內(nèi)存
• 讀屏障（Load Barrier）：確保從主內(nèi)存加載

這些屏障由 JVM 根據(jù)不同 CPU 架構(gòu)（x86、ARM 等）生成對應(yīng)的底層指令（如 lock 前綴指令）。

三、典型應(yīng)用場景

? 場景 1：狀態(tài)標(biāo)志位（最常見）

public class TaskRunner {
    private volatile boolean running = true;
    public void stop() {
        running = false; // 其他線程能立即看到
    }
    public void run() {
        while (running) {
            // do work
        }
    }
}

若不用 volatile，run() 方法可能因讀取本地緩存而永遠(yuǎn)無法退出。

? 場景 2：單例模式中的雙重檢查鎖定（DCL）

public class Singleton {
    private static volatile Singleton instance;
    public static Singleton getInstance() {
        if (instance == null) {
            synchronized (Singleton.class) {
                if (instance == null) {
                    instance = new Singleton(); // 防止重排序?qū)е挛闯跏蓟瓿删捅灰?
                }
            }
        }
        return instance;
    }
}

如果沒有 volatile，new Singleton() 的三步（分配內(nèi)存、初始化、賦值）可能被重排序?yàn)?ldquo;分配 → 賦值 → 初始化”，導(dǎo)致其他線程拿到未初始化的對象。

? 不適用場景：復(fù)合操作（非原子）

private volatile int count = 0;
public void increment() {
    count++; // 實(shí)際是：讀取 count → +1 → 寫回，非原子！
}

此時應(yīng)使用 AtomicInteger 或加鎖。

四、與 synchronized 的區(qū)別

volatile 是 synchronized 的輕量替代方案，但功能更弱。

五、補(bǔ)充：long 和 double 的特殊性

Java 規(guī)范規(guī)定：

• 對 非 volatile 的 long/double，讀寫可能被拆分為兩個 32 位操作（非原子）
• 對 volatile 的 long/double，JVM 保證讀寫是原子的（64 位一次性操作）

總結(jié)

volatile 的核心原理是：

1. 通過內(nèi)存屏障實(shí)現(xiàn)變量的可見性；
2. 禁止編譯器和處理器重排序，保證有序性；
3. 不提供原子性，不能用于復(fù)合操作。

? 適用條件：

當(dāng)一個變量被多個線程訪問，且滿足：

• 寫操作不依賴當(dāng)前值（如 flag = true）
• 或者只有一個線程寫，其他線程只讀

否則，請使用 synchronized、ReentrantLock 或 java.util.concurrent.atomic 包中的原子類。

如需進(jìn)一步了解內(nèi)存屏障或 JMM 模型，也可以繼續(xù)提問！

到此這篇關(guān)于java中volatile關(guān)鍵字解釋說明的文章就介紹到這了,更多相關(guān)java volatile關(guān)鍵字內(nèi)容請搜索腳本之家以前的文章或繼續(xù)瀏覽下面的相關(guān)文章希望大家以后多多支持腳本之家！

最新評論