【浏览器】垃圾回收机制的过程和原理

【浏览器】垃圾回收机制的过程和原理

在现代浏览器中，JavaScript 的内存管理依赖于垃圾回收机制（Garbage Collection, GC）。该机制自动检测并释放不再使用的内存，避免内存泄漏和性能问题。本文将从核心原理、优化策略及开发实践等方面浅谈浏览器的垃圾回收机制。

一、垃圾回收的核心原理

垃圾回收的核心目标是识别并释放不可达对象（即无法通过程序访问的对象）。其核心逻辑基于以下两个阶段：

1. 标记阶段：从根对象（如全局变量、执行栈中的活动变量）出发，遍历所有可达对象并标记为活动状态。
2. 清除阶段：回收未被标记的对象所占内存。

1.1 内存的生命周期

• 分配内存：变量声明、对象创建时自动分配内存。
• 使用内存：程序读写变量或对象。
• 释放内存：垃圾回收器自动回收不可达对象。

二、垃圾回收的具体过程

垃圾回收的执行分为内存分配、标记、清除、整理四个核心阶段，其核心目标是高效释放不可达对象的内存。以下是具体流程：

2.1 内存分配

浏览器为 JavaScript 对象动态分配内存，通常分为两类区域：

• 新生代（Young Generation）：存放生命周期短的对象（如临时变量）。
• 老生代（Old Generation）：存放长期存活的对象（如全局变量）。

分配策略：

• 新生代使用 “半空间”（Semi-space） 设计，分为 From 和 To 两个区域，初始分配在 From 空间。
• 老生代直接分配在连续内存中，但可能产生内存碎片。

2.2 标记阶段

目标：识别所有可达对象。
步骤：

1. 根对象扫描：从全局变量（window）、当前执行栈（局部变量、函数参数）、DOM 根节点等出发。
2. 递归遍历：深度优先或广度优先遍历所有引用链，标记可达对象为“活动状态”。

优化策略：

• 三色标记法：通过白（未访问）、灰（正在访问）、黑（已访问）三色标记对象，避免重复扫描。
• 增量标记：将标记任务拆分为多个小步骤，穿插在主线程任务之间执行，减少卡顿。

2.3 清除与整理阶段

清除（Sweeping）

• 新生代：采用 Scavenge 算法，将 From 空间的存活对象复制到 To 空间，清空 From 空间（复制完成后交换 From 和 To）。
• 老生代：直接遍历堆内存，释放未被标记的对象内存。

Scavenge 算法的优势：

• 空间换时间：仅复制存活对象，适合新生代的高回收频率。
• 内存碎片少：To 空间始终连续。

整理（Compacting）

针对老生代的内存碎片问题，采用 标记-整理算法：

1. 标记所有存活对象。
2. 将存活对象向内存一端移动，形成连续内存块。
3. 清理边界外的内存碎片。

三、主流垃圾回收算法

3.1 标记-清除算法（Mark-and-Sweep）

这是现代浏览器（如 Chrome、Firefox）的核心算法，分为两阶段：

1. 标记：从根对象出发，递归标记所有可达对象。
2. 清除：遍历堆内存，释放未被标记的对象。

优势：

• 可处理循环引用问题（如两个对象互相引用但整体不可达）。
• 适用于复杂对象关系场景。

缺点：

• 全堆遍历可能导致性能抖动（卡顿）。

3.2 分代回收（Generational Collection）

基于“大多数对象生命周期短”的观察，将内存分为两代：

• 新生代：存放临时对象（如局部变量），采用 Scavenge 算法（复制存活对象至老生代）。
• 老生代：存放长期存活对象，采用 标记-清除 或 标记-整理（Mark-Compact） 算法，减少内存碎片。

分代设计的依据：

• 弱分代假说（Weak Generational Hypothesis）：
  • 大部分对象生命周期极短（如函数内的临时变量）。
  • 长期存活的对象会持续存活（如全局配置对象）。

晋升条件：

• 对象在新生代 GC 中存活多次（如 V8 默认存活 2 次）。
• To 空间占用超过 25%（防止频繁复制）。

3.3 增量回收与并行回收

• 增量回收：将标记过程拆分为小任务，与主线程交替执行，减少卡顿。需处理标记过程中对象引用变化的**写屏障（Write Barrier）**问题。
• 并行回收：利用多线程加速垃圾回收（如 V8 的并行标记与并发清除）。

四、内存泄漏的常见场景

即使有垃圾回收机制，以下情况仍可能导致内存泄漏：

1. 意外全局变量：未使用 var/let/const 声明的变量会长期驻留内存。
2. 未释放的闭包：闭包可能捕获外部变量，导致对象无法回收。
3. 残留的 DOM 引用：移除 DOM 元素但未解除 JavaScript 引用。
4. 未清理的定时器与事件监听：回调函数持有对象引用。
5. 循环引用与旧版 IE 的 BOM/DOM 问题（如 IE6-8 的引用计数缺陷）。

深层原理：

• 若对象仍被引用链中的其他对象持有（如未清除的闭包），即使逻辑上不再使用，GC 也无法回收。
• 现代标记-清除算法可处理循环引用，但需满足整体不可达条件。

示例：

// 循环引用导致内存泄漏（旧版 IE）  
function createCycle() {  
  const obj1 = {};  
  const obj2 = {};  
  obj1.ref = obj2;  
  obj2.ref = obj1;  
}  
createCycle(); // 旧版 IE 无法回收 obj1 和 obj2  

五、垃圾回收的触发时机

浏览器通常在以下场景触发 GC：

1. 内存不足：分配新对象时堆内存不足。
2. 空闲时段：主线程空闲时自动执行。
3. 手动触发（开发者工具中启用）：如 window.gc()。

六、优化建议

6.1 避免内存泄漏

• 解除无用引用：将对象设为 null（如 obj = null）。
• 使用弱引用：通过 WeakMap/WeakSet 管理临时引用。
• 清理定时器与事件监听：调用 clearInterval 或 removeEventListener。

6.2 优化内存使用

• 减少全局变量：优先使用局部变量。
• 对象池化：复用对象而非频繁创建/销毁。
• 避免深层嵌套：简化作用域链，降低标记遍历成本。

6.3 工具辅助

• Chrome DevTools：利用 Heap Snapshot 分析内存占用。
• 性能监控：跟踪内存使用趋势，定位泄漏点。

七、总结

浏览器的垃圾回收机制通过分代设计与增量/并行回收，在保证性能的同时高效管理内存。我们需理解其核心过程（标记-清除、Scavenge、标记-整理），避免常见内存泄漏，并利用工具优化应用性能。

垃圾回收机制并非万能，代码中的无效引用仍需人工干预。