js中的垃圾回收机制

前言

一台计算机当我们一个程序运行时，它的使用内存并不是无限，是有使用限制的，稍不注意可能就造成内存溢出，程序崩溃。

内存生命周期

JS 环境中分配的内存有如下声明周期：

内存分配：申明变量、函数、对象的时候，系统会自动为他们分配内存；
内存使用：读写内存，也就是使用变量、函数等；
内存回收：使用完毕，由垃圾回收机制自动回收不再使用的内存；

JavaScript语言的一大特点就是单线程，也就是说，同一个时间只能做一件事。JavaScript的单线程，与它的用途有关。作为浏览器脚本语言，JavaScript的主要用途是与用户互动，以及操作DOM。这决定了它只能是单线程，否则会带来很复杂的同步问题。比如，假定JavaScript同时有两个线程，一个线程在某个DOM节点上添加内容，另一个线程删除了这个节点，这时浏览器应该以哪个线程为准？

浏览器有自己的一套回收机制算法，每隔一段时间就会执行一次回收操作，根据使用算法的不同，内存也分代，常见的内存分代：新生代和老生代，内存空间大小的分配按一定比例分配；

总体而言新生代内存空间较小，老生代分配较大，新生代主要用来存储存活时间小和内存小的对象，老生代则相反用来存储周期长或者内存大的对象；在分代的基础上，新生代主要采用Scavenge算法回收垃圾

新生代

我们以chrome浏览器为例，他的同时采用了这两种方式，新生代内存中，根据算法又被分为二等分，两个空间中只有一个是处于使用中的，另一个处于闲置状态，前者称为From空间，后者成为to空间；当我们分配空间时，先存放于form空间，当开始垃圾回收时，会检查from空间的活动对象，这些活动对象将被复制到to空间，而非活动的对象占用的空间会被释放掉，完成复制后form空间和to空间位置互换；
新生代算法的缺点在于，一直会有一般空间处于空闲状态，只能使用堆内存的一般，这是由划分空间和复制机制决定的，但由于只复制存活对象，且生命周期段只占少部分，所以他在时间效率上是很快的表现的；
这就是典型的空间换时间的算法，所以也注定了他无法大规模的应用的所有的垃圾回收中；因此v8内存十几分配如下：

在新生代算法中，当一个对象经过多次复制后依然存在，那他将会被认为是生命周期长的对象，这种对象随后会被转移到老生代内存空间中；因此在分配空间之前浏览器都会对对象进行判断，一是否经历过一次回收，二是当复制到to空间时，to空间是否使用超过25%，则会被划分到老生代空间；

老生代

老生代算法又分为：标记清除（mark-sweep）和标记计数（mark-compact）；
因为在老生代内存中，存活对象比加大，再使用新生代的scavenge就会有两个问题：内存分配老生代内存占比较大，因此存活对象多，复制效率低；
二是依然是浪费了一半空间如果继续采用新生代算法的话；
标记清除分为标记和清除两个阶段，与scavenge算法相比，标记清除并不会把空间分两半，所有不存在浪费空间一说，标记清除在标记阶段遍历堆栈中的所有对象，并标记活动的对象，在随后的清除阶段中，至清除死亡的对象，可以看出scavenge中只复制存活对象，而mark-sweep只清除死亡对象，活对象在新生代中只占小部分，死对象在老生代中只占小部分，这就是正两种方法均能高效的原因；
如图mark-sweep在老生带空间的示意图，黑的代表死亡对象：

mark-sweep最大的问题是进行一次标记清除后，内存空间出现不连续状态，这种内存随【ian回对后续内存的分配造成问题，因为很有肯能要分配一个大对象，这时所以碎片空间都无法满足需求，就会提前触发垃圾回收，而这次垃圾回收是不必要的。
为了解决mark-sweep的内存碎片问题，mark-compact就应运而生了，mark-compact是标记整理的意思，是在mark-sweep的基础上来的，他们的差别在于对象被标记死亡后，再整理的过程中，活着的对象会往一端移动，移动完成后直接清理点边界外的内存，如图，白色为存活，黑色为死亡对象，

完成移动后，就可以直接清除最右边的存活对象的后面的所有内存区域。

对比

这三种算法的简单对比：

一般在正常的回收机制下很少发生内存泄露，内存泄漏一般都是无意识下造成的，比较那一排查，常见的内存泄漏原因有以下几点：
1.缓存过大；
2.队列消费不及时；
3.作用域未释放；
平时写代码过程中多做注意，一些耗内存的操作且有副作用的操作要及时处理，譬如全局变量的使用，监听器，定时器，累加的缓存等等，妥善安排后事就可以了。