垃圾回收
正如上文所述，我们无法准确的做到自动判定“内存不再需要”。所以，垃圾回收对该问题的解决方案有局限性。本节将解释必要的概念，了解主要的垃圾收集算法和它们的局限性。
引用
垃圾回收中一个主要的概念是引用。在内存管理中，当一个对象无论是显式的还是隐式的使用了另外一个对象，我们就说他引用了另外一个对象。例如，javascript对象存在一个隐式的指向原型的引用，还有显式指向他的属性值的引用。
在这里，对象的概念超出了javascript传统意义上对象的概念，他还包括函数作用域和全局作用域。
使用引用计数算法的垃圾回收
下面要介绍的是一种最理想化的算法，引入了 “对象不再需要” 和 “没有其他对象引用该对象” 的概念。当该对象的引用指针变为0的时候，就认为他可以被回收。
例子：
var o = {
a: {
b:2
}
}; // 创建了两个对象. 一个对象（a）被另外一个对象（o引用的对象）引用，并把a作为他的属性
// 该对象又被变量o引用
// 很明显，这时没有对象能被回收
var o2 = o; // 变量 o2 再次引用了该对象
o = 1; // o 不再引用该对象，只有o2还在引用该对象
var oa = o2.a; // oa引用 o2 的属性对象 a
// 该对象被其他两个对象引用，分别是o2的属性a和oa变量
o2 = “yo”; // 该对象已经不再被其他对象引用了，但是他的属性a任然被oa变量引用，所以他还不能被释放
oa = null; // 现在属性a也不再被别的对象引用，该对象可以被回收了
限制：循环
该算法有其局限性，当一个对象引用另外一个对象，当形成循环引用时，即时他们不再被需要了，垃圾收集器也不会回收他们。
function f(){
var o = {};
var o2 = {};
o.a = o2; // o 引用 o2
o2.a = o; // o2 引用 o
return “azerty”;
}
f();
// 两个对象被创建，并形成相互引用
// 函数调用结束之后，他们不会脱离函数作用域，虽然他们不会被使用，但不会被释放
// 这是因为，引用计数的算法判定只要对象存在被引用的情况，那么就不能对其执行垃圾回收
现实中的例子
ie6、7中，在dom对象上使用引用计数的算法，这里会存在内存泄露的问题。
var div = document.createElement(“div”);
div.onclick = function(){
doSomething();
}; // div 通过 click 属性引用了事件处理程序
// 当事件处理函数中访问了div变量的时候，会形成循环引用，将导致两个对象都不会被回收，造成内存泄露
标记 – 清除算法
他引入了“对象不再需要”和“对象不可访问（对象不可达）”的概念。该算法假设有一系列的根对象（javascript中的根对象就是全局对象），每隔一段时间，垃圾收集器就会从根对象开始，遍历所以他引用的对象，然后再遍历引用对象引用的对象，以此类推。使用这种方式，垃圾收集器可以获得所有可访问的对象，回收那些不可访问的对象。
