Java 併發核心：volatile 關鍵字原理、使用場景與記憶體屏障深度解析

Java 併發核心：volatile 關鍵字原理、使用場景與記憶體屏障深度解析

在「Java 併發程式設計」系列中，我們已介紹 synchronized、鎖優化、線程協作。本文聚焦 volatile——Java 提供的輕量級同步機制，解決可見性與有序性問題，但不保證複合操作的原子性。理解其底層原理（happens-before、記憶體屏障），是寫出正確高效併發程式的關鍵。

一、volatile 的核心作用

誤區警示：許多開發者以為加上 volatile 就能保證線程安全，實則僅適用於「寫入不依賴當前值」且「不參與不變式」的場景。

二、三大經典使用場景

1. 防止指令重排序：雙重檢查鎖單例模式

public class Singleton {
    public static volatile Singleton instance; // 關鍵：禁止重排序

    private Singleton() {}

    public static Singleton getInstance() {
        if (instance == null) {                    // 第一次檢查
            synchronized (Singleton.class) {       // 加鎖
                if (instance == null) {            // 第二次檢查
                    instance = new Singleton();    // 非原子：分配→初始化→賦值
                }
            }
        }
        return instance;
    }
}

原理：new Singleton() 實際分三步：① 分配記憶體 ② 初始化物件 ③ 將參考指向記憶體。處理器可能重排為 ①→③→②，導致其他線程見到「非 null 但未初始化」的物件。volatile 禁止此重排序。

2. 實現可見性：共享旗標變數

class VolatileTest {
    int a = 1, b = 2; // 非 volatile

    void change() { a = 3; b = a; }
    void print()  { System.out.println("b=" + b + ";a=" + a); }
}

多線程並發執行時，可能出現 b=3;a=1（a 寫入未對其他線程可見）。將 a、b 改為 volatile 後，該異常結果消失。

3. 保證 long/double 單次讀寫原子性

JLS 17.7 規定：非 volatile 的 long/double 可能被拆為兩次 32 位操作，導致「撕裂讀取」。volatile 強制單次原子讀寫。

三、底層原理：happens-before 與記憶體屏障

JSR-133 happens-before 規則（節選）

• 程式順序規則：單線程內前操作 hb 後操作（但允許重排序，只要單線程結果一致）
• 鎖規則：unlock hb 後續 lock
• volatile 規則：volatile 寫 hb 後續 volatile 讀
• 線程啟動規則：start() hb 線程內操作
• 線程結束規則：線程操作 hb join() 返回
• 傳遞性：a hb b ∧ b hb c ⇒ a hb c

JMM 對 volatile 重排序限制表

結論：volatile 讀/寫不可與任何操作重排序，形成強順序點。

記憶體屏障實現

JVM 透過插入處理器指令屏障實現上述語義：

插入策略：

• volatile 寫前：StoreStore
• volatile 寫後：StoreLoad
• volatile 讀後：LoadLoad + LoadStore

實例：JVM 插入屏障示意

int a, b; volatile int v, u;
void f() {
    int i, j;
    i = a; j = b;           // 普通讀
    i = v;                  // LoadLoad
    j = u;                  // LoadStore
    a = i; b = j;           // 普通寫
    v = i;                  // StoreStore
    u = j;                  // StoreLoad
    i = u;                  // LoadLoad + LoadStore
    j = b; a = i;
}

四、volatile vs synchronized：如何選擇？

僅當同時滿足以下條件時，可用 volatile 替代 synchronized：

1. 寫入變數值不依賴當前值（如單純賦值、狀態標記）
2. 該變數未包含在含其他變數的不變式中（如不需配合其他變數檢查）

否則請使用 synchronized、Lock 或 Atomic* 類別。

五、總結

• volatile 是併發編程的輕量級優化工具，解決可見性與有序性。
• 核心機制：強制刷新主記憶體 + 失效其他線程快取 + 禁止指令重排序。
• 底層依賴 happens-before 規則 與 記憶體屏障 實現。
• 不能替代 synchronized，適用場景嚴格受限。
• 理解其原理，才能在高併發系統中正確選擇同步策略，避免難以重現的 Bug。