图解 V8 引擎垃圾回收：从 Scavenge 算法到 Orinoco 现代演进
在现代 Web 开发中，JavaScript 的内存管理绝大部分由引擎自动完成。作为 Chrome 和 Node.js 的核心，V8 引擎的垃圾回收（Garbage Collection, GC）机制直接决定了应用的流畅度与性能。本文将深入探讨 V8 如何通过精巧的分代策略和并发优化，平衡“吞吐量”与“停顿时间”。
一、 理论基石：代际假说（The Generational Hypothesis）
V8 的 GC 设计基于一个在计算机科学领域广泛验证的经验法则——代际假说：
- 绝大多数对象在内存中存活的时间很短（例如函数作用域内的局部变量，函数执行完即可回收）。
- 存活时间长的对象，往往会更长久地存在（例如全局对象、闭包引用的上下文）。
基于此，V8 将堆内存划分为新生代（Young Generation）和老生代（Old Generation），并对它们采用完全不同的回收策略。
二、 新生代：Scavenge 算法的极致效率
新生代内存空间通常较小（1MB - 64MB），存放的是生命周期极短的对象。
1. Cheney 算法与半空间设计
新生代被划分为两个相等大小的 semi-space：From-space 和 To-space。
- 分配期：所有新创建的对象都会先进入 From-space。
- 回收期：当 From-space 快满时，触发 GC。此时，V8 会扫描 From-space 中的存活对象，并将它们连续地复制到 To-space 中。
- 翻转期：复制完成后，From-space 中剩下的全是非活跃对象，直接清除。随后，From 和 To 角色互换。
2. 对象晋升（Promotion）
如果一个对象经过多次 Scavenge 回收依然存活，或者 To-space 的占用率超过 25%，该对象就会被“晋升”到老生代。
- 优点：由于只处理存活对象且是连续存放，不会产生内存碎片。
- 缺点：空间利用率仅为 50%，只适合处理小规模存活对象的场景。
三、 老生代：Mark-Sweep 与 Mark-Compact
老生代存放的是存活时间长或体量巨大的对象。由于老生代内存巨大，使用复制算法会导致效率低下且空间浪费，因此采用的是标记-清除（Mark-Sweep）与标记-整理（Mark-Compact）。
1. 标记阶段（Marking）
V8 采用三色标记法（Tri-color Marking）：
- 白色：未被发现的对象，初始状态。
- 灰色：已发现但尚未处理其引用的对象。
- 黑色：已发现且所有引用均已处理的对象。
GC 从根对象（Root）出发，最终无法被标记为黑色的白色对象即为可回收垃圾。
2. 清除与整理（Sweeping & Compacting）
- Mark-Sweep：直接释放白色对象占用的空间。但这会导致内存不连续，出现大量“碎片”。
- Mark-Compact：为了解决碎片问题，V8 会将存活的对象向内存的一端移动，整理出连续的可用空间。这是一个耗时操作，V8 会根据碎片情况择机执行。
四、 性能飞跃：Orinoco 优化方案
传统的 GC 是“全停顿”（Stop-The-World）的，即回收时必须暂停 JS 主线程。随着前端应用日益复杂，这种停顿会导致肉眼可见的卡顿。为此，V8 引入了 Orinoco 项目，实现了异步与多线程的优化：
1. 并行回收（Parallel GC）
在执行主线程 GC 任务时，开启多个辅助线程协助处理。虽然依然是全停顿，但由于多核参与，总耗时大幅缩短。新生代的 Scavenge 目前主要是并行的。
2. 增量标记（Incremental Marking）
主线程不再一次性完成所有标记工作，而是将标记过程拆分成许多小步，每执行一会 JS 代码，就执行一小段标记逻辑。
- 挑战：JS 执行过程中可能会修改对象引用关系。
- 方案：写屏障（Write Barrier）。当黑色对象指向白色对象时，强制将其标记为灰色，确保标记的准确性。
3. 并发回收（Concurrent GC）
这是最高级的形式。主线程在持续执行 JS 的同时，辅助线程在后台默默进行标记和整理工作。当辅助线程完成后，主线程只需进行极其短暂的同步。
五、 开发者能做些什么？
虽然 V8 足够聪明，但糟糕的代码习惯依然会导致内存泄漏：
- 警惕全局变量：全局变量直到页面关闭才会被回收。
- 及时清理定时器与监听器：尤其是在 React/Vue 组件卸载时。
- 闭包的副作用：注意闭包引用的外部变量是否真的有必要长期驻留。
- WeakMap/WeakSet 的应用：对于需要关联数据但不希望影响 GC 的场景，优先使用弱引用。
总结
V8 的垃圾回收是一场关于空间与时间的精密博弈。通过新生代的快速复制、老生代的标记整理，以及现代化的增量与并发技术，V8 能够处理 GB 级别的堆内存而保持亚毫秒级的停顿。理解这些原理，不仅能帮我们通过面试，更能指引我们编写出高性能的工业级代码。