Java 多線程與並發編程全景總結：從 JMM 到鎖優化的系統性知識圖譜

導讀

本文系統梳理 Java 並發編程核心知識體系：Java 內存模型 (JMM)、線程實現與調度、同步機制、鎖優化、線程安全類別、常用 API、死鎖與最佳實踐。適合作為面試複習、架構設計參考、疑難排查速查手冊。

一、Java 內存模型 (JMM) —— 並發語義基石

1.1 核心抽象

• 主內存：所有共享變量 (堆中實例字段、靜態字段、數組元素) 存儲地。
• 工作內存：每條線程私有，保存共享變量副本，線程只能操作工作內存，不可直接讀寫主內存。
• 線程間通信：必須經由主內存中轉 (工作內存 → 主內存 → 工作內存)。

1.2 八大原子操作

規則：read/load、store/write 必須成對出現；不允許無 assign 的 store；新變量只能在主內存誕生；同一時刻僅一線程可 lock；lock 會清空工作內存副本；unlock 前必須同步回主內存。

1.3 volatile 語義

• 可見性：寫入 volatile 變量立即刷新到主內存，讀取時強制從主內存載入。
• 有序性：禁止指令重排優化 (內存屏障)；不保證原子性 (複合操作如 i++ 仍需同步)。
• 適用場景：狀態標誌、單次寫入多次讀取、DCL 單例 (JDK 5+)。

1.4 三大特性總結

1.5 Happens-Before 八條規則

1. 程序順序規則：線程內按代碼順序。
2. 管程鎖定規則：unlock → 後續 lock。
3. volatile 變量規則：寫 → 後續讀。
4. 線程啟動規則：start() → 線程內任意操作。
5. 線程終止規則：線程內操作 → join()/isAlive() 返回。
6. 線程中斷規則：interrupt() → 中斷檢測。
7. 對象終結規則：構造器完成 → finalize()。
8. 傳遞性：A hb B, B hb C ⇒ A hb C。

本質：前一操作的結果對後一操作可見。與物理時間順序無關。

二、線程實現與調度

2.1 實現模型演進

2.2 調度策略

• 搶佔式：OS/JVM 分配時間片，線程不可控制執行時長 (Java 採用)。
• 優先級：1~10 (默認 5)，僅作提示，平台映射可能導致優先級倒置/合併，不應依賴優先級控制業務邏輯。

2.3 線程六大狀態

NEW → RUNNABLE ↔ BLOCKED (等待鎖)
            ↓
       WAITING (無超時等待: wait/join/park)
            ↓
    TIMED_WAITING (有超時等待: sleep/wait(n)/join(n)/parkNanos)
            ↓
       TERMINATED

三、線程安全分級與實現策略

3.1 五級分類

1. 不可變：String、Long、enum、final 基本類型/引用。天生線程安全。
2. 絕對線程安全：CopyOnWriteArrayList、ConcurrentHashMap、AtomicInteger。單獨操作安全，復合操作需額外同步。
3. 相對線程安全：Vector、Hashtable、Collections.synchronizedXxx。單方法安全，疊加調用需外部同步。
4. 線程兼容：ArrayList、HashMap、StringBuilder。需調用方同步。
5. 線程對立：System.setIn/Out/Err、Thread.stop/suspend/resume (已棄用)。多線程下必然出錯。

3.2 同步機制對比

四、鎖優化進階 (HotSpot 實現)

4.1 鎖升級路徑

無鎖 → 偏向鎖 → 輕量級鎖 → 重量級鎖
(單線程)   (無競爭)     (輕度競爭)    (激烈競爭)

4.2 四種鎖狀態對比

4.3 關鍵優化技術

• 自旋鎖：避免阻塞/喚醒內核切換，-XX:PreBlockSpin=10 默認 10 次，適應性自旋根據歷史調整。
• 鎖消除：逃逸分析證明無共享競爭 → JIT 刪除同步代碼。
• 鎖粗化：連續零碎同步合併為大塊，減少鎖獲取/釋放次數。
• 偏向鎖關閉：-XX:-UseBiasedLocking (JDK 15 默認關閉，JDK 18 移除)，高競爭場景偏向鎖反而增加開銷。

五、常用並發工具類速查

六、死鎖、活鎖、飢餓與排查

6.1 死鎖四必要條件 (Coffman 條件)

1. 互斥：資源獨佔。
2. 請求與保持：持有資源同時請求新資源。
3. 不剝奪：資源只能主動釋放。
4. 循環等待：環狀等待鏈。

6.2 代碼級死鎖示例

// 嵌套鎖順序不一致
Thread A: synchronized(lock1) { synchronized(lock2) { ... } }
Thread B: synchronized(lock2) { synchronized(lock1) { ... } }
// 可能形成 A 持有 1 等 2，B 持有 2 等 1

6.3 預防與排查

• 有序加鎖：全局統一獲取鎖順序 (如按 System.identityHashCode 排序)。
• 定時嘗試鎖：lock.tryLock(timeout) 避免無限等待。
• 避免嵌套鎖：重構為單一鎖或無鎖數據結構。
• 排查工具：jstack -l pid 產生線程快照，搜索 BLOCKED 和 waiting to lock；Arthas thread -b 自動檢測死鎖鏈。

七、核心 API 速查表

八、最佳實踐清單

1. 優先使用高級組件：BlockingQueue、CompletableFuture、ConcurrentHashMap、LongAdder，減少手寫同步。
2. 鎖粒度最小化：只同步必要代碼，避免在同步塊中調用 I/O、RPC、睡眠。
3. 不可變優先：final、Collections.unmodifiableXxx、Record (JDK 14+)。
4. 線程池統一管理：ThreadPoolExecutor 七大參數精確控制，拒絕策略覆蓋業務降級邏輯。
5. ThreadLocal 必清理：try { ... } finally { threadLocal.remove(); }，防內存洩漏 (線程池復用場景)。
6. 異常處理不吞沒：catch (InterruptedException e) { Thread.currentThread().interrupt(); throw new RuntimeException(e); } 保持中斷語義。
7. 壓測驗證並發安全：JMeter、ConcurrencyTestRunner (JCStress) 驗證線程安全性。

總結

Java 並發編程是「共享可變狀態」與「同步協調機制」的博弈。掌握 JMM happens-before 語義、鎖升級與優化、AQS 框架原理、高級組件組合、死鎖預防與排查 五大支柱，配合 Arthas、JFR、JCStress 等觀測工具，能構建高吞吐、低延遲、穩定可靠的並發系統。記住：簡單則用 synchronized，複雜則用 Lock/Condition，極致則用無鎖/CAS/不可變。

1. 上一篇文章： HTML file 控件樣式美化與文件上傳最佳實踐：從原生到定製化完整指南
2. 下一篇文章： Servlet 獲取 HTML 表單多值參數：Select 多選、Radio、Checkbox、同名 Input 完整指南

Java 相關知識

Java 數據結構精講：隊列原理、循環隊列實現與生產級替代方案

隊列核心定義 隊列 是先進先出（FIFO, First In

基於 Apache Axis 發布與調用 WebService 完整實戰指南

Apache Axis 是經典的 Java Web Serv

GEF 入門系列（九）：提升編輯器易用性——調色板、縮放、網格、對齊、標尺全攻略

1. 可折疊調色板 繼承 GraphicalEditorWi

JavaMail 發送郵件完整教學：從 James Server 搭建到帶附件發送實戰

郵件協議基礎 協議全稱用途預設埠 SMTPSimpl