老年代垃圾回收碎片整理方法解析

标记整理算法（Mark-Compact）并非辅助性优化，而是老年代垃圾回收中主动治理内存碎片的核心机制——它通过标记存活对象、紧凑计算新地址、移动对象并精确更新所有引用这三步闭环操作，将分散的存活对象集中搬迁至堆的一端，从而天然生成大块连续空闲空间，彻底摆脱因碎片导致的大对象分配失败或频繁Full GC的困境；尽管CMS等收集器因放弃压缩而饱受碎片之苦，但Serial Old、Parallel Old乃至ZGC的部分阶段均以不同形式践行这一经典范式，印证了“移动即整理”这一看似简单却不可或缺的底层保障逻辑。

标记整理算法（Mark-Compact）本身不是用来“解决”老年代碎片整理的问题，而是专门设计来主动执行老年代碎片整理的核心机制。它在完成垃圾识别（标记）后，通过移动存活对象来消除内存碎片，从而直接达成空间连续、可高效分配的目标。

标记整理的核心逻辑：三步闭环

它不是“辅助手段”，而是老年代碎片整理的标准实现路径：

• 标记（Mark）：从 GC Roots 出发，遍历所有可达对象并打上标记，识别出哪些是存活的；
• 计算新地址（Compute new location）：按内存起始顺序扫描已标记对象，为每个存活对象计算其压缩后的新位置（通常从堆底开始紧凑排列）；
• 移动与更新（Compact & Update）：将对象逐个复制到新位置，并修正所有指向这些对象的引用（包括栈中、寄存器、其他对象字段中的指针）。

为什么它能有效治理碎片？

关键在于“移动”这一步彻底改变了内存布局：

• 所有存活对象被集中搬迁到堆的一端，空闲空间自然聚合成一块连续区域；
• 不再依赖“等待对象死亡腾出空隙”，也不靠“预留大块内存”这种被动策略；
• 压缩后，后续的大对象分配（如数组、长字符串）可以直接使用连续空闲区，避免了因碎片导致的 Full GC 或分配失败。

实际应用中的关键细节

不同 JVM 实现（如 Serial Old、Parallel Old、ZGC 的部分阶段）对 Mark-Compact 的优化侧重点不同，但共性要点包括：

• 移动成本可控：只移动存活对象，且现代实现常采用“滑动式压缩”（sliding compaction），避免额外空间开销；
• 引用更新必须精确：需配合准确式 GC（exact GC），确保每个指针都能被定位并修正，否则会导致悬垂指针或对象错乱；
• 不适用于所有收集器：CMS 不做压缩（因此有碎片问题），G1 和 ZGC 用的是基于 Region 的增量整理或染色指针+读屏障的软性整理，而非传统全堆 Mark-Compact。

和标记清除（Mark-Sweep）的本质区别

这是理解碎片治理的关键对比：

• 标记清除仅回收死对象空间，留下大量不连续的小空闲块 → 碎片积累 → 大对象分配易失败；
• 标记整理在回收基础上强制重排内存 → 消除间隙 → 空间利用率高、分配效率稳。

不复杂但容易忽略：标记整理不是“额外加的功能”，它是让老年代在长期运行后仍能稳定分配大对象的根本保障机制。

文中关于的知识介绍，希望对你的学习有所帮助！若是受益匪浅，那就动动鼠标收藏这篇《老年代垃圾回收碎片整理方法解析》文章吧，也可关注golang学习网公众号了解相关技术文章。