执行上下文栈和执行上下文

执行上下文栈(Execution Context Stack)；

在ECMASscript中的代码有三种类型：global, function和eval。
每一种代码的执行都要依赖自身的上下文，其中global函数的上下文中会包含很多function或者eval的实例。函数的每一次调用都会进入函数执行中的上下文，并且计算函数中变量等的值(有个疑问：如果下次再调用这个函数的时候，上次计算的变量还存在吗？还是随着函数的生命周期的结束而销毁呢？)
，eval函数的每一次执行，也会进入eval执行中的上下文，判断应该从何处获取变量的值。
注意！一个function可能产生无限的上下文环境，也就是说函数的每一次调用都会产生新的上下文环境，甚至是递归函数。

function foo(bar){
.....
}
foo(1)
foo(2)
foo(3)
//相同的function 每次都会产生不同的上下文
foo1Context={
    变量对象VO：var bar=1；
   活动对象AO：。。。
}
foo2Context={
    变量对象VO：var bar=2；
   活动对象AO：。。。
}
foo2Context={
    变量对象VO：var bar=3；
   活动对象AO：。。。
}
//包含不同的状态，例如参数bar的值,(疑问：难道不同的变量对象就是不同的执行上下文吗？如果是这样的话，那就是每次调用函数执行上下都不同吧！)

   一个执行上下文会激活其他的上下文，比如一个函数调用另一个函数，或者在全局上下文内调用全局函数(疑问：我一直以为全局上下文就是全局函数的上下文。。难道全局函数有自己的上下文吗？)，然后一层一层的调用下去，逻辑上来说，这种实现方式是栈，我们可以称之为上下文堆栈。
激活其他上下文的某个上下文叫做调用者（caller）,被激活的上下文叫做被调用者（callee）,被调用者同时也可能是调用者.
   例如A的上下文激活B的上下文，A叫caller,B叫callee,B也可能是另一个callee的caller(B函数调用某些自身的内部方法的意思吧)，（例如一个全局上下文中的function又一次调用了它的内部函数。）。
  当一个caller激活了另一个callee,那么这个caller就暂停自身的执行，然后将控制权交给callee,于是这个callee就被放入堆栈中，称为进行中的上下文(running/active execution context),(疑问：就比如

function a(){
   function b(){
   console.log("haha");
 }
return b;
}
a()

当函数a执行之后，函数a激活了函数b的上下文，现在a暂停执行，程序进入函数b执行的意思吗,然后b就被放到栈的最前端？)
  当这个callee(被调用者)执行完之后，会把控制权再次交给它的caller(调用它的函数也就是调用者)，然后caller会在刚才暂停的地方继续执行。这个caller 结束之后会继续触发其他的上下文。一个callee可以用返回（return）或者抛出异常（exception）来结束自身的上下文。(就是说被调用的函数return之后就结束了)
  如下图:
所有的ECMAScript的程序执行都可以看做是一个执行上下文堆栈[execution context (EC) stack]。栈的顶部就是出于激活状态的上下文。
  当一段程序开始的时候，会先进入全局执行上下文环境[global execution context],所以全局执行上下文会最先被压入栈的底部，
此时全局程序会开始初始化，初始化生成必要的对象[objects]和函数[functions]，(我的理解：也就是在全局内的变量和函数的声明前置吧)，
在此全局上下文执行的过程中（就是运行全局函数的过程中），它可能会激活一些方法（就时调用或执行别的函数呗，当然是已经初始化过的），然后进入他们的上下文环境，进入他们的上下文环境之后，环境被激活，就被压入执行上下文堆栈[execution context (EC) stack]中，在这些初始化都结束之后，这个系统会等待一些事件（例如用户的鼠标点击等），会触发一些方法，然后进入一个新的上下文环境。

Paste_Image.png

如下图:有一个函数上下文“EC1″和一个全局上下文“Global EC”，下图展现了从“Global EC”进入和退出“EC1″时栈的变化:

Paste_Image.png

ECMAScript运行时系统就是这样管理代码的执行。

执行上下文

每次当控制器转到ECMAScript可执行代码的时候，即会进入到一个执行上下文。执行上下文(简称-EC)是ECMA-262标准里的一个抽象概念，用于同可执行代码(executable code)概念进行区分。
  活动的执行上下文组在逻辑上组成一个堆栈。堆栈底部永远都是全局上下文(global context)，而顶部就是当前(活动的)执行上下文。堆栈在EC类型进入和退出上下文的时候被修改（推入或弹出）。

原文：http://dmitrysoshnikov.com/ecmascript/javascript-the-core/
参考1：http://ued.ctrip.com/blog/?p=2795
参考2：http://www.cnblogs.com/ifishing/archive/2010/12/08/1900594.html