V8主要的垃圾回收算法
V8的垃圾回收策略主要基于分代式垃圾回收机制,主要将内存分为新生代和老生代,V8堆的整体内存空间就是新生代所用内存空间加上老生代的内存空间:
在分代的基础上,新生代主要通过Scavenge算法进行垃圾回收,在Scavenge具体实现中,主要采用了Cheney算法:
将堆内存一分为二,每一部分空间称为semispace,在这两个semispace空间中只有一个处于使用中称为From空间,另一个处于闲置状态称为To空间:
当我们分配对象时,先是在From空间中进行分配。当开始进行垃圾回收时,会检查From空间中的存活对象,这些存活对象将被复制到To空间中,而非存活对象占用的空间将被释放。完成复制后,From空间和To空间角色互换。简而言之,垃圾回收的过程中就是通过将存活对象在两个semispace空间之间进行复制
当一个对象经过多次复制依然存活时,它将会被认为是生命周期较长随后会被移动到老生代中,采用新的算法进行管理
对象从新生代移动到老生代中的过程称为晋升,晋升的条件主要有两个,一个是对象是否经历过Scavenge回收,一个是To空间的内存占用比超过限制
对于老生代的对象主要采用Mark-Sweep和Mark-Compact相结合的方式进行垃圾回收。Mark-Sweep分为标记和清除两个阶段,在标记阶段遍历堆中的所有对象,并标记活着的对象,随后的清除阶段中只清除没有被标记的对象
Mark-Sweep最大的问题是在进行一次被标记清除回收后,内存空间会出现不连续的状态,有可能需要分配一个大对象的情况这时候所有碎片空间都无法满足此次分配就会提前触发垃圾回收,这次回收是不必要的,为了解决这个问题,使用Mark-Compact在对象标记为死亡后,在整理的过程中,将活着的对象往一端移动,移动完成后直接清理掉边界外的内存