V8 内存管理和垃圾回收机制总结

时间：2022-09-22 04:16:05

这篇文章主要介绍 V8 的内存管理和垃圾回收知识。

V8 内存管理及垃圾回收机制浅析

由于 V8 引擎的原因，Node 在操作大内存对象时受到了一些限制，在 64 位的机器上，默认最大操作的对象大小约为 1.4G，在 32 位的机器上，默认最大操作的对象大小约为 0.7G。

如果我们的 Node 程序会经常操作一些大内存的对象，可以对这个默认值进行修改：

node --max-old-space-size=1700 index.js

node --max-new-space-size=1024 index.js

其中，max-old-space-size 表示设置老生代内存空间的最大容量，max-new-space-size 表示这只新生代内存空间的最大容量。但这两个值也是有上限的，不能无限设置，其中老生代内存空间最大的值约为 1.7G，新生代最大内存空间约为 1.0G。

至于新生代和老生代，这是 V8 对内存的一个分类，后文再介绍。

回到操作大内存对象的问题，如果 1.7G 的内存还是不够大怎么办呢？要知道 1.7G 是在 V8 引擎层面上做出的限制，要想避开这种限制，我们可以使用 Buffer 对象，Buffer 对象的内存分配在 C++ 层面进行，不受 V8 引擎限制。

注：通过 process.memoryUsage() 方法可以用来查看 V8 引擎的内存使用量，通过 os.totalmem() 方法和 os.freemem() 方法分别可以查看操作系统的总内存和空闲内存。

// 查看 V8 的内存使用情况

process.memoryUsage()

{

  rss: 31469568,

  heapTotal: 7708672,

  heapUsed: 5152856,

  external: 8609

}

// 查看操作系统总内存

os.totalmem()

8279511040

// 查看操作系统的空闲内存

os.freemem()

1610977280

通过上面几个方法获取到的内存都是以字节为单位。

新生代和老生代

V8 将内存分为两类：新生代内存空间和老生代内存空间，新生代内存空间主要用来存放存活时间较短的对象，老生代内存空间主要用来存放存活时间较长的对象。对于垃圾回收，新生代和老生代有各自不同的策略，下面依次进行介绍。

新生代垃圾回收

新生代内存中的垃圾回收主要通过 Scavenge 算法进行，具体实现时主要采用了 Cheney 算法。Cheney 将内存空间一分为二，每部分都叫做一个 Semispace，这两个 Semispace 一个处于使用，一个处于闲置。处于使用中的 Semispace 也叫作 From，处于闲置中的 Semispace 也叫作 To。

在垃圾回收运行时时，会检查 From 中的对象，当某个对象需要被回收时，将其留在 From 空间，剩下的对象移动到 To 空间，然后进行反转，将 From 空间和 To 空间互换。进行垃圾回收时，会将 To 空间的内存进行释放，如下图所示：

V8 内存管理和垃圾回收机制总结

新生代垃圾回收.png

简而言之，就是 From 空间中存放不需要被回收的对象，To 空间中存放需要被回收的对象，当垃圾回收运行时，将 To 空间中的对象全部进行回收。

新生代对象的晋升

前面说过，新生代内存空间用来存放存活时间较短的对象，老生代内存空间用来存放存活时间较长的对象。新生代中的对象可以晋升到老生代中，具体有两种方式：

  1. 在垃圾回收的过程中，如果发现某个对象之前被清理过，那么会将其晋升到老生代内存空间中
  2. 在 From 空间和 To 空间进行反转的过程中，如果 To 空间中的使用量已经超过了 25%，那么就将 From 中的对象直接晋升到老生代内存空间中

老生代垃圾回收

说完新生代的垃圾回收，再来看下老生代中的垃圾回收。首先，老生代内存空间和新生代内存空间的结构不一样，其是一个连续的结构，而不像新生代内存空间那样分为 From 和 To 两个部分：

V8 内存管理和垃圾回收机制总结

老生代内存空间.png

老生代内存空间中的垃圾回收有标记清除（Mark Sweep）和标记合并（Mark Compact）两种方式。

Mark Sweep

Mark Sweep 是将需要被回收的对象进行标记，在垃圾回收运行时直接释放相应的地址空间，如下图所示(红色的内存区域表示需要被回收的区域)：

V8 内存管理和垃圾回收机制总结

标记清除.png

如上图所示，使用 Mark Sweep 进行垃圾回收会产生一个问题，就是垃圾回收后内存会出现不连续的情况，为了解决这个问题，出现了 Mark Compact 方案。

Mark Compact

Mark Compact 的思想有点像新生代垃圾回收时采取的 Cheney 算法：将存活的对象移动到一边，将需要被回收的对象移动到另一边，然后对需要被回收的对象区域进行整体的垃圾回收。

V8 内存管理和垃圾回收机制总结

标记合并.png

上图展示了在老生代内存空间使用 Mark Compact 进行垃圾回收的过程。

总结

本文主要简单介绍了 Node 的内存管理和垃圾回收相关的知识：

  • V8 的大对象操作限制问题和解决方案
  • 获取内存使用量的几个方法
  • 新生代和老生代的概念
  • 新生代和老生代的垃圾回收方案

附：参考资料

V8的垃圾回收机制与内存限制

node 内存限制的问题

node内存控制

完。

相关文章