Java 記憶體模型深度解析：執行緒棧、堆、硬體記憶體架構、volatile 與同步

JMM 邏輯視圖：執行緒棧與堆

• 執行緒棧：每條執行緒私有，存放區域變數 (基本型別直接存值、引用型別存指向堆物件的參考)、呼叫框架
• 堆：所有執行緒共享，存放所有物件 (含基本型別包裝物件)、靜態欄位

區域變數不可見於其他執行緒；物件在堆上對所有持有參考的執行緒可見。

硬體記憶體架構對應

• CPU 寄存器 → 最快、執行緒私有
• CPU 快取 (L1/L2/L3) → 次快、核心私有或共享
• 主記憶體 (RAM) → 最慢、所有核心共享

JMM 規範變數何時在執行緒間可見，對應硬體的快取一致性協定 (MESI 等)。

兩大核心問題

1. 共享變數可見性

執行緒 A 修改堆上物件，未刷新至主記憶體前，執行緒 B 讀取舊值。

// 解決：volatile 強制讀寫主記憶體
volatile int count = 0;

2. 競態條件

多執行緒同時讀修寫同一變數 (如 count++ 非原子)。

// 解決：synchronized 互斥 + 記憶體屏障
synchronized(lock) { count++; }

volatile 語義 (JSR-133)

• 可見性：寫入 volatile 立即刷新主記憶體，讀取立即從主記憶體載入
• 禁止指令重排：寫入前的操作不會重排到寫入後，讀取後的操作不會重排到讀取前
• 不保證原子性：volatile int i; i++; 仍非原子

synchronized 語義

• 互斥：同一時間僅一執行緒進入臨界區
• 可見性：進入同步塊前讀取主記憶體，退出時刷新主記憶體
• 可重入：同一執行緒可重複獲得鎖

實務建議

常見誤區

• volatile 替代 synchronized (原子性缺失)
• 雙重檢查鎖單例未加 volatile (指令重排導致半初始化物件可見)
• synchronized 方法鎖住整個物件，粒度過粗

1. 上一篇文章： Java 英文單詞分類速查：JDK/JVM、基礎語法、OOP、異常、集合、IO、GUI、Swing
2. 下一篇文章： Java 字符串深度解析：String、StringBuffer 與 StringBuilder 的核心差異與效能優化

Java 相關知識

HttpClient 3.x 模擬網站自動登錄發帖回復實戰框架設計與代碼詳解

背景：HttpClient 3.1 仍是輕量級爬蟲/自動化首

Eclipse + MinGW + Qt 整合開發環境完整建置指南

元件下載與安裝 1. Eclipse IDE for C/C

用 Java 重寫經典：打造屬於你的《星際爭霸》遊戲

專案簡介 提到《星際爭霸》，相信許多玩家都不陌生。這款經典的

Java 多執行緒同步機制詳解：synchronized、死鎖與最佳實務

什麼是執行緒同步？ 當多個執行緒同時存取共享資源（變數、檔案