Java 多執行緒除錯實戰：從死鎖到資料競爭的定位與預防

為什麼多執行緒除錯如此困難？

單步除錯會改變執行時序，掩蓋競爭條件；錯誤往往非決定性重現。核心策略：以執行緒為中心觀察，而非單步追蹤指令。

四大經典多執行緒錯誤類型

同步化最佳實踐

1. synchronized 關鍵字

public void addElement(Patient p) {
    synchronized (lock) {  // 明確鎖物件，避免 this 洩漏
        Log query = incomingPatient.getLog();
        Result[] results = query.getAllSearchResults();
        for (Result r : results) {
            // 更新共享表格模型
            setMaxColSize(table);
            tableContents.add(table);
        }
    }
}

• 同步區塊越小越好，避免在裡面呼叫 I/O、睡眠、第三方代碼。
• JVM 實作差異可能導致跨平台行為不同，必須在多 OS 測試。

2. 避開常見陷阱

• 永不使用 Thread.stop()： 強制釋放鎖導致資料不一致，Java 2 已棄用。正確做法：volatile boolean running 標誌位 + interrupt() 協作式停止。
• 不要重啟已終止執行緒： start() 僅能呼叫一次，需建立新實例。
• 長時間計算主動讓出 CPU：

  for (int i=0; i<10000; i++) {
      for (int j=0; j<10000; j++) { heavyCalc(); }
      Thread.yield();  // 讓同優先級執行緒獲得時間片
  }

• long/double 非原子寫入： 32 位 JVM 可能拆成兩次 32 位寫入，造成資料撕裂。解決：volatile 或同步區塊保護。

除錯工具與技巧

• JStack / VisualVM： 產生 Thread Dump，檢查 BLOCKED、WAITING 狀態執行緒，定位死鎖鏈。
• JConsole / JMX： 即時監控執行緒數、死鎖偵測、堆疊採樣。
• Java Flight Recorder (JFR)： 低開銷持續錄製事件，事後分析鎖競爭熱點。
• 斷點條件過濾： 只在特定執行緒名稱/ID 命中，避免干擾時序。

結語

多執行緒錯誤 80% 源自共享可變狀態。首選不可變設計、ThreadLocal、並發集合；必須共享時，用最小粒度同步並配合靜態分析工具（SpotBugs、Error Prone）掃描潛在競爭。除錯時「觀察執行緒狀態」勝過「單步執行指令」。