标记-整理算法(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选型与参数优化的关键。
