Java 多線程核心問題總結：阻塞、死鎖、守護線程、線程組與選型指南

前言

Java 多線程功能強大，但正確使用需深入理解阻塞機制、死鎖風險、線程生命週期管理及架構選型。本文系統梳理核心問題與最佳實踐。

一、線程阻塞與死鎖

常見阻塞方法

• Thread.sleep()：釋放 CPU，不釋放鎖，指定時間後可運行。
• Object.wait()：釋放鎖，進入等待集，需 notify()/notifyAll() 喚醒。
• Thread.join()：等待目標線程終止。
• LockSupport.park()：底層阻塞原語，配合 unpark()。

死鎖根因與避免

• 原因：suspend()（已棄用）、無超時 wait()、多鎖獲取順序不一致。
• Java 語言級無死鎖避免機制，開發者須自行保證：
  1. 固定鎖獲取順序（如按 hashCode 排序）。
  2. 使用 tryLock(timeout) 替代無限等待。
  3. 減少鎖持有範圍，避免嵌套鎖。
  4. 採用無鎖數據結構（ConcurrentHashMap, LongAdder 等）。

建議：優先使用 java.util.concurrent 高級組件（ReentrantLock, CountDownLatch, Semaphore, CompletableFuture），減少手動 wait/notify。

二、守護線程

• 定義：非核心服務線程（如 GC、JIT 編譯、應用級後台任務）。
• 特性：所有非守護線程結束 → JVM 退出，無論守護線程是否仍在運行。
• API：

  thread.setDaemon(true);  // 必須在 start() 前調用
  thread.isDaemon();       // 判斷
  

• 場景：定時清理、心跳監控、緩存刷新等輔助任務。

三、線程組

• 概念：ThreadGroup 樹狀結構管理線程，根為 system 組。
• 功能：
  1. 批量操作：setMaxPriority(), interrupt(), stop()(棄用) 等對組內所有線程生效。
  2. 安全隔離：不同組應用不同安全策略，支援層級權限控制。
  3. 結構查詢：activeCount(), enumerate(), getParent() 等。
• 創建：new ThreadGroup("name") 或指定父組。線程創建時指定組，生命周期不可變更。

四、何時使用多線程？決策矩陣

五、現代最佳實踐

1. 線程池：Executors 工廠或自定義 ThreadPoolExecutor，配置核心/最大線程、隊列、拒絕策略、ThreadFactory（命名、守護屬性）。
2. 結構化並發：JDK 21+ StructuredTaskScope 自動管理子任務生命週期、異常傳播、取消傳播。
3. 虛擬線程：JDK 21+ Thread.ofVirtual()，輕量級、適合高併發 IO，無需池化。
4. 不可變數據 + 函數式：CompletableFuture 鏈式組合，避免共享可變狀態。
5. 監控診斷：jstack, JFR, Async-profiler 定位死鎖、活鎖、線程飢餓。

結語

多線程本質是「以空間（線程棧、上下文切換）換時間（並行吞吐）」。理解阻塞語義、死鎖條件、守護/組機制，並在架構層面決策是否引入並發，才能寫出高效、穩健的並發程序。拥抱 java.util.concurrent 與虛擬線程，讓並發編程回歸業務邏輯本身。