垃圾回收机制

一、为什么要垃圾回收机制：

众所周知，应用程序在运行过程中需要占用一定的内存空间，且在运行过后就必须将不再用到的内存释放掉，否则就会出现内存的占用持续升高的情况，一方面会影响程序的运行速度，另一方面严重的话则会导致整个程序的崩溃。

二、JavaScript垃圾回收机制：

回收机制：

在js中创建一个变量时，会自动分配内存空间，当变量不再被使用时，垃圾回收机制会自动释放相应的内存空间

在垃圾回收机制中，我们还要注意一点，

全停顿：

垃圾回收算法在执行前，需要将应用逻辑暂停，执行完垃圾回收后再执行应用逻辑

三、JavaScript垃圾回收机制算法：

在讲解垃圾回收机制算法之前，我们先看一下JavaScript的判定垃圾的情况

JavaScript中会被判定为垃圾的情形如下：

• 对象不再被引用；
• 对象不能从根上访问到；

常见的垃圾回收算法有：

• 引用计数
• 标记清除
• 标记整理
• 分代回收

引用计数

统计引用类型变量声明后被引用的次数，当次数为0时，该变量将被回收。但是引用计数的算法有一个缺点：会出现循环引用。

引用计数的判断原理很简单，就是看一份数据是否还有指向它的引用，若是没有任何对象再指向它，那么垃圾回收器就会回收,其策略是跟踪记录每个变量值被使用的次数

• 当声明了一个变量并且将一个引用类型赋值给该变量时，这个值的引用次数就为 1

• 如果同一个值又被赋给另一个变量，那么引用数加 1

• 如果该变量的值被其他的值覆盖了，则引用次数减 1

• 当这个值的引用次数变为 0 的时候，说明没有变量在使用，这个值没法被访问了，回收空间，垃圾回收器会在运行的时候清理掉引用次数为 0 的值占用的内存

这样说可能不是怎么好理解，我们通过例子来看一下

例子1

const user1 = {age: 11}
const user2 = {age: 22}
const user3 = {age: 33}
 
const userList = [user1.age, user2.age, user3.age]

user1、user2、user3都是被userList引用的，所以它们的引用计数是1，不为零，就不会被回收

例子2

function fn() {
    const num1 = 1
    const num2 = 2
}
 
fn()

fn函数执行完毕，num1、num2都是局部变量，执行过后，它们的引用计数就会减1，变成零，这样的代码就会被当做“垃圾”，进行回收。

例子3

function f() {
    var o1 = {};
    var o2 = {};
    o1.a = o2; // o1 引用 o2
    o2.a = o1; // o2 引用 o1
    return;
};

这里出现了循环引用，引用次数始终不会为0，因此垃圾回收器不会释放它们。

注：

引用计数算法其实还有一个比较大的缺点，就是我们需要单独拿出一片空间去维护每个变量的引用计数，这对于比较大的程序，空间开销还是比较大的。

引用计数算法优点：

• 引用计数为零时，发现垃圾立即回收；
• 最大限度减少程序暂停；

引用计数算法缺点：

• 无法回收循环引用的对象；
• 空间开销比较大；

标记清除法 

标记清除（Mark-Sweep），目前在 JavaScript引擎 里这种算法是最常用的，到目前为止的大多数浏览器的 JavaScript引擎 都在采用标记清除算法。

此算法可以分为两个阶段，一个是标记阶段（mark），一个是清除阶段(sweep)。

• 标记阶段：垃圾回收器会从根对象开始遍历(在js中，通常认定全局对象window做为根)。每一个可以从根对象访问到的对象都会被添加一个标识，于是这个对象就被标识为可到达对象。可以理解为遍历所有对象找标记活动对象；
• 清除阶段：垃圾回收器会对堆内存从头到尾进行线性遍历，如果发现有对象没有被标识为可到达对象，那么就将此对象占用的内存回收，并且将原来标记为可到达对象的标识清除，以便进行下一次垃圾回收操作。可以理解为遍历所有对象清除没有标记对象，并回收相应空间

 但是标记清除法会导致内存碎片化。就是空闲内存块是不连续的，当需要多块连续的内存时，这些内存无法使用，就容易出现很多空闲内存块

