可視化 Java 垃圾回收：從原理到調優實戰

GC 基礎：標記-清除與 Stop-the-World

現代 GC 採用可達性分析：從 GC Roots（棧幀局部變量、靜態字段、JNI 引用等）出發遍歷對象圖，標記存活對象，其餘視為垃圾。為獲取一致性快照，必須暫停所有應用線程（STW）。

兩條鐵律：

1. 必須回收所有垃圾（否則 OOM）
2. 絕不回收存活對象（否則數據損壞）

第二條優先級更高，寧可少回收些垃圾（浮動垃圾），不可誤傷存活對象。

HotSpot 運行時與堆布局

對象分配

Java 堆預先向 OS 申請大塊連續內存，後續分配在用戶態指針碰撞（Bump-the-Pointer）或空閒列表中完成，極快（接近棧分配速度）。

分代佈局（Java 8 前）

+------------------+
|    PermGen       |  類元數據、常量池、靜態變量 (Java 8 移除)
+------------------+
|      Heap        |
|  +------------+  |
|  | Young Gen  |  |  Eden + 2 Survivor (S0/S1)
|  +------------+  |
|  |  Old Gen   |  |  長期存活對象
|  +------------+  |
+------------------+

虛擬空間允許各區動態伸縮而不移動對象。

弱代假設

「大多數對象朝生夕死，少數對象長期存活」—— 分代收集的理論基石。Young GC 頻繁、快；Old GC 耗時、少。

Java 8+ 變化

• Metaspace 替代 PermGen：類元數據移至本地內存，由 OS 管理，消除 PermGen OOM，但監控工具需適配。
• 字符串常量池、靜態變量移至堆。

關鍵 JVM 參數

GC 日誌與分析工具

• GCViewer：開源、免費、界面簡陋但功能全
• GarbageCat：命令行分析、報告生成
• IBM GCMV：支持 J9、圖形化
• jClarity Censum：商業、UI 精美、洞察深度
• HP JMeter：老牌、免費、不再維護

原始日誌難讀，**務必用工具可視化**後再分析。

調優核心口訣

1. 懂基礎理論（分代、GC Roots、STW、分配速率）
2. 讓多數對象在 Young Gen 死掉（避免大對象直入 Old、過早晋升）
3. 開啟 GC 日誌！用工具分析！
4. 測量驅動調優，而非猜測

總結

GC 不是黑盒。掌握分代模型、關鍵參數、日誌分析鏈路，配合可視化工具，即可從現象定位根因（如：Eden 太小導致頻繁 Young GC、大對象直入 Old 觸發 Full GC、Metaspace 增長未限制等），實施精準調優。