Node.js 内存管理机制与垃圾回收详解

Node.js 内存治理的重要性

不同的宿主环境对内存治理有着不同的要求。在浏览器环境中，网页运行时间较短且分布在用户终端，即使存在内存使用过高或轻微泄漏，对用户体验的影响也相对有限。然而，在 Node.js 服务器环境中，代码长期运行在有限的几台集中式机器上。若内存管理不善导致内存膨胀或泄漏，将直接引发服务器响应延迟甚至服务崩溃（Crash）。

V8 堆内存限制与分代概念

Node.js 基于 V8 引擎构建，其 JavaScript 对象（Buffer 除外）的分配与管理均由 V8 负责。V8 对堆内存大小设有上限，例如在 64 位操作系统中，单个 Node 进程的最大堆内存约为 1.5GB。即便服务器拥有巨大内存，Node 也无法完全利用。这一限制主要源于垃圾回收（GC）的性能考量：以 1.5GB 堆为例，V8 执行一次小型 GC 需 50ms 以上，全量 GC 甚至超过 1s。GC 过程中 JavaScript 线程会暂停执行，过长的停顿会严重影响后端服务性能，因此 V8 限制了堆大小。尽管如此，V8 仍允许通过 --max-old-pace-size 参数自定义堆大小，其中 old-space 代表老生代，new-space 代表新生代。

node --max-old-space-size=xxx index.js //单位为MB
// 之前还可以通过-max-new-space-size来定义新生代堆大小，现在已经不可以了

当服务器因内存泄漏而频繁重启时，建议适当调大堆内存大小，以争取排查问题的时间。相比直接返回错误页面，服务响应稍慢对用户而言更容易接受。

分代式垃圾回收机制

为什么需要老生代和新生代？

老生代与新生代是分代式垃圾回收机制中的不同分区。由于没有一种算法能适用于所有场景，不同生存周期的对象需要不同的回收策略。V8 根据对象的存活时间将其划分为不同代，并对新生代和老生代应用更高效的算法，以达到最佳回收效果。

新生代对象通常存活时间较短，而老生代对象则长期存在甚至常驻内存。因此，新生代内存通常远小于老生代。以 64 位系统为例，V8 中新生代最大内存为 32MB，老生代最大为 1400MB。V8 实际使用的堆内存大小为新生代与老生代之和（1432MB），但 V8 允许的最大值比实际使用内存多出 32MB（即 1464MB）。

新生代垃圾回收：Scavenge 算法

新生代如何做垃圾回收？

新生代采用名为 Scavenge 的垃圾回收算法，其核心实现基于 Cheney 算法。Cheney 算法将新生代堆分为两部分：已使用的 From semispace 和空闲的 To semispace。对象创建时先在 From 空间分配；当触发 GC 时，检查 From 空间中的存活对象，将其复制到 To 空间，随后清空 From 空间并交换 From 和 To 的角色。整个 GC 过程即存活对象在两个 semispace 间复制。由于生命周期短的场景中存活对象占比小，Scavenge 采用复制策略，但这仅能利用一半堆内存，体现了用空间换时间的思想。

若对象经过多次 GC 后依然存活，则被视为生命周期较长的对象。鉴于新生代空间较小且重复复制长生命周期对象效率低下，这类对象将被移至老生代。新生代对象迁移至老生代需满足两个条件：1. 对象已经历过 GC，确认为长生命周期；2. To 空间使用占比超过 25%。设置 25% 限制的原因是 GC 完成后 To 将变为 From，若不限制可能导致 From 空间迅速耗尽，引发频繁 GC，降低效率。

老生代垃圾回收：Mark-Sweep 与 Mark-Compact

老生代如何做垃圾回收？

由于老生代中存活对象占比大，不适合使用 Scavenge 算法，因此老生代采用 Mark-Sweep 和 Mark-Compact 相结合的回收策略。

Mark-Sweep 分为标记和清除两个阶段：首先遍历堆中所有对象并标记存活对象，随后清除未标记的对象。Mark-Sweep 解决了内存释放问题，但未像 Scavenge 那样复制对象，导致内存碎片化且不连续。Mark-Compact 用于解决碎片化问题，它将存活对象向一端移动，移动完成后直接清理边界外的内存，从而获得大段连续可用内存。然而，对象移动导致 Mark-Compact 速度比 Mark-Sweep 慢。V8 主要使用 Mark-Sweep，仅在空间不足以容纳从新生代迁移过来的对象时才使用 Mark-Compact。

GC 过程会导致应用程序暂停执行。由于新生代空间小且需复制的存活对象少，全量 GC 影响较小。但老生代空间大且存活对象多，全量 GC 会导致较长的应用暂停时间。因此，V8 将老生代的标记阶段改为增量更新方式，使标记与应用程序交替执行直至标记完成，随后再执行非增量的清理工作。

强制垃圾回收的实现

开发者可以指定强制垃圾回收吗？

可以。在启动 Node 服务时添加 --expose-gc 标志即可启用。

$ node --expose-gc file.js

启用后，全局对象上将出现执行垃圾回收的函数。

global.gc();

推荐更安全的写法

function forceGC()
 if (global.gc) {
  global.gc();
 } else {
  console.warn('No GC hook! Start your program as `node --expose-gc file.js`.');
 }
}

最后给大家分享一下参考资料：

https://speakerdeck.com/addyosmani/javascript-memory-management-masterclass

https://www.jb51.net/article/140005.htm

https://www.xarg.org/2016/06/forcing-garbage-collection-in-node-js-and-javascript/