标记整理算法如何通过移动对象解决老年代内存碎片问题

标记-整理算法（Mark-Compact）是解决Java老年代内存碎片化问题的经典方案。然而，在实际的JVM调优与高并发场景中，其应用却相当谨慎。核心原因在于，一次完整的整理操作代价高昂，涉及大规模的对象移动与全局引用更新，必然引发显著的Stop-The-World（STW）停顿。这对于追求低延迟和高可用的现代互联网应用而言，往往是难以承受的性能瓶颈。

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

老年代的对象存活率通常极高，可能超过90%。这意味着标记-整理算法在“整理”阶段，几乎需要搬运堆内所有的存活对象。这个过程远非简单内存拷贝，其开销主要体现在：

• 对象复制开销：每个存活对象都必须从原始地址复制到内存空间一端的新地址。
• 引用更新开销：所有指向旧地址的引用——包括栈帧、对象字段、静态变量等——都必须被精准地更新为新地址。
• 机制维护开销：虚拟机为实现引用的原子性更新，需要借助转发指针（Forwarding Pointer）或写屏障（Write Barrier）等机制，进一步增加了运行时复杂性和CPU消耗。

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

整理阶段存在一个根本性限制：它无法与用户线程并发执行，必须触发全局停顿（STW）。问题的关键在于，此次停顿的时长并非由垃圾数量决定，而是与存活对象的总量及规模直接正相关：

• 假设老年代区域大小为4GB，其中3.8GB为存活对象，则整理过程需搬运这3.8GB数据，并更新海量引用指针。
• 一次采用纯标记-整理算法的Full GC，其STW时间极易达到数百毫秒甚至秒级，这对于要求亚秒级响应的在线服务（如支付、交易系统）是不可接受的。
• 相比之下，标记-清除算法（Mark-Sweep）虽会产生内存碎片，但其清除阶段主要工作是更新空闲列表，STW时间通常短得多，代价更可控。

为什么现代GC仍保留整理思想，却不直接用它？

鉴于纯标记-整理算法的固有代价，现代高性能垃圾收集器在设计老年代回收策略时，均采取了更为务实和折中的方案：

• CMS（Concurrent Mark-Sweep）收集器：其老年代回收默认采用标记-清除算法，以换取更短的并发停顿。仅当内存碎片严重到无法分配时，才触发一次Serial Old收集器进行压缩整理，作为最终的“保底”措施。
• G1（Garbage-First）收集器：它将堆划分为多个固定大小的Region（区域）。其Mixed GC并非整理整个老年代，而是基于回收价值（即垃圾比例）智能选择部分Region进行收集与空间压缩，实现了“局部整理”，避免全堆范围的性能震荡。
• ZGC与Shenandoah收集器：这类新一代低延迟收集器，通过染色指针、读屏障等先进技术，将对象的移动过程与用户线程并发执行。从应用视角看，停顿时间被极大缩短（通常低于10毫秒），但其底层核心逻辑，仍是标记-整理思想的极致优化与并发化实现。

总结而言，标记-整理算法虽能根治内存碎片，却将高昂成本转移到了停顿时间和CPU负载上。面对存活对象密集的老年代，将其作为默认的主力回收算法往往得不偿失。因此，在真实的JVM性能调优与生产实践中，它更多地作为“备用方案”或融入更智能的局部整理策略中，而非首选的默认选项。理解其代价与权衡，是进行有效GC选型与参数优化的关键。