Java volatile 關鍵字深度解析：可見性、有序性與雙重檢查鎖實戰

Java volatile 關鍵字深度解析：可見性、有序性與雙重檢查鎖實戰

volatile 是 Java 並發編程中「輕量級的同步機制」，僅修飾變量，不提供原子性，但保證可見性與有序性，禁止指令重排序。本文從底層原理、兩大核心語義、經典應用場景三個維度深度剖析。

一、核心語義

二、可見性實戰：線程安全停止標志

❌ 錯誤示例：普通變量導致無限循環

// 線程 1
boolean stop = false;
while (!stop) { doSomething(); }

// 線程 2
stop = true; // 可能永遠不被線程 1 看到！

原因：線程 1 將 stop 複製到工作內存（CPU 緩存），線程 2 修改主存值未及時刷新/通知，線程 1 繼續讀取舊值。

✅ 正確示例：volatile 保證可見性

volatile boolean stop = false;
// 線程 2 寫入時：強制刷新主存 + 發送總線信號使其他 CPU 緩存行失效
// 線程 1 讀取時：發現緩存行無效，從主存重新加載最新值

三、有序性實戰：雙重檢查鎖 (DCL) 單例模式

問題背景：instance = new Singleton() 非原子操作，分三步：

1. 分配內存
2. 初始化對象
3. 引用指向內存地址

JVM 允許 2、3 重排序，導致其他線程看到「非 null 但未初始化完成」的對象。

✅ volatile 修復 DCL

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

    private Singleton() {}

    public static Singleton getInstance() {
        if (instance == null) {                    // 第一次檢查（無鎖，高性能）
            synchronized (Singleton.class) {       // 加鎖
                if (instance == null) {            // 第二次檢查
                    instance = new Singleton();    // 初始化（volatile 保證有序）
                }
            }
        }
        return instance;
    }
}

原理：volatile 寫屏障確保「初始化完成」先於「引用賦值」對其他線程可見，讀屏障確保獲取引用後能見到完整初始化狀態。

四、volatile vs synchronized vs Lock

五、常見誤區與最佳實踐

1. ❌ 誤以為 volatile 保證原子性：volatile int count; count++; 仍非線程安全（讀-改-寫三步），需用 AtomicInteger 或 synchronized。
2. ✅ 適用場景：
   • 狀態標志位（volatile boolean running）
   • 單次初始化發布（DCL、工廠模式）
   • 獨立觀察者模式（配置熱加載標志）
3. ✅ 配合 final 使用：final volatile 針對對象引用不可變 + 狀態可見
4. ✅ Java 9+ VarHandle：提供更細粒度的內存語義控制（VarHandle.VOLATILE）

六、參考資源

• 《Java 並發編程的藝術》第 3 章
• JSR-133 Java Memory Model FAQ
• 博客推薦：volatile 關鍵字深度解析