Java 垃圾回收機制全面深度解析：演算法、收集器與調優實戰

什麼是垃圾回收 (GC)

Java 堆儲存所有物件實例。物件由 new/newArray 等指令建立，無需手動釋放。GC 自動識別不再被引用的物件，回收記憶體並整理碎片，實現動態儲存管理。

GC 核心意義與權衡

物件存活判定：根節點追蹤 (Root Tracing)

GC Roots 包含：

• 虛擬機棧區引用的物件 (區域變數表)
• 方法區類靜態屬性引用的物件
• 方法區常量引用的物件
• 本地方法棧 JNI 引用的物件
• 同步鎖持有的物件

從 GC Roots 出發向下搜尋，可達路徑上的物件為「存活」，不可達為「垃圾」。

四大經典 GC 演算法

分代收集理論與 HotSpot 實作

弱分代假說：多數物件朝生夕死、熬過越多 GC 越難死。HotSpot 劃分：

• 新生代：Eden + S0 + S1 (預設 8:1:1)，採複製演算法，Minor GC 頻繁、快。
• 老年代：長期存活物件，採標記-整理，Major/Full GC 耗時長。
• 元空間：類元資料 (JDK 8+)，取代永久代，直接使用本地記憶體。

七大經典收集器組合

常用 JVM 參數與調優切入點

-Xms -Xmx          # 堆初始/最大值 (建議相等避免震盪)
-Xmn                # 新生代大小
-XX:SurvivorRatio   # Eden:Survivor 比例
-XX:+UseG1GC        # 啟用 G1
-XX:MaxGCPauseMillis=200  # G1 目標暫停
-XX:+PrintGCDetails -XX:+PrintGCDateStamps -Xlog:gc*:file=gc.log  # GC 日誌
-XX:+HeapDumpOnOutOfMemoryError -XX:HeapDumpPath=./  # OOM 轉儲

調優三步走

1. 監控：jstat -gcutil、VisualVM、Arthas、Prometheus+Grafana 觀察 GC 頻率、暫停、記憶體佔用趨勢。
2. 分析：GC 日誌識別 Minor/Full GC 觸發原因 (分配速率、大物件直入老年代、動態年齡判定、System.gc()、元空間不足)。
3. 調整：調大新生代降低 Minor GC、調整晋升年齡、切換收集器 (CMS→G1→ZGC)、啟用字串去重、檢查程式碼洩漏 (ThreadLocal、靜態集合、快取無淘汰)。

結語

GC 不是黑盒，而是基於成熟演算法與工程權衡的系統組件。理解分代假說、演算法優劣、收集器適用場景，結合業務特性 (延遲敏感 vs 吞吐優先) 選擇並調優收集器，是 Java 高階工程師的核心硬技能。