共计 3547 个字符，预计需要花费 9 分钟才能阅读完成。
摘要： JS 是如何回收内存的？
《JavaScript 深入浅出》系列：
- JavaScript 深入浅出第 1 课：箭头函数中的 this 究竟是什么鬼？
- JavaScript 深入浅出第 2 课：函数是一等公民是什么意思呢？
- JavaScript 深入浅出第 3 课：什么是垃圾回收算法？
最近垃圾回收这个话题非常火，大家不能随随便便的扔垃圾了，还得先分类，这样方便对垃圾进行回收再利用。
其实，对于写代码来说，也有 垃圾回收 (garbage collection) 这个问题，这里所说的垃圾，指的是 程序中不再需要的内存空间，垃圾回收指的是回收这些不再需要的内存空间，让程序可以重新利用这些释放的内存空间。
手动管理内存
对于 C 这种底层语言来说，我们可以使用 malloc()函数分配内存空间，当所分配的内存不再需要的时候，可以使用 free()函数来释放内存空间。
#include <stdio.h>
#include <stdlib.h>
#define TRUE 1
int main ()
{
int *p, i, n, sum;
while (TRUE)
{printf ("请输入数组长度:");
scanf ("%d", &n);
p = (int *) malloc (n * sizeof (int)); // 分配内存空间
sum = 0;
for (i = 0; i < n; ++i)
{*(p + i) = i + 1;
sum += *(p + i);
}
printf ("sum = %d\n", sum);
free (p); // 释放内存空间
}
return 0;
}示例代码很简单，输入一个整数 n，程序计算 1、2、3…n 的和。大家可以在 Online C Compiler 上运行这段代码。
请输入数组长度: 36
sum = 666
请输入数组长度: 100
sum = 5050 如果我们不去调用 free()函数释放内存的话，就会导致 内存泄漏(memory leak)。每个 while 循环中，指针 p 都会指向新分配的内存空间。而 p 之前指向的内存空间虽然没用了，但是并不会被释放，除非程序退出。如果 while 循环一直执行下去的话，内存早晚不够用。
垃圾回收算法
如果让我们去手动管理内存，那不知道要写出多少 BUG，内存分分钟用完。还好现代编程语言，比如 Java, Python, Go 以及 JavaScript，都是支持自动垃圾回收的。也就是说，这些语言可以自动回收程序不再需要的内存空间，这样既减轻了开发者的负担，也有效避免了内存泄漏。
其实，早在 C 语言诞生之前的 1960 年，图灵奖得主 John McCarthy 就在 Lisp 语言中实现了自动垃圾回收算法。算法本身其实非常简单，标记那些程序访问不到的数据，回收它们的内存空间。但是，垃圾回收算法把程序员从硬件层 (内存管理) 解放出来了，这种理念还是很先进的。
对于垃圾回收算法来说，最困难的问题是 如何确定哪些内存空间是可以回收的，即哪些内存空间是程序不再需要的 ，这是一个 不可判定问题(undecidable problem)。所谓不可判定，就是没有哪个垃圾回收算法可以确定程序中所有可以回收的内存空间。
McCarthy 简化了判定数据是否需要的问题，将其简化为判断数据是否能够访问。如果程序已经不能访问某个数据了，那这个数据自然是不再需要了。但是，这个逻辑反过来是不成立的，一些可以访问的数据也有可能其实程序已经不再需要了。
McCarthy 的垃圾回收算法现在通常被称作 Mark-and-Sweep，它是现在很多语言(Java, JavaScript, Go) 的垃圾回收算法的原型。
JavaScript 的垃圾回收算法
对于 JavaScript 来说，我们是不需要手动管理内存的，因为 JavaScript 引擎例如 V8 与 SpiderMonkey 都会自动分配并回收内存。
比较古老的浏览器，比如 IE6 和 IE7 使用的垃圾回收算法是reference-counting：确定对象是否被引用，没有被引用的对象则可以回收。这个算法无法回收 Circular Object，有可能会因此造成内存泄漏：
var div;
window.onload = function() {div = document.getElementById('myDivElement');
div.circularReference = div;
div.lotsOfData = new Array(10000).join('*');
};div 对象的 circularReference 属性指向 div 本身，因此 div 对象始终“被引用”。如果使用 reference-counting 垃圾回收算法的话，则 div 对象永远不会被回收。最新的浏览器很早就不再使用 reference-counting，因此 Circular Object 无法回收的问题也就不存在了。
目前，主流的浏览器使用的垃圾回收算法都是基于mark-and-sweep：
- root 对象包括全局对象以及程序当前的执行堆栈；
- 从 root 对象，遍历其所有子对象，能够通过遍历访问到的对象是可以访问的；
- 其他不能遍历对象是不可访问的，其内存空间可以回收；
算法思想并没有超越 McCarthy 半个世纪之前的设计，只是在实现细节上做了大量的优化，V8 的垃圾回收模块 Orinoco 大致是这样做的：
- 采用多线程的方式进行垃圾回收，尽量避免对 JavaScript 本身的代码执行造成暂停；
- 利用浏览器渲染页面的空闲时间进行垃圾回收；
- 根据 The Generational Hypothesis，大多数对象的生命周期非常短暂，因此可以将对象根据生命周期进行区分，生命周期短的对象与生命周期长的对象采用不同的方式进行垃圾回收；
- 对内存空间进行整理，消除内存碎片化，最大化利用释放的内存空间；
JS 引擎的垃圾回收算法已经非常强大了，所以我们作为 JavaScript 开发者基本上感受不到它的存在。
观察 JavaScript 垃圾回收算法
我们通过 Chrome 开发者工具实际感受一下垃圾回收算法的效果。
测试 1：
var str = new Array(100000000).join("*");
setInterval(() => {console.log(str[0]);
}, 1000);str 是一个超长字符串，因此会占有不少的内存空间。代码里面写了一个 setInterval，是为了让这段代码永远执行下去，程序不退出。这样的话，字符串 str 永远在使用中，永远是可以访问的，那它的内存空间就不会被回收。
我使用的是 Chrome 75，在其开发者工具的 Memory 的 Tab 下，使用 Take heap snapshot 可以获取内存快照：
可知，内存占用了 97MB，且我们可以在其中找到 str 这个超长字符串。
测试 2
var str = new Array(100000000).join("*");
setInterval(() => {console.log(str[0]);
}, 1000);
setTimeout(() => {str = "******";}, 10000);在 setTimeout 的回调函数中，我们对 str 进行了重新赋值，这就意味着之前的超长字符串就不可访问了，那它的内存空间就会被回收。
在代码运行 10s 之后，即 str 重新赋值之后进行快照：
可知，内存只占用了 1.6MB，且我们可以在其中找到 str 字符串，它的长度只有 6，因此占用的内存空间非常小。
想象一下，如果不再需要的内存空间不会被回收的话，1T 的内存都不够用。
关于 JS，我打算花 1 年时间写一个系列的博客 JavaScript 深入浅出，大家还有啥不太清楚的地方？不妨留言一下，我可以研究一下，然后再与大家分享一下。欢迎添加我的个人微信(KiwenLau)，我是 Fundebug 的技术负责人，一个对 JS 又爱又恨的程序员。
参考
- MDN：Memory Management
- 为什么 Lisp 语言如此先进？
- Recursive Functions of Symbolic Expressions Their Computation by Machine(Part I)
- Trash talk: the Orinoco garbage collector
- Idle-Time Garbage-Collection Scheduling
关于 Fundebug
Fundebug 专注于 JavaScript、微信小程序、微信小游戏、支付宝小程序、React Native、Node.js 和 Java 线上应用实时 BUG 监控。自从 2016 年双十一正式上线，Fundebug 累计处理了 10 亿 + 错误事件，付费客户有阳光保险、核桃编程、荔枝 FM、掌门 1 对 1、微脉、青团社等众多品牌企业。欢迎大家免费试用！
版权声明
转载时请注明作者 Fundebug以及本文地址：
https://blog.fundebug.com/2019/07/03/javascript-garbage-collection/