V8垃圾回收中，三色标记法在增量标记阶段的工作原理是怎样的？

本文共计938个文字，预计阅读时间需要4分钟。

V8 引擎中的三色标记法增强了增量标记阶段，本质上是对长时间停顿的‘全量可达到性分析’进行分解，形成多个微小、可中断、可恢复的扫描单元。通过颜色状态维护中间一致性，并借助写屏障技术进行捕获并发修改，从而实现近乎无感的内存回收。

三色状态不是真实染色，而是逻辑划分

白色、灰色、黑色不对应内存中的实际字节，而是 GC 线程维护的三个逻辑集合（或对象状态位）：

• 白色：尚未被 GC 访问过，默认状态；若标记结束仍为白色，且无法从 GC Roots 到达，则判定为垃圾
• 灰色：已入队待处理，其自身被访问过，但所引用的对象还未全部检查；它是“工作队列”的入口点
• 黑色：已完全扫描完毕，自身及其所有直接/间接引用对象都确认存活；黑色对象不再参与本轮标记推进

增量标记如何“分步穿插”执行

V8 不等应用暂停才启动标记，而是在 JavaScript 引擎空闲间隙（如事件循环空转、帧渲染间隔）主动插入一小段标记任务：

• 每次只从灰色集合中取出几十个对象，遍历其引用，把新发现的白色对象涂灰、自身涂黑
• 执行完当前小批次后立即交还控制权给 JS 主线程，下次空闲时从中断处继续
• 整个灰色集合像一个“待办清单”，逐步清空；当它彻底为空，且无写屏障记录的脏引用，标记即完成

写屏障解决并发漏标问题

用户线程运行时可能修改引用关系，导致本该存活的对象被跳过（漏标）。V8 在赋值操作（如 a.b = c）前后插入写屏障逻辑：

• 若 c 是白色对象，而 a 已是黑色，这次赋值会把 c 强制重新标灰（或加入灰色队列）
• 这相当于告诉 GC：“这个白色对象刚被黑色对象‘拉进来’了，必须重查”
• V8 使用的是 增量更新（Incremental Update） 类型写屏障，侧重拦截新增引用

为什么能避免长时间 STW

初始标记阶段仍需短暂 STW（仅扫描 GC Roots 直接引用），但后续所有标记工作都在 JS 运行中渐进完成：

• 单次标记耗时控制在毫秒级（通常 ≤ 5ms），远低于人眼可感知卡顿阈值（16ms）
• 标记进度持续累积，无需等待堆中所有对象扫完才进入清除；清除可与后续标记并行
• 即使 JS 突然高负载，GC 也会自动降频或暂停增量步骤，优先保障业务响应

不复杂但容易忽略：三色标记本身不保证绝对零停顿，它的价值在于把不可控的大停顿，转化成可控、可预测、对用户体验透明的小节奏——这才是现代 JS 引擎流畅运行的底层支点。