原理:找出不使用的变量,释放内存。
JavaScript是使用垃圾回收的语言,也就是很大的解决了跟踪内存对开发者造成的负担(毕竟这是很多问题的来源)。而卸下这个甜蜜的负担(一点也不甜蜜好嘛),通过自动内存管理实现内存分配和闲置资源回收。(下面会简单的讲述内存泄漏)
如果不用垃圾回收机制会造成什么后果?
1.会消耗掉所有的可用内存(内存占用),造成系统崩溃
2.内存泄漏
可达性:一个地方到另一个地方的容易程度。
GC的最主要的职责是监控数据的可达性
1.所有显示调用,被称为根,全局对象
正被调用的函数的局部变量参数
相关嵌套函数里的变量和参数
其他(引擎内部调用的一些变量)
2.所用从根引用或引用链访问的对象
什么时候触发垃圾回收机制
该过程是周期性的,每隔一个固定的时间,就会自动运行程序。
如果分配的内存非常多,回收工作也会很艰巨,确定垃圾回收时间间隔就变成了值得思考的问题。
垃圾回收的基本思路:
该过程是周期性的,每隔一个固定的时间,就会自动运行程序。这是一个不能称之为完美的方案,毕竟算法不能够准确的知道,我们到底是否需要该变量。
下面以一个函数中局部变量的正常生命周期为例。函数中的局部变量会在函数执行时存在。
此时该变量已经不在需要,占用的内存可以释放,以供后者使用。所以垃圾回收机制需要跟踪标记变量,并判定是否使用。如何标记未使用的变量也许有不同的实现方式。但是在浏览器里面的话有两种常用的方式:标记清理和引用计数。
标记清理
在JavaScript中最常用的垃圾回收策略是标记清理(mark-andsweep)。当变量进入上下文,比如:
而不在上下文中的变量,逻辑上讲,永远不应该释放它们的内存,因为只要上下文中的代码在运行,就有可能用到它们。
就算变量离开了上下文,也会做出标记。
给变量加标记的方式有很多种。比如,当变量进入上下文时,反转某一位;或者可以维护“在上下文中”和“不在上下文中”两个变量列 表,可以把变量从一个列表转移到另一个列表。标记过程的实现并不重要,关键是策略。
垃圾回收程序运行的时候,会标记内存中存储的所有变量。然后,它会将所有在上下文中的变量,以及被在上下文中的变量引用的变量的标记去掉。在此之后再被加上标记的变量就是待删除的了,原因是任何在上下文中的变量都访问不到它们了。随后垃圾回收程序做一次内存清理,销毁带标记的所有值并收回它们的内存。
引用计数
上文提到的第二种垃圾回收机制。另一种没那么常用的垃圾回收策略是引用计数(reference counting)。
其思路是对每个值都记录它被引用的次数。声明变量并给它赋一个引用值时,这个值的引用数为1。如果同一个值又被赋给另一个变量,那么引用数加1。类似地,如果保存对该值引用的变量被其他 值给覆盖了,那么引用数减1。当一个值的引用数为0时,就说明没办 法再访问到这个值了,因此可以安全地收回其内存了。垃圾回收程序 下次运行的时候就会释放引用数为0的值的内存。
为什么现在使用引用计数的比较少:该方法无法解决循环引用问题。如:A引用B,同时B引用A,相互应用。会导致内存泄漏。
反反复复提到的内存泄漏是什么?
内存泄漏
是指程序上,动态的分配的堆内存,由于某种原因程序未释放或无法释放,造成系统的浪费,导致程序的运行速度减慢,甚至系统崩溃等严重后果。
缺陷:具有隐蔽性、积累性的特性、比其他内存非法访问错误。
在内存中共用户使用的内存空间分为3部分:
1.程序存储区
2.静态存储区
3.动态存储区
JavaScript中的内存管理
内存:由可读写单元组成,表示一片可操作(和内存条中的内存同理)
管理:人为的去操作一片空间的申请,使用和解放
内存管理:开发者主动申请空间,使用空间,释放空间
管理流程:申请-使用-释放
JavaScript内存空间分配:
栈:变量 基础数据类型,值有固定大小(闭包除外)
堆:复杂的对象 引用数据类型的大小是不固定的,引用数据类型的值保持在堆内存的变量中
池:常量
注:JavaScript不允许直接访问堆内存中的位置
实际上在操作对象的引用,而不是实际的对象
小结
JavaScript是使用垃圾回收的编程语言,开发者不需要操心内存分配和回收。JavaScript的垃圾回收程序可以总结如下。
离开作用域的值会被自动标记为可回收,然后在垃圾回收期间被删除。
主流的垃圾回收算法是标记清理,即先给当前不使用的值加上标记,再回来回收它们的内存。
引用计数是另一种垃圾回收策略,需要记录值被引用了多少次。
JavaScript引擎不再使用这种算法,但某些旧版本的IE仍然会受这种算法的影响,原因是JavaScript会访问非原生JavaScript对象(如 DOM元素)。
引用计数在代码中存在循环引用时会出现问题。
解除变量的引用不仅可以消除循环引用,而且对垃圾回收也有帮助。
为促进内存回收,全局对象、全局对象的属性和循环引用都应该在不需要时解除引用