标记-整理算法：老年代碎片清理的代价与优化

标记-整理算法是解决老年代内存碎片问题的有效方案，但其应用成本需要审慎评估。该算法的核心矛盾在于，一次完整的整理过程涉及大规模对象移动、海量引用更新以及不可避免的全局暂停。这些开销对于追求低延迟与高吞吐的现代应用而言，往往显得过于高昂。

移动所有存活对象带来双重开销

老年代通常具有极高的对象存活率，常常超过90%。这意味着标记-整理算法的“整理”阶段几乎需要搬运堆内所有存活对象。此过程不仅是内存数据的拷贝：

• 每个存活对象都需从原地址复制到内存空间一端的新地址；
• 所有指向旧地址的引用（包括栈帧局部变量、对象成员字段、常量池符号引用等）都必须精确更新为新地址；
• 虚拟机为实现引用的原子性更新，需维护额外转发指针或依赖写屏障等机制，进一步增加运行时开销。

Stop-The-World时间与存活对象数量强相关

整理阶段存在一个无法绕开的瓶颈：它必须触发全局停顿（STW），且无法与用户线程并发执行。关键在于，停顿时长并非由垃圾数量决定，而是直接与存活对象的总量和规模正相关：

• 假设一个4GB的老年代区域中有3.8GB存活对象，整理过程就需要搬运这3.8GB数据并更新可能多达数千万的引用指针。
• 一次采用纯标记-整理算法的Full GC，其STW时间可达数百毫秒甚至秒级，这对于延迟敏感的在线服务通常难以接受。
• 相比之下，标记-清除算法虽会产生内存碎片，但其清除阶段主要工作是遍历并更新空闲列表，耗时相对更短。

现代GC如何折中处理整理思想

鉴于纯标记-整理算法的显著代价，现代成熟的垃圾收集器在设计老年代回收策略时，均采取了务实的折中方案：

• CMS收集器 直接放弃整理阶段，采用标记-清除算法。它通过预留空间缓解碎片影响，仅在碎片化严重到无法分配时，才触发一次Serial Old收集器进行压缩整理作为保底措施。
• G1收集器 将堆内存划分为多个固定大小的Region。其Mixed GC并不整理整个老年代，而是选择性回收价值高（即垃圾比例高）的若干Region进行收集与空间整理，避免了全堆范围的巨大开销。
• ZGC/Shenandoah收集器 这类新一代收集器通过染色指针、读屏障等技术，将对象移动过程与用户线程并发执行。从用户视角看，停顿时间被大幅缩短甚至近乎消失，其底层逻辑仍是标记-整理思想的极致优化与并发化实现。

综上所述，标记-整理算法虽能根治内存碎片，却将高昂成本转移至停顿时间与CPU负载。面对存活对象密集的老年代，将其作为默认主力回收算法往往得不偿失。因此，在实际工程实践中，该算法更多扮演“备用方案”或“局部优化策略”的角色，而非首选默认选项。