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

垃圾回收：将内存中不再使用的数据进行清理，释放出内存空间。V8将内存分成新生代空间和老生代空间。

新生代内存空间：主要用来存放存活时间较短的对象。

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

Scavenge GC算法: 当 from 空间被占满时，启动 GC 算法

• 存活的对象从 from space 转移到 to space
• 清空 from space
• from space 与 to space 互换
• 完成一次新生代GC

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

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

老生代内存空间：用来存放存活时间较长的对象。

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

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

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

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

从 新生代空间 转移到 老生代空间 的条件

• 经历过一次以上 Scavenge GC 的对象
• 当 to space 体积超过25%

标记清除算法: 标记存活的对象，未被标记的则被释放

• 增量标记: 小模块标记，在代码执行间隙执，GC 会影响性能
• 并发标记(最新技术): 不阻塞 js 执行

压缩算法: 将内存中清除后导致的碎片化对象往内存堆的一端移动，解决 内存的碎片化