QuickJS 是使用引用计数法来判断对象是否可以被释放，引用计数法非常简单，通过给对象分配一个计时器来保存该对象被引用的次数，如果该对象被其它对象引用就会加1，如果删除引用就会减1，当引用的计数器为0时，那么就会被回收。
JSRuntime 是 QuickJS 最底层的执行环境，不使用的时需要及时释放。
一个 JSRuntime 可以创建多个 Context，每个 Context 之间是相互隔离的，不使用的时需要及时释放。
如果我们需要自己创建和关联JS对象时，我们需要处理好引用问题，必须通过 c 创建一个JSValue对象，那么我们就需要手动释放它，否则就会导致内存泄漏，同时我们也不能多次释放，这也会导致野指针，从而导致程序崩溃，如果我们只是纯粹运行js脚本就无需我们关心这个问题，引擎已经处理好了。
通过上面示例，我们得知引用计数法是通过JS_DupValue记录引用+1，JS_FreeValue引用减1实现计数，接下来就通过源码分析如何实现。
引用计数器头是一个结构体，目前只有一个int值，用于记录对象的引用次数。
引用计数器+1
JS_FreeValue 处理引用计数器-1，如果引用属于小于0时候就会执行垃圾回收，这里引入引用计数器最大的问题，如果a引用b，b也引用了a，这样的相互应用是不是就会导致a和b都无法回收？
JS_RunGC 函数就是用来解决相互引用问题，会在特定的时机触发。
经过上面两个函数，tmp_obj_list 就只会剩下环形引用的对象，gc_free_cycles() 回收 tmp_obj_list 列表的对象，并且对属性的引用-1。
内存生命周期：
程序的运行需要 内存 ，只要程序提出要求，操作系统或者运行是就必须供给内存。
对于持续运行的服务进程，必须及时释放内存，否则，内存占用越来越高，轻则影响系统性能，重则导致进程崩溃。
内存泄露案例： 全局变量、未销毁的定时器和回调函数（ setInterval ）、闭包（外部函数的变量被引用，得不到释放）、DOM 引用（移除了元素，但是仍然有对 元素的引用）
用于标识无用变量的方式有两种：标记清除法和引用计数法。
当变量进入环境时，这个变量标记为“进入环境”；而当变量离开环境时，则将其标记为“离开环境”。
可使用一个“进入环境”的变量列表及一个“离开环境”的变量列表来跟踪变量的变化，也能够翻转某个特殊的位来记录一个变量什么时候进入环境及离开环境。
当声明了一个变量并将一个引用类型值赋给该变量时，则该值的引用次数就是1；若是同一个值又被赋给另外一个变量，则该值的引用次数加1；若是包含对该值引用的变量又取得了另一个值，则该值的引用次数减1。当该值的引用次数变为0时，则能够回收其占用的内存空间。 当垃圾回收器下一次运行时，就会释放那些引用次数为0的值所占用的内存。
怎样可以观察到内存泄漏呢？
经验法则 ：如果连续五次垃圾回收之后，内存占用一次比一次大，就有内存泄漏。这就要求实时查看内存占用。
前面说过，及时清除引用非常重要。但是，你不可能记得那么多，有时候一疏忽就忘了，所以才有那么多内存泄漏。
在新建引用的时候就声明，哪些引用必须手动清除，哪些引用可以忽略不计，当其他引用消失以后，垃圾回收机制就可以释放内存。 这样就能大大减轻程序员的负担，你只要清除主要引用就可以了。
垃圾清理是针对对象的，不是针对某个标示符的。
对于值类型，函数执行后，如果其所在作用域并未被应用，会立即释放。
要销毁一个对象，必须要消除一个对象的所有外部引用。Javascript
的存储单元回收机制采用的是引用计数法：创建一个对象后，如果它的引用被存储在变量中，它的引用计数就是 1
；当它的引用被复制并存储在另一个变量中，引用计数就增加 1 ；当保存这个引用的一个变量被某个新值覆盖，引用计数减少 1
；以此类推，当一个对象的引用计数为 0 时，它才会被销毁。
var p1 = new Object() // 构造函数，引用计数为 1var p2 = p1 // 复制了该对象，引用计数为 2
...
p1 = null
p2 = null // 将 p1 和 p2 的值置为 null 可以消除引用
上面的代码中，p1和p2存储的只是引用，谈不上释放与否。这里要释放的东西是 new Object()，p1=null 等做的事情就是清空它的引用。这样浏览器在执行垃圾回收的时候，才会将它清楚掉。
参考资料：内存回收 http://www.tootei.net/archives/365#5
