JavaScript中对执行环境、垃圾收集、性能问题及管理内存的理解

一、 执行环境

执行环境是JavaScript中最为重要的一个概念，执行环境定义了变量或函数有权访问的其他数据，决定了他们各自的行为。每个执行环境都有一个与之关联的变量对象，环境中定义的变量和函数都保存在这个对象中，虽然我们编写的代码无法访问这个对象，但是解析器在处理数据时会在后台使用它。

全局执行环境是最外围的一个执行环境，根据ECMAScript实现所在的宿主环境不同，表示执行环境的对象也不一样。在web浏览器中，全局执行环境被认为是window对象，因此所有的全局变量和函数都是座位window对象的属性和方法创建的，。某个执行环境中的所有代码执行完毕后，该环境就会被销毁，保存在其中的所有的变量和函数定义也随之销毁（全局执行环境直到应用程序退出——例如关闭网页或浏览器——时才会被销毁）

每个函数都有自己的执行环境，打给你执行流进入一个函数时，函数的环境就会被推入一个环境栈中，而在函数执行之后，栈将其环境弹出，把控制权返回给之前的执行环境，ECMAScript程序中的执行流正式由这个方便的机制控制着。当代码在一个环境中执行时，会创建变量对象的作用域链。作用域链的用途，是保证对执行环境优泉访问的 所有变量和函数的 有序访问，作用域链的前端始终都是当前执行的代码所在环境的变量对象，如果这个环境是函数，则将其活动对象作为变量对象，活动对象在最开始时包含一个变量，即arguments对象（这个对象在全局环境中时不存在的）。作用链中的的下一个变量对象来自包含（外部）环境，而再下一个变量对象则来自下一个包含环境。这样，一直延续到全局执行环境，全局执行环境的变量对象是中都是作用域链中的最后一个对象。

二、垃圾收集

JavaScript具有自动垃圾收集机制，即执行环境会负责管理代码执行过程中使用的内存，而在C和C++之类的语言中，开发人员的一项基本任务就是手工跟踪内存的使用情况，这是造成许多问题的一个根源。在编写JavaScript程序时，开发人员不再关心内存使用问题，所需内存的分配以及无用内存的回收完全实现了自动管理。这种垃圾收集机制的原理其实很简单：找出哪些不再继续使用的变量，然后释放其占用的内存。为此垃圾收集器会按照固定的时间间隔（或代码执行中预定的收集时间），周期性的执行这一操作。

下面我们来分析一下函数中局部变量的正常生命周期。局部变量值在函数执行的过程中存在，而在这个过程中会为局部变量在栈或堆内存上分配相应的空间，以便存储他们的值，然后在函数中使用这些变量，直至函数执行结束。此时局部变量就没有存在的必要了，一次可以释放他们的内存以供将来使用。在这种情况下很容易判断变量是否还有存在的必要，但并非所有情况下都这么容易就能得出结论。垃圾收集器必须粉棕哪个变量有用哪个变量没用，对于不再有用的变量打上标记，以备将来收回其占用的内存。用户标识无用比变量的策略可能会因实现而而异，但具体到浏览器中的实现，则通常由两个策略

（1）标记清除

JavaScript中最常用的垃圾收集方式是标记清除，当变量进入环境（例如在函数中声明一个变量）时，就将这个变量标记为“进入环境”。从逻辑上讲，永远不能释放进入环境的变量所占用的内存，因为只要执行流进入相应的环境，就可能会用到它们。而当变量离开环境时，则将其标记为“离开环境”。可以使用任何方式来标记变量，如何标记变量其实并不重要，关键在于采取什么策略。垃圾收集器在运行的时候会给存储在内存中的所有变量都加上标记（当然可以使用任何标记方式）。然后，它会去掉环境中的变量以及被环境中的变量引用的变量的标记。而在此之后再被加上标记的变量将被视为准备删除的变量，原因是环境中的变量已经无法访问到这些小变量了，最后，垃圾收集器完成内存清除工作，销毁哪些带标记的值并回收它们所占用的内存空间。

（2）引用计数

引用计数是不太常用的垃圾收集策略，引用计数的含义是跟踪记录每个值被引用的次数。当声明了一个变量并将一个引用类型的值赋给该变量时，则这个值当引用次数就是1，如果同一个值又被赋给另一个变量，则该值当引用次数加1，相反，如果包含对这个值引用的变量又取的了另一个值，则这个值的引用次数减1，当这个值当引用次数变成0时，则说明没有办法再访问这个值了，因而就可以将占用的内存回收回来。这样当垃圾收集器下次再运行时，就会释放哪些引用次数为0的值所占用的内存，但是会有一个严重的问题：循环引用。循环引用指的是对象A中国呢包含了一个指向对象B的指针，而对象B中也包含了一个指向对象A的引用

三、性能问题

垃圾收集器是周期性运行的，而且如果为变量分配的内存数量很可观，那么回收工作量也是相当大的。在这种情况下，确定垃圾收集的时间间隔是一个非常重要的问题。说到垃圾收集器多长时间运行一次，不禁让人联想到IE因此而声名狼藉的性能问题。IE的垃圾收集器是根据内存分配量运行的，具体一点说就是256个变量，4096个对象字面量和数组元素或者64KB的字符串，打到上述任何一个临界值，垃圾收集器就会运行，这种实现方式的问题在于，如果一个脚本包含那么多变量，那么该脚本很可能会在其生命周期中一直保有那么多的变量，这样依赖，垃圾收集器就不得不频繁的运行，结果由此引发的严重性能问题促使IE7重写了其垃圾收集例程
事实上，在有的浏览器中可以触发垃圾收集过程，但是我们不建议读者这样做，在IE中，调用window.CollectGarbage()方法会立即执行垃圾收集，在OPera7及更高版本中，调用window.opera.collect()也会启动垃圾收集例程。

四、管理内存

使用具备垃圾收集机制的语言编些程序，开发人员一般不必操作内存管理的问题，但是JavaScript在进行内存管理及垃圾收集时面临的问题还是有点与众不同的。其中最主要的一个问题，就是分配给web浏览器的可用内存数量通常比要分配给桌面应用程序的少，这样做的目的主要是出于安全方面的考虑，目的是防止运行JavaScript的网页耗尽全部系统内存而导致系统崩溃，内存限制问题不仅会影响给变量分配内存，同事还会影响调用栈以及在一个县城中能够同时执行的语句数量。因此，确保占用最少的内存可以让页面获得更好的性能，而优化内存占用的最佳方式，就是为执行中的代码只保存必要的数据。一旦数据不再有用，最好通过将其值设置为null来释放其引用——这个做法叫做解除引用。这一做法适用于大多数全局变量和全局对象的属性，局部变量会在它们离开执行环境事自动解除引用。不过，解除一个值的引用并不意味着自动回收该值所占用的内存，解除引用的真正作用就是让值脱离执行环境，以便卡机收集器下次运行时将其回收。

基本类型值在内存中占据固定大小的空间，因此被保存在栈内存中，引用类型的值是对象，保存在堆内存中。所有变量都存在于一个执行环境（也称作用域）中，这个执行环境决定了变量的身影周期以及那一部分代码可以访问其中的变量。
执行环境有全局执行环境和函数执行环境之分，每次进入一个新的执行环境，都会创建一个用于搜索变量和函数的作用域链，函数的局部环境不仅有权访问函数作用域中的变量，而且有权访问其包含的环境，乃至全局环境。全局环境只能访问在全局环境中定义的变量和函数，而不能直接访问局部环境中的任何数据。变量执行环境有助于确定应该何时释放内存。