深入淺出 Java 堆內存管理與垃圾回收機制

引言

Java 堆是運行時數據區，類實例（對象）在此分配空間。JVM 堆存儲應用創建的所有對象（通過 new、newarray 等指令），但無需程序代碼顯式釋放。內存回收由垃圾收集器 (GC) 自動管理。雖然 JVM 規範不強制特定 GC 技術，但受限於內存有限性，所有實現均包含 GC 管理的堆。

垃圾收集的意義

• C++ 對比：對象內存直到程序結束或顯式釋放前一直佔用
• Java 模式：無引用指向的內存即為垃圾，系統級線程自動釋放
• 雙重效用：① 釋放無用對象空間供新對象使用 ② 內存碎片整理（移動對象至堆一端，形成連續空閒區）

優點

1. 提高編程效率：避免手動內存管理的難懂錯誤
2. 保護程序完整性：GC 是 Java 安全策略核心組成

潛在缺點

1. 性能開銷：追蹤有用對象、釋放垃圾消耗 CPU 時間
2. 早期算法不完美可能遺漏垃圾（現代算法已大幅改善）

垃圾收集算法分析

核心兩步：① 發現無用對象 ② 回收其內存空間。

根集 (Root Set) 概念

大多數算法使用根集：正在執行的 Java 程序可訪問的引用變量集合（局部變量、參數、類變量）。從根集可達對象為活動對象（含間接可達），不可達對象符合回收條件。

1. 引用計數法 (Reference Counting)

• 每個對象關聯一個計數器：創建/賦值 +1，離開作用域 -1，歸零即可回收
• 優點：增量式回收，無長時間停頓，適合實時系統
• 缺點：無法處理循環引用；每次賦值/離開作用域需更新計數器，執行開銷大

2. Tracing 算法 / 標記-清除 (Mark-and-Sweep)

• 從根集掃描，標記可達對象，清除不可達對象
• 解決引用計數法循環引用問題
• 缺點：產生內存碎片；需暫停應用線程（Stop-the-world）

3. Compacting 算法 (標記-整理)

• 在清除階段移動所有存活對象至堆一端，另一端形成連續空閒區
• 更新所有引用指向新位置（通常引入句柄/句柄表機制）
• 解決碎片問題，但移動對象與更新引用增加開銷

現代 JVM 的改進策略

• 分代收集：新生代（Eden + Survivor）、老年代、永久代/元空間，針對不同壽命對象採用不同算法
• 並行/並發收集：多線程並行標記/清理，減少停頓時間
• 增量式收集：將 GC 工作分片穿插在應用執行間隙
• G1、ZGC、Shenandoah：面向大堆、低延遲的新一代收集器

開發者最佳實踐

• 盡早釋放引用（置 null、縮小作用域）協助 GC
• 避免頻繁創建大對象/短命大對象
• 理解 finalize() 不可靠，資源釋放用 try-with-resources / finally
• 監控 GC 日誌（-Xlog:gc*）調優堆大小與收集器參數