JVM 並發編程：Java 內存模型 (JMM) 核心規範與 Happens-Before 原則深度解析

前言

Java 內存模型 (JMM) 是並發編程的基石，定義了線程與主內存交互的語義規範。本文系統梳理 JMM 核心概念（主內存/工作內存、八大操作、volatile/long/double 特殊規則）、三大特性（原子性/可見性/有序性）、以及 Happens-Before 八大法則，構建並發正確性推理的理論基石。

一、主內存與工作內存

• 主內存：共享內存區域，存儲所有實例對象、靜態字段、數組元素等共享變量
• 工作內存：線程私有，存儲共享變量的副本 (緩存行、寄存器、編譯器優化後的值)
• 交互規則：線程只能操作工作內存，讀寫主內存需通過八大原子操作；線程間通信必須經主內存中轉

二、內存交互八大原子操作

三、操作約束規則 (JMM 強制要求)

1. 配對完整性：不允許 read/load、store/write 單獨出現 (即不允許只讀不載入、只存不寫入)
2. 不丟棄賦值：線程對工作內存的 assign 操作結果，必須最終同步回主內存 (store/write)
3. 無因同步禁止：未發生 assign 操作，不允許將工作內存數據同步回主內存
4. 變量誕生規則：新變量只能在主內存「誕生」；工作內存不可直接使用未初始化變量 (use/store 前必須經 assign/load)
5. 鎖唯一性：同一時刻僅允許一線程 lock 同一變量；可重入 (同一線程多次 lock)；需同次數 unlock 才釋放
6. 鎖清空副本：lock 操作清空工作內存該變量副本；使用前需重新 load/assign 初始化
7. 非法解鎖禁止：未 lock 的變量不可 unlock；不可 unlock 其他線程鎖定的變量
8. 解鎖前同步：unlock 前必須先 store/write 將變量同步回主內存

四、特殊類型變量規則

1. volatile 變量特殊語義

• 可見性保證：對 volatile 寫入對所有線程立即可見 (實際上：寫入前插入 StoreLoad 屏障，讀取後插入 LoadLoad+LoadStore 屏障)
• 禁止指令重排序：編譯器/處理器不會將 volatile 讀寫與相鄰內存操作重排序
• 非原子性：volatile 僅保證單次讀/寫原子，複合操作 (如 volatile int i; i++) 仍非原子，需配合 AtomicInteger 或 synchronized

2. long/double 非原子性協定

• JMM 允許將未被 volatile 修飾的 64 位讀寫拆分為兩次 32 位操作
即：load/store/read/write 四操作可不保證 64 位原子性
• 實踐建議：多線程環境下 64 位數據 (long/double) 必須聲明 volatile 或使用 AtomicLong/AtomicDouble/LongAdder/DoubleAdder

五、並發三大特性

核心洞察：單線程內表現為有序 (as-if-serial)；多線程觀察彼此則表現為無序 (指令重排、緩存延遲)。JMM 通過 happens-before 建立跨線程的有序性承諾。

六、Happens-Before 八大法則

若操作 A happens-before 操作 B，則 A 的影響 (內存寫入、消息發送、方法調用等) 對 B 可見。

七、實戰推理案例：雙重檢查鎖單例 (DCL)

public class Singleton {
    private volatile static Singleton instance; // 關鍵：volatile
    
    public static Singleton getInstance() {
        if (instance == null) {                    // 1. 讀取 instance (volatile read)
            synchronized (Singleton.class) {       // 2. lock
                if (instance == null) {            // 3. 讀取 instance (volatile read)
                    instance = new Singleton();    // 4. 構造對象 + 寫入 instance (volatile write)
                }
            }                                      // 5. unlock
        }
        return instance;                           // 6. 讀取 instance (volatile read)
    }
}

HB 推理鏈路

1. 線程 A 執行 instance = new Singleton() (步驟 4)，包含：分配內存、初始化對象、將引用寫入 instance (volatile write)
2. 根據 volatile 寫 HB volatile 讀：步驟 4 的 volatile write HB 線程 B 後續的 volatile read (步驟 6)
3. 根據 程序次序規則：對象初始化內存寫入 HB 步驟 4 的 volatile write (單線程內)
4. 根據 傳遞性：對象初始化 HB 線程 B 的 volatile read → 線程 B 看到完全初始化的對象
5. 若無 volatile：步驟 4 可能重排序為 (分配內存 → 寫入引用 → 初始化對象)，線程 B 讀到非 null 但未初始化完成的引用 → 空指針/數據錯誤

八、總結

JMM 通過「主/工作內存抽象、八大原子操作、操作約束規則、特殊類型語義」定義了並發語義基礎；通過「原子性/可見性/有序性」三大特性刻畫並發正確性要求；通過「Happens-Before 八大法則」提供跨線程可見性與有序性的形式化推理工具。掌握 JMM 核心規範，能從理論層面證明 volatile/synchronized/final/Lock 等並發手段的正確性邊界，指導無鎖算法設計、並發 Bug 根因分析、高性能並發組件構建。建議開發者熟練運用 HB 圖推理並發代碼正確性，將並發編程從「經驗堆砌」提升到「數學證明」層級。