Java 記憶體洩漏深度解析：原理、檢測與工具實戰

誤區：GC ≠ 免疫記憶體洩漏

Java 自動垃圾回收 (GC) 只負責回收不可達物件。若物件仍被引用但不再使用，GC 無法回收，即構成 Java 記憶體洩漏。長期運行的伺服器程式 (JSP/Servlet/EJB) 與嵌入式系統最受影響。

Java 記憶體管理模型：有向圖理論

• 頂點：物件實例。
• 有向邊：引用關係 (引用者 → 被引用者)。
• 根節點：執行緒棧區局部變數、JNI 參考、類靜態欄位、同步鎖持有物件等。
• 可達性分析：從根節點出發遍歷，可達物件 = 存活；不可達 = 垃圾。

優點：自動處理循環引用 (A→B→A 但無根引用即可回收)。缺點：遍歷開銷大、GC 停頓不可控。

什麼是 Java 記憶體洩漏？

滿足雙重條件的物件：

1. 可達：在有向圖中存在從根節點的路徑。
2. 無用：程式邏輯後續永不存取。

對比 C++：C++ 洩漏包含「不可達但未釋放」；Java 語言層面保證不可達必被 GC 回收，洩漏範圍較窄。

經典洩漏範例

Vector v = new Vector(10);
for (int i = 0; i < 100; i++) {
    Object o = new Object();
    v.add(o);
    o = null; // 僅切斷區域變數引用，v 仍持有 o
}
// 此時 100 個 Object 皆可達 (v → o)，無法被 GC 回收

修正：v.clear() 或 v = null 切斷根引用鏈。

常見洩漏模式

檢測工具與原理

核心原理：Instrumentation API 修改 bytecode，記錄物件分配/釋放/引用變化，構建堆快照分析可達性。

OptimizeIt 經典四視角 (歷史參考)

• 堆視角：所有物件統計、類別計數、過濾排序。
• 方法視角：物件分配站點 (哪個方法 new 出最多)。
• 物件視角：指定物件的出/入引用鏈 (誰持有它)。
• 引用圖：從根節點展開完整引用拓撲。

現代工具 (MAT/JProfiler) 均提供同等或更強功能。

實戰定位步驟

1. 啟用工具連接目標 JVM (本地/遠端 JMX)。
2. 觀察 Heap 使用曲線：持續上升且 Full GC 後不降 = 疑似洩漏。
3. 觸發/等待 Full GC，獲取 Heap Dump (jmap -dump:live,format=b,file=heap.hprof <pid>)。
4. 載入 MAT/JProfiler，執行 Leak Suspects Report 自動分析支配者樹。
5. 鎖定可疑類別 → 查看 GC Roots 到物件的最短保留路徑 → 定位源碼持有點。
6. 修復代碼，驗證曲線平穩。

GC 調優補充

• 即時系統避免長停頓：啟用 -XX:+UseG1GC 或 -XX:+UseZGC (JDK 11+)，設定 -XX:MaxGCPauseMillis。
• 不可強制 GC：System.gc() 僅建議，JVM 可忽略。
• 監控指標：Young/Old GC 頻率、持續時間、佔用率、提升率。

結語

Java 記憶體洩漏本質是邏輯引用殘留。預防勝於治療：代碼審查關注集合/快取/監聽器/ThreadLocal 生命週期，上線前必跑壓測 + Heap Dump 基線分析。