前言
Optimizeit Thread Debugger (Borland) 專注於 Java 多執行緒程式的動態分析，透過插桿 JVM 收集執行緒狀態、監視器爭用、死鎖與活鎖等關鍵資訊。本文依官方 Quick Tour 流程，詳細說明核心視窗與分析技巧。
一、環境準備與啟動
- 預設支援 JDK 1.4/1.4.1，可於手冊中設定其他 VM。
- 啟動方式：File → New Setting，選擇 Application，主類別指定
ThreadDExample，來源路徑加入 quicktour 目錄，勾選 Open a console (程式需互動輸入)。
二、執行緒活動監視視窗 — 核心儀表板
預設開啟，以時間軸呈現每條執行緒的狀態色條：
| 顏色 | 狀態 | 說明 |
|---|
| 綠色 | Running | 正在使用 CPU 執行 |
| 黃色 | Blocked | 嘗試進入 Monitor 遭阻塞 |
| 紅色 | Waiting | 等待 Monitor notify/其他執行緒釋放資源 |
| 紫色 | I/O Waiting | Native 程式碼執行 I/O，未使用 CPU |
色條中的點狀標記表示狀態更新延遲；斜體執行緒名稱代表該執行緒已結束。
三、關鍵分析視圖
1. I/O Waiting View — 定位阻塞程式碼
- 雙擊執行緒色條中的紫色區段 → 開啟原始碼視窗，精確定位到
System.in.read() 等呼叫行。
2. Contention View — 分析 Monitor 爭用
- 選取時間區間 (拖曳色條黃色區段) → 點擊 Contention View。
- 顯示該區間內所有 Monitor 爭用統計：阻塞時間佔比、爭用執行緒清單、爭用方法堆疊。
- 雙擊方法名 → 開啟原始碼，並標示多執行緒同時嘗試取得同一 Monitor 的程式碼位置。
3. Waiting View — 分析等待通知
- 同樣選取時間區間 (紅色區段) → 點擊 Waiting View，檢視
wait() 呼叫點與喚醒路徑。
四、實戰案例：縮小 Critical Section 減少爭用
問題程式碼
synchronized (lock) {
a = dataSourceA.nextElement();
b = dataSourceB.nextElement();
processData(a, b); // 模擬 1ms I/O，導致長時間持有 Monitor
}
10 消費者執行緒爭用同一 Monitor，每執行緒實際 CPU 僅數 ms，卻阻塞近 1 秒。
優化後程式碼
synchronized (lock) {
a = dataSourceA.nextElement();
b = dataSourceB.nextElement();
}
processData(a, b); // 移出同步區塊
爭用時間從秒級降至毫秒級，吞吐量大幅提升。
五、死鎖偵測與分析
1. Monitor View — 即時死鎖拓撲
- 點擊 Monitor View，顯示所有執行緒與 Monitor 的持有/等待關係圖。
- 節點顏色對應執行緒狀態；點擊連線可檢視堆疊追蹤與原始碼。
- 死鎖發生時，圖形會凍結，需重新整理才能繼續監控。
2. Monitor Usage Analyzer — 靜態死鎖風險掃描
- 啟動 Analyzer (設定視窗勾選 Start Analyzer 或手動點擊 Record)。
- 執行死鎖測試案例 (輸入 3)，Analyzer 記錄所有同步活動，偵測三類風險模式：
| 風險類型 | 描述 | 嚴重度 |
|---|
| Lock Ordering | 兩執行緒以不同順序進入相同 Monitor 集合 | 高 — 極易導致死鎖 |
| Lock-and-Wait | 持有 Monitor A 時等待 Monitor B | 中 — 若資源保護合理則可接受 |
| Lock-and-I/O-Wait | 持有 Monitor 時執行 I/O 阻塞 | 中 — 同 Lock-and-Wait |
- 分析視窗列出警告/錯誤清單，雙擊可跳轉原始碼定位風險點。
六、活鎖與 Monitor 進入頻率分析
- Monitor Enter View：選取執行緒/時間區間 → 檢視進入 Monitor 的次數、持有時間統計。
- 範例：
main 執行緒進入 22 個 Monitor，可作為鎖粒度優化依據。
七、最佳實踐摘要
- **Critical Section 極小化** — 僅包含必須受保護的共享狀態存取。
- **避免在同步區塊執行 I/O** — 除非專門保護 I/O 描述符。
- **統一鎖獲取順序** — 全系統固定巢狀鎖層級。
- **不在持有鎖時呼叫公共 synchronized 方法** — 避免隱性巢狀鎖。
- **善用 Analyzer 進行靜態掃描** — 釋出前必跑，攔截潛在死鎖。
參考資源
- Optimizeit Thread Debugger User Guide (安裝目錄
doc/thread_debugger/quicktour)。
- 白盒測試社群：WhiteBoxTestCN (含完整 Word 文件下載)。
- 上一篇文章： 升級至 J2SE 5.0 的五大核心理由：效能、開發效率與任務關鍵級就緒
- 下一篇文章： Java 防 XSS 工具類：HTML 特殊字元過濾與編碼完整實作
Copyright ©
程式碼之家 All Rights Reserved
