JS垃圾回收机制
引用
JavaScript 是使用垃圾回收的语言，也就是说执行环境负责在代码执行时管理内存，通过自动内存管理实现内存分配和闲置资源回收。
思路其实很简单：确定哪个变量不再使用，然后释放它占用的内存。
这个过程是周期性的，即垃圾回收程序每隔一段时间（或者说在代码执行过程中某个预定的收集时间）就会自动运行。垃圾回收过程是一个近似且不完美的方案，因为某块内存是否还有用，属于“不可判定”的问题，意味着靠算法是解决不了的。
在浏览器的发展史上，用到过两种主要的标记策略：标记清理和引用计数。
标记清理
JavaScript 最常用的垃圾回收策略是标记清理（mark-and-sweep）。
当变量进入上下文，比如在函数内部声明一个变量时，这个变量会被加上存在于上下文的标记。而在上下文中的变量，逻辑上讲永远不应该释放它们的内存，只要在上下文中的代码在运行，就有可能用到他们。当变量离开上下文时，也会被加上离开上下文的标记。
给变量加标记的方式有很多种。比如，当变量进入上下文时，反转某一位；或者可以维护“在上下文中”和“不在上下文中”两个变量列表，可以把变量从一个列表转移到另一个列表。标记过程的实现并不重要，关键是策略。
垃圾回收程序运行的时候，会标记内存中存储的所有变量（记住，标记方法有很多种）。然后，它会将所有在上下文中的变量，以及被在上下文中的变量引用的变量的标记去掉。在此之后再被加上标记的变量就是待删除的了，原因是任何在上下文中的变量都访问不到它们了。随后垃圾回收程序做一次内存清理，销毁带标记的所有值并收回它们的内存。
优势：
- 简单高效
- 处理循环引用
问题：
- 垃圾回收过程中的停顿：该算法会暂停程序的执行，进行垃圾回收操作。当堆对象较多时，可能导致明显的停顿，影响用户体验。
- 内存碎片化：会在回收过程中产生大量的、不连续的、碎片化的内存空间。这可能会导致后续的内存分配难以找到足够大的连续内存块，从而使内存的利用率降低。
引用计数
另一种没那么常用的垃圾回收策略是引用计数（reference counting）。其思路是对每个值都记录它被引用的次数。声明变量并给它赋一个引用值时，这个值的引用数为1。如果同一个值又被赋给另一个变量，那么引用数加1。类似地，如果保存对该值引用的变量被其他值给覆盖了，那么引用数减1。当一个值的引用数为0时，就说明没办法再访问到这个值了，因此可以安全地回收其内存了。垃圾回收程序下次运行的时候就会释放引用数为0的值的内存。
引用计数最早由Netscape Navigator 3.0 采用，但很快就遇到了严重的问题：循环引用。所谓循环引用，就是对象A有一个指针指向对象B，而对象B也引用了对象A。比如：
function problem() {
let objA = new Object();
let objB = new Object();
objA.someOtherObject = objB;
objB.antherObject = objA;
}内存泄漏
写得不好的 JavaScript 可能会出现难以察觉且有害的内存泄漏问题。
意外声明全局变量是最常见但也最容易修复的内存泄漏问题。
定时器也可能会悄悄地导致内存泄漏。
使用闭包很容易在不知不觉间造成内存泄漏。
V8垃圾回收策略
作者：程序员冷月
链接：https://juejin.cn/post/6844904016325902344
来源：稀土掘金
V8 引擎采用分代式垃圾回收。其基本思想是根据对象的存活时间将内存划分为不同的代（Generation），每一代都有不同的回收策略。
具体来说，V8将内存划分为新生代（Young Generation）和老生代（Old Generation）两个代：
新生代(new_space)：大多数的对象开始都会被分配在这里，这个区域相对较小但是垃圾回收特别频繁。采用了基于Scavenge算法的快速垃圾回收策略，通过将内存分为两个半空间来进行垃圾回收，一半用来分配内存，另一半用于在垃圾回收时将需要保留的对象复制过来。老生代(old_space)：新生代中的对象在存活一段时间后就会被转移到老生代内存区（经过多次垃圾回收后仍存在），相对于新生代该内存区域的垃圾回收频率较低。采用了基于标记-整理-清除算法的全垃圾回收策略，通过对整个堆进行标记和整理，以减少内存的碎片化，提高内存利用率。老生代又分为老生代指针区和老生代数据区，前者包含大多数可能存在指向其他对象的指针的对象，后者只保存原始数据对象，这些对象没有指向其他对象的指针。大对象区(large_object_space)：存放体积超越其他区域大小的对象，每个对象都会有自己的内存，垃圾回收不会移动大对象区。代码区(code_space)：代码对象，会被分配在这里，唯一拥有执行权限的内存区域。map区(map_space)：存放Cell和Map，每个区域都是存放相同大小的元素，结构简单。
内存结构图如下所示：