标记整理

为了解决内存碎片化的问题，提高对内存的利用，引入了标记整理算法。

标记整理可以看做是标记清除的增强。标记阶段的操作和标记清除一致。

清除阶段会先执行整理，移动对象位置,将存活的对象移动到一边，然后再清理端边界外的内存。

清理后的结果如图：

标记整理的缺点是：移动对象位置，不会立即回收对象，回收的效率比较慢

增量标记

为了减少全停顿的时间，V8对标记进行了优化，将一次停顿进行的标记过程，分成了很多小步。每执行完一小步就让应用逻辑执行一会儿，这样交替多次后完成标记。

至于为什么会使用增量标记：

长时间的垃圾清理，会导致应用暂停和无响应，将会导致糟糕的用户体验。从2011年起，v8就将「全暂停」标记换成了增量标记。改进后的标记方式，最大停顿时间减少到原来的1/6。

四、v8引擎的垃圾回收机制

• 采用分代回收的思想；
• 内存分为新生代、老生代；

针对不同对象采用不同算法：
（1）新生代：对象的存活时间较短。新生对象或只经过一次垃圾回收的对象。
（2）老生代：对象存活时间较长。经历过一次或多次垃圾回收的对象。

新生代

新生代的特点：

• 通常把小的对象分配到新生代
• 新生代的垃圾回收比较频繁
• 通常存储容量在1~8M

新生代-复制算法（Scavenge算法）

该算法将新生代分为两个等大空间，一空间叫做from（对象区域），另一空间叫做to（空闲区域），新加入的对象首先存放在from区域；

检查From空间内的存活对象，若对象存活，检查对象是否符合晋升条件，若符合条件则晋升到老生代，否则将对象从 From 空间复制到 To 空间。若对象不存活，则释放不存活对象的空间。完成复制后，将 From 空间与 To 空间进行角色翻转。

对象晋升

新生代对象晋升为老一代对象

当对象从From 空间复制到 To 空间时，若 To 空间使用超过 25%，则对象直接晋升到老生代中。设置为25%的比例的原因是，当完成 Scavenge 回收后，To 空间将翻转成From 空间，继续进行对象内存的分配。若占比过大，将影响后续内存分配。 

老生代

回收老生代对象主要采用标记清除、标记整理、增量标记算法，主要使用标记清除算法，只有在内存分配不足时，采用标记整理算法。

1. 首先使用标记清除完成垃圾空间的回收；
2. 采用标记整理进行空间优化；
3. 采用增量标记进行效率优化；

总结：

• 新生代由于占用空间比较少，采用空间换时间机制。
• 老生代区域空间比较大，不太适合大量的复制算法和标记整理，所以最常用的是标记清除算法，为了就是让全停顿的时间尽量减少

五、内存泄漏

查看内存泄漏的时候可以使用浏览器的Performance来监控内存变化

哪些情况容易引起内存泄漏

1. 全局变量

2. 闭包

3. 被遗忘的定时器或事件回调函数

注：

• 全局变量等同于在window上添加属性，因此在函数执行完毕，依旧能够访问到它，因此不能够被回收
• 闭包占用内存，不会清理

性能优化

1.避免使用全局变量

• 全局变量会挂载在window下；
• 全局变量至少有一个引用计数；
• 全局变量存活更久，持续占用内存；
• 在明确数据作用域的情况下，尽量使用局部变量；

2.减少判断层级

减少使用if，else

3.减少数据读取次数

对于频繁使用的数据，我们要对数据进行缓存。

4.减少循环体中的活动

在循环中减少活动的使用

5.事件绑定优化

尽量避免重复绑定相同的事件

6.避开闭包陷阱

闭包使用后，及时清空