老年代碎片整理优化技巧

标记整理算法（Mark-Compact）并非辅助手段，而是老年代碎片治理的根本性、标准实现路径——它通过标记存活对象、计算紧凑新地址、移动对象并精确更新所有引用这三步闭环，主动将分散的存活对象集中搬迁至堆的一端，从而彻底消除内存碎片、生成连续空闲空间，确保大对象分配高效稳定；相比仅回收不重排的标记清除算法，它从根源上破解了碎片导致的分配失败与频繁Full GC难题，是JVM长期运行下内存健康的关键保障机制。

标记整理算法（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学习网公众号，给大家分享更多文章知识！