前言
大家好，我是林三心。前两天，无心中看到了B站上一个讲V8垃圾回收机制的视频，感兴趣的我看了一下，感觉有点难懂，于是我就在想，大家是不是跟我一样对V8垃圾回收机制这方面的常识都比拟懵，或者说看过这方面的常识，然而看不懂。所以，我思考了三天，想了一下如何能力用最艰深的话，讲最难的知识点。
一般了解
我置信大部分同学在面试中经常被问到：”说一说V8垃圾回收机制吧“
这个时候，大部分同学必定会这么答复：”垃圾回收机制有两种形式，一种是援用法，一种是标记法“
援用法
就是判断一个对象的援用数，援用数为0就回收，援用数大于0就不回收。请看以下代码
let obj1 = { name: '林三心', age: 22 }let obj2 = obj1let obj3 = obj1obj1 = nullobj2 = nullobj3 = null援用法是有毛病的，上面代码执行完后，按理说obj1和obj2都会被回收，然而因为他们相互援用，各自援用数都是1，所以不会被回收，从而造成内存透露
function fn () { const obj1 = {} const obj2 = {} obj1.a = obj2 obj2.a = obj1}fn()标记法
标记法就是，将可达的对象标记起来，不可达的对象当成垃圾回收。
那问题来了，可不可达，通过什么来判断呢？(这里的可达，可不是可达鸭)
言归正传，想要判断可不可达，就不得不说可达性了，可达性是什么？就是从初始的根对象（window或者global）的指针开始，向下搜寻子节点，子节点被搜寻到了，阐明该子节点的援用对象可达，并为其进行标记，而后接着递归搜寻，直到所有子节点被遍历完结。那么没有被遍历到节点，也就没有被标记，也就会被当成没有被任何中央援用，就能够证实这是一个须要被开释内存的对象，能够被垃圾回收器回收。
// 可达var name = '林三心'var obj = { arr: [1, 2, 3]}console.log(window.name) // 林三心console.log(window.obj) // { arr: [1, 2, 3] }console.log(window.obj.arr) // [1, 2, 3]console.log(window.obj.arr[1]) // 2function fn () { var age = 22}// 不可达console.log(window.age) // undefined一般的了解其实是不够的，因为垃圾回收机制(GC)其实不止这两个算法，想要更深刻地理解V8垃圾回收机制，就持续往下看吧！！！
JavaScript内存治理
其实JavaScript内存的流程很简略，分为3步：
- 1、调配给
使用者所需的内存 - 2、
使用者拿到这些内存，并应用内存 - 3、
使用者不须要这些内存了，开释并归还给零碎
那么这些使用者是谁呢？举个例子：
var num = ''var str = '林三心'var obj = { name: '林三心' }obj = { name: '林瘦子' }下面这些num，str，obj就是就是使用者，咱们都晓得，JavaScript数据类型分为根底数据类型和援用数据类型:
根底数据类型：领有固定的大小，值保留在栈内存里，能够通过值间接拜访援用数据类型：大小不固定(能够加属性)，栈内存中存着指针，指向堆内存中的对象空间，通过援用来拜访
- 因为栈内存所存的根底数据类型大小是固定的，所以栈内存的内存都是
操作系统主动调配和开释回收的 - 因为堆内存所存大小不固定，零碎
无奈主动开释回收，所以须要JS引擎来手动开释这些内存
为啥要垃圾回收
在Chrome中，V8被限度了内存的应用（64位约1.4G/1464MB ， 32位约0.7G/732MB），为什么要限度呢？
- 表层起因：V8最后为浏览器而设计，不太可能遇到用大量内存的场景
- 深层起因：V8的垃圾回收机制的限度（如果清理大量的内存垃圾是很耗时间，这样回引起JavaScript线程暂停执行的工夫，那么性能和利用直线降落）
后面说到栈内的内存，操作系统会主动进行内存调配和内存开释，而堆中的内存，由JS引擎（如Chrome的V8）手动进行开释，当咱们的代码没有依照正确的写法时，会使得JS引擎的垃圾回收机制无奈正确的对内存进行开释（内存泄露），从而使得浏览器占用的内存一直减少，进而导致JavaScript和利用、操作系统性能降落。
V8的垃圾回收算法
1. 分代回收
在JavaScript中，对象存活周期分为两种状况
- 存活周期很短：通过一次垃圾回收后，就被开释回收掉
- 存活周期很长：通过屡次垃圾回收后，他还存在，赖着不走
那么问题来了，对于存活周期短的，回收掉就算了，但对于存活周期长的，屡次回收都回收不掉，明知回收不掉，却还一直地去做回收无用功，那岂不是很耗费性能？
对于这个问题，V8做了分代回收的优化办法，艰深点说就是：V8将堆分为两个空间，一个叫新生代，一个叫老生代，新生代是寄存存活周期短对象的中央，老生代是寄存存活周期长对象的中央
新生代通常只有1-8M的容量，而老生代的容量就大很多了。对于这两块区域，V8别离应用了不同的垃圾回收器和不同的回收算法，以便更高效地施行垃圾回收
副垃圾回收器 + Scavenge算法：次要负责新生代的垃圾回收主垃圾回收器 + Mark-Sweep && Mark-Compact算法：次要负责老生代的垃圾回收
1.1 新生代
在JavaScript中，任何对象的申明调配到的内存，将会先被搁置在新生代中，而因为大部分对象在内存中存活的周期很短，所以须要一个效率十分高的算法。在新生代中，次要应用Scavenge算法进行垃圾回收，Scavenge算法是一个典型的就义空间换取工夫的复制算法，在占用空间不大的场景上十分实用。
Scavange算法将新生代堆分为两局部，别离叫from-space和to-space，工作形式也很简略，就是将from-space中存活的流动对象复制到to-space中，并将这些对象的内存有序的排列起来，而后将from-space中的非流动对象的内存进行开释，实现之后，将from space 和to space进行调换，这样能够使得新生代中的这两块区域能够反复利用。
具体步骤为以下4步：
- 1、标记流动对象和非流动对象
- 2、复制
from-space的流动对象到to-space中并进行排序 - 3、革除
from-space中的非流动对象 - 4、将
from-space和to-space进行角色调换，以便下一次的Scavenge算法垃圾回收
那么，垃圾回收器是怎么晓得哪些对象是流动对象，哪些是非流动对象呢？
这就要不得不提一个货色了——可达性。什么是可达性呢？就是从初始的根对象（window或者global）的指针开始，向下搜寻子节点，子节点被搜寻到了，阐明该子节点的援用对象可达，并为其进行标记，而后接着递归搜寻，直到所有子节点被遍历完结。那么没有被遍历到节点，也就没有被标记，也就会被当成没有被任何中央援用，就能够证实这是一个须要被开释内存的对象，能够被垃圾回收器回收。
新生代中的对象什么时候变成老生代的对象？
在新生代中，还进一步进行了细分。分为nursery子代和intermediate子代两个区域，一个对象第一次分配内存时会被调配到新生代中的nursery子代，如果通过下一次垃圾回收这个对象还存在新生代中，这时候咱们将此对象挪动到intermediate子代，在通过下一次垃圾回收，如果这个对象还在新生代中，副垃圾回收器会将该对象挪动到老生代中，这个挪动的过程被称为降职
1.2 老生代
新生代空间的对象，南征北战之后，留下来的老对象，胜利降职到了老生代空间里，因为这些对象都是通过屡次回收过程然而没有被回收走的，都是一群生命力倔强，存活率高的对象，所以老生代里，回收算法不宜应用Scavenge算法，为啥呢，有以下起因：
Scavenge算法是复制算法，重复复制这些存活率高的对象，没什么意义，效率极低Scavenge算法是以空间换工夫的算法，老生代是内存很大的空间，如果应用Scavenge算法，空间资源十分节约，得失相当啊。。
所以老生代里应用了Mark-Sweep算法(标记清理)和Mark-Compact算法(标记整顿)
Mark-Sweep(标记清理)
Mark-Sweep分为两个阶段，标记和清理阶段，之前的Scavenge算法也有标记和清理，然而Mark-Sweep算法跟Scavenge算法的区别是，后者须要复制后再清理，前者不须要，Mark-Sweep间接标记流动对象和非流动对象之后，就间接执行清理了。
- 标记阶段：对老生代对象进行第一次扫描，对流动对象进行标记
- 清理阶段：对老生代对象进行第二次扫描，革除未标记的对象，即非流动对象
由上图，我想大家也发现了，有一个问题：清除非流动对象之后，留下了很多零零散散的空位。
Mark-Compact(标记整顿)
Mark-Sweep算法执行垃圾回收之后，留下了很多零零散散的空位，这有什么害处呢？如果此时进来了一个大对象，须要对此对象调配一个大内存，先从零零散散的空位中找地位，找了一圈，发现没有适宜本人大小的空位，只好拼在了最初，这个寻找空位的过程是耗性能的，这也是Mark-Sweep算法的一个毛病
这个时候Mark-Compact算法呈现了，他是Mark-Sweep算法的加强版，在Mark-Sweep算法的根底上，加上了整顿阶段，每次清理完非流动对象，就会把剩下的流动对象，整顿到内存的一侧，整顿实现后，间接回收掉边界上的内存
2. 全进展(Stop-The-World)
说完V8的分代回收，咱们来聊聊一个问题。JS代码的运行要用到JS引擎，垃圾回收也要用到JS引擎，那如果这两者同时进行了，发生冲突了咋办呢？答案是，垃圾回收优先于代码执行，会先进行代码的执行，等到垃圾回收结束，再执行JS代码。这个过程，称为全进展
因为新生代空间小，并且存活对象少，再配合Scavenge算法，进展工夫较短。然而老生代就不一样了，某些状况流动对象比拟多的时候，进展工夫就会较长，使得页面呈现了卡顿景象。
3. Orinoco优化
orinoco为V8的垃圾回收器的我的项目代号，为了晋升用户体验，解决全进展问题，它提出了增量标记、懒性清理、并发、并行的优化办法。
3.1 增量标记(Incremental marking)
咱们后面一直强调了先标记，后革除，而增量标记就是在标记这个阶段进行了优化。我举个活泼的例子：路上有很多垃圾，害得路人都走不了路，须要清洁工清扫洁净能力走。前几天路上的垃圾都比拟少，所以路人们都等到清洁工全副清理洁净才通过，然而后几天垃圾越来越多，清洁工清理的太久了，路人就等不及了，跟清洁工说：“你清扫一段，我就走一段，这样效率高”。
大家把下面例子里，清洁工清理垃圾的过程——标记过程，路人——JS代码，一一对应就懂了。当垃圾大量时不会做增量标记优化，然而当垃圾达到肯定数量时，增量标记就会开启：标记一点，JS代码运行一段，从而提高效率
3.2 惰性清理(Lazy sweeping)
下面说了，增量标记只是针对标记阶段，而惰性清理就是针对革除阶段了。在增量标记之后，要进行清理非流动对象的时候，垃圾回收器发现了其实就算是不清理，残余的空间也足以让JS代码跑起来，所以就提早了清理，让JS代码先执行，或者只清理局部垃圾，而不清理全副。这个优化就叫做惰性清理
整顿标记和惰性清理的呈现，大大改善了全进展景象。然而问题也来了：增量标记是标记一点，JS运行一段，那如果你前脚刚标记一个对象为流动对象，后脚JS代码就把此对象设置为非流动对象，或者反过来，前脚没有标记一个对象为流动对象，后脚JS代码就把此对象设置为流动对象。总结起来就是：标记和代码执行的交叉，有可能造成对象援用扭转，标记谬误景象。这就须要应用写屏障技术来记录这些援用关系的变动
3.3 并发(Concurrent)
并发式GC容许在在垃圾回收的同时不须要将主线程挂起，两者能够同时进行，只有在个别时候须要短暂停下来让垃圾回收器做一些非凡的操作。然而这种形式也要面对增量回收的问题，就是在垃圾回收过程中，因为JavaScript代码在执行，堆中的对象的援用关系随时可能会变动，所以也要进行写屏障操作。
3.4 并行
并行式GC容许主线程和辅助线程同时执行同样的GC工作，这样能够让辅助线程来分担主线程的GC工作，使得垃圾回收所消耗的工夫等于总工夫除以参加的线程数量（加上一些同步开销）。
V8以后的垃圾回收机制
2011年，V8利用了增量标记机制。直至2018年，Chrome64和Node.js V10启动并发标记（Concurrent），同时在并发的根底上增加并行（Parallel）技术，使得垃圾回收工夫大幅度缩短。
副垃圾回收器
V8在新生代垃圾回收中，应用并行（parallel）机制，在整顿排序阶段，也就是将流动对象从from-to复制到space-to的时候，启用多个辅助线程，并行的进行整顿。因为多个线程竞争一个新生代的堆的内存资源，可能呈现有某个流动对象被多个线程进行复制操作的问题，为了解决这个问题，V8在第一个线程对流动对象进行复制并且复制实现后，都必须去保护复制这个流动对象后的指针转发地址，以便于其余帮助线程能够找到该流动对象后能够判断该流动对象是否已被复制。
主垃圾回收器
V8在老生代垃圾回收中，如果堆中的内存大小超过某个阈值之后，会启用并发（Concurrent）标记工作。每个辅助线程都会去追踪每个标记到的对象的指针以及对这个对象的援用，而在JavaScript代码执行时候，并发标记也在后盾的辅助过程中进行，当堆中的某个对象指针被JavaScript代码批改的时候，写入屏障（write barriers）技术会在辅助线程在进行并发标记的时候进行追踪。
当并发标记实现或者动态分配的内存达到极限的时候，主线程会执行最终的疾速标记步骤，这个时候主线程会挂起，主线程会再一次的扫描根集以确保所有的对象都实现了标记，因为辅助线程曾经标记过流动对象，主线程的本次扫描只是进行check操作，确认实现之后，某些辅助线程会进行清理内存操作，某些辅助过程会进行内存整理操作，因为都是并发的，并不会影响主线程JavaScript代码的执行。
结语
读懂了这篇文章，下次面试官问你的时候，你就能够不必傻乎乎地说：“援用法和标记法”。而是能够更全面地，更粗疏地驯服面试官了。
后续会出一篇讲我的项目中内存透露的文章，敬请期待！！！
我是林三心，一个热心的前端菜鸟程序员。如果你上进，喜爱前端，想学习前端，那咱们能够交朋友，一起摸鱼哈哈，摸鱼群，加我请备注【思否】