GC算法面试：描述从标记至清理的全链路过程

标记-清理过程核心是先标记存活对象再回收垃圾：标记阶段用三色法（白/灰/黑）从GC Roots出发遍历并标记可达对象；清理阶段扫描堆内存，释放仍为白色的对象空间，产生碎片；可选整理阶段将黑色对象紧凑移动以消除碎片。

GC（垃圾回收）的标记-清理过程，核心是“先识别哪些对象还活着，再回收其余对象占用的内存”。不同GC算法细节有差异，但主流的标记-清理（Mark-Sweep）和其优化变体（如标记-整理 Mark-Compact）都遵循这一逻辑主线。下面以最典型的三色标记法为基础，结合实际执行阶段说明全链路。

标记阶段：用三色抽象精准追踪存活对象

标记阶段不直接修改对象内容，而是为每个对象维护一个颜色状态：

• 白色：初始状态，表示“尚未访问”，默认视为可回收；
• 灰色：已访问该对象本身，但其引用的其他对象还未扫描；
• 黑色：该对象及其所有直接/间接引用的对象都已扫描完成，确认存活。

过程从 GC Roots（如栈帧局部变量、静态字段、JNI 引用等）出发，将所有直接可达对象涂成灰色，放入标记队列；然后循环取出灰色对象，将其引用的白色对象涂灰并入队，自身涂黑；直到队列为空。最终所有黑色对象即为存活对象，剩余白色对象即为垃圾。

清理阶段：遍历堆内存，回收白色对象空间

清理阶段扫描整个堆（或当前收集区域，如老年代），识别出仍为白色的对象：

• 直接释放其占用的内存块，加入空闲链表（free list）供后续分配复用；
• 不移动对象位置，因此会产生内存碎片；
• 通常与标记阶段分离执行，可能引发 Stop-The-World（STW），暂停用户线程。

例如，在 Serial GC 或 CMS 的初始标记+重新标记后的清理中，就采用此方式。CMS 后期因并发清理无法处理浮动垃圾，需额外触发一次 STW 清理。

可选的整理阶段：解决碎片问题（仅部分算法启用）

标记-清理本身不整理内存，而标记-整理（如 Serial Old、Parallel Old、ZGC 的部分阶段）会在清理前增加整理步骤：

• 将所有黑色对象按顺序紧凑复制/移动到堆的一端；
• 更新所有指向这些对象的引用（需修正指针，开销较大）；
• 移动后，堆尾部形成一大块连续空闲空间，消除碎片，利于大对象分配。

注意：G1 和 ZGC 不采用传统整理，而是通过 Region 划分 + 复制（G1 的 Evacuation）或读屏障+重映射（ZGC 的染色指针）实现低延迟与空间整合兼顾。

关键细节与常见误区

面试中容易被追问的点包括：

• 三色标记为何要求“强三色不变性”？因为并发标记时若漏标（灰色→黑色过程中，黑色对象新增指向白色对象的引用），会导致误回收——CMS 使用写屏障+增量更新（Incremental Update）来拦截这类写操作；
• 为什么 CMS 废弃了？因为它无法处理浮动垃圾、产生碎片、且并发失败后会退化为 Serial Old，导致长时间 STW；
• G1 的标记不是全堆扫描，而是基于 Remembered Set（RSet）的增量式根扫描+SATB 快照，保证准确性同时控制停顿。

理解标记-清理不是孤立步骤，而是与内存布局、写屏障、并发控制深度耦合的过程。掌握三色抽象、GC Roots 范围、以及各算法如何权衡吞吐量、延迟与内存利用率，才算真正吃透这条链路。