聊聊Javascript 垃圾回收机制(二)-V8引擎下的垃圾回收机制.docx

引子从修真故事说起上文大概介绍了垃圾回收的机制和标记清除法的核心思路，接下来准备深入介 绍下v8引擎里的垃圾回收算法。既然是算法类的介绍，那自然是比拟枯燥的, 如果想完全弄懂，可以收藏下来，多看几遍(!_!)。为了缓解一下讲解的枯燥，我觉得可以先从一个比拟有意思的话题来引入。相 信大家都看过一些修真玄幻的小说，渡劫和飞升就是里面常见的桥段，现在来 给大家讲个故事：初始大陆上有很多普通的修真者在修仙，随着时间推移，人数越来越多，最终到 达了这个大陆的承受极限，此时天道必然要出手掌握平衡，从中选拔留下一下 能通过考验的优秀之人，清除掉剩下的修为低下之人，从而腾出大陆空间；天 道选拔的方式是：将这些人挪移到渡劫空间里，然后开始一场小天劫，等到小天劫结束后，再把活下 来的人送回大陆空间，没有渡过的人就会被清除，身死道消； 循环往复，只要每次人数到达大陆空间上限，都会进行一次小天劫，那么这之中就会有度过数次天劫的佼佼者，天道会奖励他飞升到更高级、更广 阔的远古大陆去，踏上更高一级的修炼路程，但是我们知道，修仙之路是逆天之 路，更高级的地方自然也有更高级的劫数，远古大陆虽然更加辽阔，远胜于初始 大陆，但是每隔一定的时间，也会触发一次更大级别的大天劫，清理这个大陆 上的修真者。大局部的修真者生命是短暂的，熬不过一两次小天劫，只有少数的修真者能够脱 颖而出，飞升到远古大陆。故事暂时就讲到这里，接下来就是正题。堆结构的划分在聊垃圾回收之前，要先了解下v8引擎对于堆结构的划分：1 .新空间(New-space)：大多数对象都分配在这里。新空间很小，并且被设计为可以非 常快速地进行垃圾回收，而与其他空间无关。其实这个新生空间对应的，就是前文 的初始大陆2 .旧指针空间(Old-pointer-space)：包含大多数对象，这些对象可能具有指向其他对 象的指针。在新空间中生存了一段时间后，大多数对象都移到了这里。(特例也可 以先不管)3 .旧数据空间(Old-data-space)：包含仅包含原始数据的对象(没有指向其他对象的 指针)。在新空间中存活了一段时间后，字符串，装箱的数字和未装箱的双精度数 组会移到此处。旧指针空间和旧数据空间合起来就称为旧空间，就对应前文的远古 大陆。4 .大对象空间：此空间包含的对象大于其他空间的大小限制。大对象永远不会被垃圾 收集器移动。（可以先不管）5 .代码空间：此处分配了包含JIT指令的代码对象。这是唯一具有可执行内存的空间 （尽管可以在大对象空间中分配代码，并且这些代码也是可执行的。（可以先不管）介绍到这里，相信有些同学已经可以对应出一局部内容了，接着往下看（主要先 记住前面3个空间就好，后面会一直用到）：分代回收机制（Generational collection）在大局部小说设定里，普通修真者的生命总是短暂的，能脱颖而出的万中无一。 在大局部程序里,对象数据的生命也是短暂的，只有少局部数据对象会长期存活。 所以根据这种情况，v8引擎设计了分代回收的方式-也就是前面提到的：天劫 分一大一小两类，小天劫发生频繁，清扫新生和普通的修真者，只在初始大陆 发生；大天劫间隔更久，清理远古大陆的修真者，他们分别发生在不同的空间， 共同完成垃圾回收任务。整体配合机制如下：1 .在新空间分配新对象，直到空间充满，就触发小型回收机制；2 .在小型回收机制中存活下2次的对象，就会被移动到旧空间去（根据数据特点分配 到旧指针空间或者旧数据空间）；3 .旧数据空间内存到达一定值的时候（这个阈值具体的参数先不用关注），触发大型 回收机制（major garbage collection）；（可以再去回头读读前面的故事 是不是基本全对上了！）接下来我们来分别介绍这两种机制。小型回收机制scavenge小型回收机制，官方名称是scavenge,它发生概率频繁，所以要求速度要比拟 快。基本算法思路源于著名的Cheney算法，思路如下：1 .把新空间融cw-卯均分为两局部，命名为from空间和to空间；（这两个空间不会同时使用）2 .前面说的新对象的分配是在to空间进行的，直到填满to空间为止；3 .此时交换空间和土。空间，也就是把to空间的所有对象都移动到空间，这一步执行完后，to空间变成空的，f/OM是满的；4 .在空间，从“元开始寻找所有可访问对象(这是上一篇的内容了，忘记了可 以去回顾一下)，然后把这些对象都移动到仇空间或者。回空间(某些已经挨过两 次的就应该飞升了)，这一步其实,8引擎还会顺便做一下压实(compacted),也就 是把存活的对象位置稍微集中一下，增加一下缓存的局部性，保持分配快速而简单；5 .清空空间(筛选剩下的都是可回收的了)；第一次接触这个算法的读者可能稍微有点绕，也会疑惑为什么不直接在to空间 满了的时候就直接清理垃圾，保存We对象(也就是可访问对象)，反而要移来移 去的；其实多看两遍就很好理解了，这样设计的好处在于仇空间永远作为实际 的内存分配空间，仇充当的只是一个临时容器，也就是渡劫的空间，两者不 需要同时使用，这样非常清晰。官方还贴了一份伪代码：def SMve八gc():toSpace)allocatioiPtr = toSpace.bottomscaPtr = toSpace.bottomfor i =。.怙八(roots)：root = rootsiif iiFroMSpace(root):rootCopy = copyObjec&callocatioiPtr, root)setForw4KdihgAddress(rootj rootCopyrooti = rootCopywki/c scaiPtr < allocatioiPtr:ohj = object at scaiPtrscaiPtr + 二 size(obj)八=size八 Wos(obj)for i = Om:if isPoMter(obji) and vot iiOldSpace(obji):froMNcighboH = objiif hasFoirwa也iAgAddYess(firoMNeighbo。toNcighboy = getF"waMgAdd 丫。双 fvoMNeighb。吟eke：toNeiglbor = copyOhjec&callocatioiPtir, femNeighbor)setF。忆wavdi八gAdclYess(fHOMNeighboH)toNeighbor)obji = toNeigkbordef copyObject(allocatioiPtr, object):copy = allocatioPtrallocatioinPtr 十 二 sizc(objcct)ieicpy(copyJ object, size(object')匕血m copy代码自然看起来枯燥一些，适合有兴趣的读者后面慢慢研究，第一遍阅读完全可 以略过，因为思路都已经讲完了，缺的只是一些具体的实现。这里有个小细节，我们刚刚说到，回收的起始点是“元对象，也就是全局对象以及所有它可以访问到的对象（包括闭包等）。那么如果某个对象只是被已经飞升 到旧空间的数据对象引用了那么办呢？按照我们这种清理方式，如果我们不把 旧空间扫描一遍来排查这样的特殊情况，就会把这个对象给误清理掉；如果我们 真的这么做，那本钱就抬高了，因为我们说过小型清理的发生频率非常高，所以 不可能每次都还去扫描旧空间。所以,为了解决这个问题,v8引擎在内存里维护了一个缓冲区,每当新aw,ace） 空间的对象被旧（。以-space）空间的对象引用时，这个旧空间对象的keg将会被记 录下来,例如：var userl = hmc：这里省略一些代码，假定经历了一段时间并且userl被移动到。以空间之后use工Ri。，二八“me： JoW;这个例子中，我们假设小工经过一段时间后进入了旧空间，然后恒好:丁亦巧被新分配到新空间，并且只有use壮保存了对它的引用，此时这个key,也就是Mend 的内存位置会被记录到缓冲区里，后面会专门检测这种情况，防止误杀。这个虽然需要额外花费一些代价，但是是为了到达回收效果必须要付出的本钱, 而且实际这种情景的频率并没有想象的高。大型回收机制小型回收机制See悖比拟适合小区域的清理，因为它需要交换内存空间，有比 较多内存开销，因为新空间比拟小，所以这样做是没问题的，对于要大的多的 旧空间，就要用大型回收机制。大型回收机制指的就是我们前文说的标记-清除法，实际上包含分成标记-清除和 标记压实（压实的概念前面也说过了）两种。他们都是分2个阶段来运行的：标记阶段：本质上就是一场深度优先搜索：有三种颜色的标记（白色-初 始状态，黑色-已检查状态；灰色-待检查状态）；1 .首先将所有的对象设置为白色，然后从root对象出发，将所有可以访问的 对象标记为灰色。并用一个数组缓存起来；2 .然后遍历该数组，每次都把要遍历的对象涂成黑色并移出，并且把他的相邻 节点都涂成灰色，并放入队列，直到队列为空3 .继续检查是否有灰色对象，如果有继续放入队列然后循环，直到所有的可访 问对象都变成黑色。这一段看起来虽然有点绕，但是实质上就是深度遍历有向图，比拟基础，所以就 不画流程图了。经过标记以后，所有的对象就只剩下黑色和白色了，其中白色 的就是可清理垃圾对象。清除（或压实）阶段：清除算法比拟简单，根据上一步的查找结果，把对应白色标 记对象内存地址转为自由空间；压实算法相对复杂一些，核心的思路是把对象从比 较分散的内存地址，集体迁移到其他某一块连续的内存地址里面，一般是另外选取 一个连续内存块，然后把对象复制过去，并且在源对象上留下一个转发地址，在迁 移过程中，记录下相关的指针位置，在完成整个迁移之后，更新指针指向新位置，如 果遇到某一块内存地址由于太多对象都要迁移过去，导致无法全部迁移，那么会等 到下一个大回收周期再继续迁移。好了到这里，核心内容基本就介绍完了，可以稍作休息。v8引擎的优化机制-增量标记和延迟清除遇到大量的实时数据处理时，标记清除（或压实）法会很耗时，所以Google提 出了两项改进方案：增量标记和延迟清除。增量标记： 这个其实蛮好理解的，因为前文讲到的标记清除算法可能一次做完需要很长的时 间，这个期间是需要暂停程序的，所以v8允许设定一个阈值，例如每次标记一 定数量（比方100个）的对象，就先回去执行程序，然后再回来继续标记，也就 是在程序运行过程穿插垃圾回收，从而降低最大暂停时间。但是这个方法有个问题：假如我第一次已经把一些对象标记过了，但是返回垃 圾回收过程时，有些对象被修改了！ 例如前面标记为黑色的对象，在返回执行程序过程，增加了一个指向已经被标记 为白色对象的指针，这就会导致直接继续执行标记会误杀这个白色对象（因为后 来它实际上变成可访问的了），怎么办呢？ 很简单，还记不记得小回收阶段，v8引擎在内存里维护了一个缓冲区，解决new 空间的对象被。Id空间的对象引用的方法？同样的，他也会记录这种从黑色对 象到白色对象的指针，并且之后把这样的黑色对象再变成灰色，重新检查，这 样问题就解决了。延迟清除: 这个也很简单，在标记之后，引擎清楚直到哪些是可以清除的对象，但是并不代 表需要同时清除掉这些垃圾，所以引擎选择按需清理，优先从需要的页面开始, 逐步清理所有的页面垃圾，然后就算就完成了一整个垃圾回收周期。总结本文在前一节的基础上，深入分析了 v8引擎的垃圾回收机制， 从大的方面来说，分成小回收周期和大的回收周期 小回收周期发生在新空间，频率高，时间短速度快，运用chenny算法 大回收周期发生在旧空间，频率低，速度慢，用深度优先遍历和三色标记法（黑白 灰） 优化方式主要是增量标记和延迟清理，核心思路是碎片化标记阶段和优先按需清理 空间好了，关于垃圾回收的内容，大概就说到这里，本文相对前一篇文章稍微枯燥 一些，而且没有画图来说明过程（问就是懒得画但是多看儿遍还是挺好 理解的，而且已经去掉了关于内存位图之类更底点的东西方便理解核心思路，想 钻研更底层内容的同学可以看后面详细的参考文章。惯例：如果内容有错误的地方欢迎指出（觉得看着不理解不舒服想吐槽也完全 没问题）；如果有帮助，欢迎点赞和收藏，转载请征得同意后著明出处，如果 有问题也欢迎私信交流，主页有邮箱地址顺便再说下，RingCentral目前在杭州也设置了办公点，而且可以申请长期远程办 公，告别996,平衡工作生活，有兴趣的同学可以私信或者发邮件给我，可以免 费帮助内推参考文章 :/jayconrod /posts/55/a-tour-of-v8-garbage-collectionjavascript垃圾回收机制前端