編寫健壯 Java 多線程應用：核心 API、常見陷阱（死鎖、活鎖、不可訪問線程）與 AWT/Swing 線程規範

幾乎所有基於 AWT/Swing 的 GUI 應用都需要多線程，但多線程引入的死鎖、競態條件、線程饑餓等問題令初學者望而生畏。本文系統介紹 Java Thread API、同步機制、細粒度鎖、信號量模式、volatile 語義、兩大經典同步陷阱（死鎖、同步失效）、阻塞調用導致的「不可訪問線程」問題、協作式/搶佔式模型下的編程規範，以及 AWT/Swing 事件分發線程（EDT）協作準則，構建多線程開發全景知識圖譜。

一、線程基礎與 Java Thread API

• 線程本質：進程內執行路徑，共享地址空間（堆、方法區），私有棧、PC 寄存器。
• 創建方式：實現 Runnable（推薦）或繼承 Thread，調用 start() 異步啟動，run() 為執行體。
• 生命週期：NEW → RUNNABLE ↔ BLOCKED/WAITING/TIMED_WAITING → TERMINATED。

二、同步與鎖：保護共享資源的基石

1. 內置鎖

• 每個對象關聯一把監視器鎖。
• synchronized 方法/塊隱式獲取/釋放鎖，可重入，異常自動釋放。

2. 細粒度鎖

為提升併發度，將不同共享資源保護域分離：

class FineGrainLock {
    final Object xLock = new Object(), yLock = new Object();
    Data x, y;
    void accessX() { synchronized(xLock) { /* 訪問 x */ } }
    void accessY() { synchronized(yLock) { /* 訪問 y */ } }
    void accessBoth() { 
        synchronized(xLock) { synchronized(yLock) { /* 訪問 x,y */ } } 
        // 固定順序 xLock → yLock 防死鎖
    }
}

3. 信號量模式

控制有限資源（如數據庫連接池）訪問：

class Semaphore {
    private int permits;
    public Semaphore(int n) { permits = n; }
    public synchronized void acquire() throws InterruptedException {
        while (permits == 0) wait();
        permits--;
    }
    public synchronized void release() { permits++; notify(); }
}

現代替代：java.util.concurrent.Semaphore（AQS 實現、公平性、批量操作、可中斷）。

三、常見同步陷阱與解決方案

1. 死鎖

成因：線程 A 持有鎖 1 等待鎖 2，線程 B 持有鎖 2 等待鎖 1，形成環路等待。
預防鐵律：

1. 全局固定鎖獲取順序（按 hashCode、ID、層級排序）。
2. 合併粗粒度鎖：用一把大鎖替代多把細鎖。
3. 嘗試性獲取：Lock.tryLock(timeout) 超時釋放已持有鎖重試。
4. 設計階段審查：繪製鎖依賴圖，靜態分析環路。

2. 同步失效

現象：代碼有 synchronized 但無互斥效果。
根因：不同線程同步於不同鎖對象。典型：synchronized(this) 但 this 為不同 Task 實例。
修正：所有協作線程共享同一把鎖（共享 Runnable 實例、static final 鎖、構造器傳入共享鎖）。

3. Volatile 變量：可見性與有序性

• 保證：寫入對後續讀取可見；禁止指令重排（寫屏障/讀屏障）。
• 不保證：複合操作原子性（volatile int i; i++ 非原子）。
• 適用場景：狀態標誌（volatile boolean shutdown）、單次發布（volatile Helper helper）、獨立狀態變量。

4. 不可訪問線程：阻塞調用持有鎖

場景：同步方法中調用阻塞 IO（socket.read()、ObjectInputStream.readObject()），線程阻塞且**持有鎖不釋放**，導致其他線程無法訪問該對象任何同步方法，甚至無法發送「取消 IO」命令。
解決方案：

1. **禁止在同步塊/方法中調用阻塞 IO**。
2. 將阻塞調用移出同步塊，或使用非阻塞 IO (NIO)。
3. 對象提供非同步的 cancel()/close() 方法，內部調用 socket.close() 釋放阻塞線程。

四、雙線程模型下的編程規範

JVM 規範未強制調度模型，代碼必須同時正確運行於：

• 搶佔式：線程可在任意字節碼處被打斷（除原子操作）。對策：正確同步共享數據訪問。
• 協作式：線程主動讓出 CPU（yield()、sleep()、wait()）。對策：
  1. 不在同步塊中調用 yield()/sleep()（持有鎖讓出 CPU，其他線程獲取不到鎖）。
  2. 同步塊外調用 yield()。
  3. 或用 wait() 釋放鎖並等待（需配合 notifyAll() 喚醒）。

原子操作：32 位及以下變量讀寫（除 long/double）為原子；64 位 long/double 非原子（需 volatile 或同步）。

五、AWT/Swing 線程規範：EDT 協作準則

• EDT 職責：處理所有事件（鼠標、鍵盤、Action）、重繪、佈局。
• 鐵律：耗時任務絕不在 EDT 執行，否則界面凍結。
• 事件監聽器：actionPerformed 等回調在 EDT 運行，需快速返回；耗時邏輯提交給後台線程（ExecutorService、SwingWorker）。
• 非 EDT 更新 UI：必須用 SwingUtilities.invokeLater(Runnable)（異步）或 invokeAndWait(Runnable)（同步，慎用死鎖風險）提交給 EDT。
• SwingWorker：後台任務 + EDT 回調結果的標準模式（JDK 6+ 內置）。

六、總結：多線程開發檢查清單

1. [ ] 共享可變數據受保護（synchronized / Lock / JUC 容器 / 原子類）。
2. [ ] 鎖對象 final，粒度適中，獲取順序固定防死鎖。
3. [ ] 協作用 Condition / BlockingQueue / CountDownLatch 等高級同步器，避免手寫 wait/notify。
4. [ ] volatile 僅用於單一變量可見性/有序性，非複合操作。
5. [ ] 同步塊嚴禁阻塞 IO，提供非同步取消/關閉方法。
6. [ ] 不依賴優先級/調度器行為，顯式同步構建正確性。
7. [ ] Swing 應用：EDT 只做 UI，耗時任務後台跑，invokeLater 回調更新 UI。
8. [ ] 壓測、jstack 分析、Java Mission Control 監控，驗證併發性能與穩定性。

多線程難在正確性而非語法。遵循原則、善用工具、嚴格測試，方能馴服併發之獸。