前言
浏览器垃圾回收机制 GC(Garbage Collecation)：垃圾收集器会定期（周期性）找出那些不在继续使用的变量，然后释放其内存。
JS 回收机制
1. 标记清除
当变量进入环境时，将变量标记"进入环境"，当变量离开环境时，标记为："离开环境"。某一个时刻，垃圾回收器会过滤掉环境中的变量，以及被环境变量引用的变量，剩下的就是被视为准备回收的变量。IE、Firefox、Opera、Chrome、Safari 的 js 实现使用的都是标记清除的垃圾回收策。
2. 引用计数
变量的引用次数，被引用一次则加 1，当这个引用计数为 0 时，被视为准备回收的对象。
浏览器内存管理
GC 方案
1. 标记内存中的可达值
从根节点出发，遍历所有的对象，能访问到的，标记为可达的，否则为不可达。
2. 回收不可达值占据的内存
步骤 1 完成后，清理掉不可达的对象。
3. 内存整理
步骤 2 完成后，进行内存碎片整理。
GC 不足
浏览器进行垃圾回收的时候，会暂停 JavaScript 脚本，等垃圾回收完毕再继续执行其他代码。对于 JS 游戏、动画对连贯性要求比较高的应用，如果暂停时间很长就会造成页面卡顿。
GC 优化策略
1. 分代收集
多回收新生代，少回收老生代。
2. 增量收集
将垃圾收集工作分成更小的块，每次处理一部分，多次处理。
3. 闲时收集
在 CPU 空闲时运行，减少对代码的影响。
内存泄露
内存泄露是指一块被分配的内存既不能使用，又不能回收，直到浏览器进程结束
常见内存泄漏情况：
- 全局变量
- 闭包
- DOM 元素引用
- 定时器、回调
- 子元素存在引用
- 监听事件没有解绑
V8 引擎 GC
V8 的 GC 策略主要基于分代式垃圾回收机制，根据对象的存活时间进行不同的分代，分别采用不同的垃圾回收算法。
1. V8 的内存结构
垃圾回收的过程主要出现在新生代和老生代
带斜纹的区域代表暂未使用的内存：
①. 新生代(new_space)
新生代主要用于存放存活时间较短的对象，其两个 semispace(半空间)构成的，内存最大值在 64 位系统和 32 位系统上分别为 32MB 和 16MB，在新生代的垃圾回收过程中主要采用了 Scavenge 算法。
(1). Scavenge 算法
Scavenge 算法是一种典型的牺牲空间换取时间的算法，两个空间中，始终只有一个处于使用状态，另一个处于闲置状态。当进行垃圾回收时：
如果 From 空间中尚有存活对象，则会被复制到 To 空间进行保存，非存活的对象会被自动回收。
当复制完成后，From 空间和 To 空间完成一次角色互换，To 空间会变为新的 From 空间，原来的 From 空间则变为 To 空间。
Ⅰ. From 空间中分配了三个对象 A、B、C
Ⅱ. 当程序主线程任务第一次执行完毕后进入垃圾回收时，发现对象 A 已经没有其他引用，则表示可以对其进行回收
Ⅲ. 对象 B 和对象 C 此时依旧处于活跃状态，因此会被复制到 To 空间中进行保存
Ⅳ. 接下来将 From 空间中的所有非存活对象全部清除
Ⅴ. 此时 From 空间中的内存已经清空，开始和 To 空间完成一次角色互换
Ⅵ. 当程序主线程在执行第二个任务时，在 From 空间中分配了一个新对象 D
Ⅶ. 任务执行完毕后再次进入垃圾回收，发现对象 D 已经没有其他引用，表示可以对其进行回收
Ⅷ. 对象 B 和对象 C 此时依旧处于活跃状态，再次被复制到 To 空间中进行保存
Ⅸ. 再次将 From 空间中的所有非存活对象全部清除
Ⅹ. From 空间和 To 空间继续完成一次角色互换
Scavenge 算法过程：将存活对象在 From 空间和 To 空间之间进行复制，同时完成两个空间之间的角色互换，其缺点是：浪费了一半的内存用于复制。
(2). 对象晋升
当一个对象在经过多次复制之后依旧存活，那么它会被认为是一个生命周期较长的对象，在下一次进行垃圾回收时，该对象会被直接转移到老生代中。
晋升的条件：
经历过一次 Scavenge 算法
To 空间的内存占比超过 25%
②. 老生代(old_space)
老生代中管理着大量的存活对象，采用 Mark-Sweep(标记清除)和 Mark-Compact(标记整理)来进行管理内存。
(1). Mark-Sweep 算法
Mark-Sweep(标记清除)分为标记和清除两个阶段，
- 标记阶段，遍历堆中的所有对象，然后标记活着的对象
- 清除阶段，将死亡的对象进行清除
(2). 根节点
- 全局对象
- 本地函数的局部变量和参数
- 当前嵌套调用链上的其他函数的变量和参数
③. 大对象区(large_object_space)
存放体积超越其他区域大小的对象，每个对象都会有自己的内存，垃圾回收不会移动大对象区。
④. 代码区(code_space)
代码对象，会被分配在这里，唯一拥有执行权限的内存区域。
⑤. map 区(map_space)
存放 Cell 和 Map，每个区域都是存放相同大小的元素。
参考
END
