Java 多線程：volatile 關鍵字深度解析與實戰驗證

現象複現

兩個線程並發讀寫共享變量 int i，未加 volatile 時輸出交錯且數值「跳躍」；加上 volatile 後，雙線程輸出嚴格遞增、交替有序。

volatile 兩大核心語義

1. 可見性：寫入 volatile 變量時，JMM 會強制刷新到主內存，並使其他線程本地快取失效，下次讀取必須從主內存獲取最新值。
2. 禁止指令重排序：編譯器與 CPU 不會將 volatile 讀寫與其前後的操作重排，保證 happens-before 關係。

為何無 volatile 時仍能看到「變化」？

• 現代 CPU 多核架構下，緩存一致性協議（MESI）會在總線層面同步緩存行，導致線程間「偶爾」可見最新值，但**不可靠**，屬於未定義行為。
• 示例中 Thread.sleep(10) 觸發上下文切換，間接促使緩存同步，製造「看似正常」的輸出假象。
• 實際生產環境下，若無 volatile，線程極大概率讀到舊值，導致業務邏輯錯誤（如標誌位失效、雙重檢查鎖失效）。

適用場景與局限

最佳實踐建議

1. 優先使用 java.util.concurrent.atomic 原子類（AtomicInteger 等）替代 volatile + CAS 手寫邏輯。
2. 配合 synchronized 或 Lock 解決複合操作原子性問題。
3. 理解 JMM happens-before 規則：volatile 寫 happens-before 後續對同變量的讀。
4. 避免濫用 volatile，過度使用會抑制編譯器優化，影響性能。

結論：volatile 是輕量級同步工具，核心解決「可見性」與「有序性」，但**不保證原子性**。正確使用需結合業務場景與 JMM 模型深度理解。