Java volatile 關鍵字：不能保證原子性與線程安全的深度解析

核心結論

volatile 保證：可見性（寫入對其他線程立即可見）、有序性（禁止指令重排序）。
不保證：原子性（複合操作不可分割）。

為什麼不保證原子性？

多 CPU 核心架構下：

1. 線程 A 讀取 volatile int x 到寄存器
2. 線程 A 修改寄存器值 x+1
3. 寫回主存前，線程 B 也讀取了舊值 x
4. 線程 B 修改並寫回 x+1
5. 線程 A 寫回 x+1（覆蓋 B 的結果）
6. 結果：兩次遞增，值只加 1

volatile 強制每次讀寫主存，但「讀-改-寫」三步仍可被交叉執行，無法合併為單一原子指令。

代碼演示

class Counter {
    volatile int count = 0;
    public void increment() { count++; } // 非原子！
}

// 1000 個線程各遞增 1000 次，預期 1,000,000，實際遠小於此

volatile 適用場景 vs 不適用場景

保證原子性的正確方案

1. AtomicInteger：atomic.incrementAndGet() (CAS 底層)
2. synchronized：鎖住複合操作
3. Lock：ReentrantLock 精細控制
4. ThreadLocal：避免共享

內存模型視角 (JMM)

• volatile 插入 LoadLoad、LoadStore、StoreStore 屏障，禁止重排序
• 但無 StoreLoad 屏障（需 synchronized 或 Lock），故無法保證「寫後讀」原子性
• 單個 volatile 讀/寫是原子的 (32位以基本類型)，但複合操作非原子

總結

volatile = 輕量級同步，適用於單一變量的狀態標記。任何「讀取-計算-寫入」模式的複合操作，必須用原子類或鎖。誤以為 volatile 能解決計數器線程安全是經典陷阱。

1. 上一篇文章： C++ 團隊項目模塊化拼裝：頭文件聲明與獨立編譯實踐
2. 下一篇文章： Java 方法參數與泛型參數的區別：泛型是類型參數化機制

程式設計綜合問答

C++/MFC 監聽 PowerPoint 播放事件或控制 PPT 播放的實作方案

需求分析 欲在 PowerPoint 簡報播放時觸發自訂程式

iOS UITableView 自定義 Cell 中 TextField 輸入完成自動跳轉下一個輸入框實現方案

場景描述 表單頁面包含多個自定義 Cell，每個 Cell

C++ 陣列排序後對應輸出原始球隊名稱：使用結構體或 Map 關聯資料

問題情境 陣列元素代表球隊，隨機分配數值後依數值排序，需輸出

C# 查找 0/1 數組中連續 1 的段數、起止位置完整實現

需求 輸入如 0000111000111000 的字符串，輸