JavaScript 并发模型和事件循环

JavaScript 有一个基于“事件循环”的并发模型。这个模型不同于 C 或 JAVA 中的模型。

运行时概念

JavaScript 的运行时理论模型包括：栈（stack），堆（heap）和队列（queue）。

栈

函数调用形成一个栈帧。

function foo(b) {
  var a = 10;
  return a + b + 11;
}

function bar(x) {
  var y = 3;
  return foo(x * y);
}

console.log(bar(7)); //returns 42

当调用bar是，一个包含bar参数和局部变量的栈帧被创建。当bar调用foo时，第二个栈帧被创建并压至栈顶，包含foo的参数和局部变量。当foo返回时，顶部的栈帧弹出。当bar返回时，栈为空。

堆

创建的对象被存放在堆里，堆是用来保存数据的区域。

队列

一个 JavaScript 运行时有一个信息队列。每一个信息都有一个相关联的函数，这个函数在被调用时处理这个信息。
在事件循环中，运行时会按照 FIFO 规则处理消息。将消息从队列中移出，调用关联的函数，创建一个新的函数栈帧进行处理。在处理完这个消息后，时间循环将会处理队列中的下一个消息（如果有的话）。

事件循环

事件循环由它通常被实现的方式得名：

while (queue.waitForMessage()) {
  queue.processNextMessage();
}

queue.waitForMessage()在当前队列没有消息时等待消息到来。

完全运行

在其他消息被处理前，每一条消息都会被完全处理。这对于推理程序的运行结果是非常好的。因为无论什么时候，只要一个程序运行，它就不能被抢占，在其他任何程序运行前，它会先被处理完（尤其是那些会修改数据的程序）。这和 C 不同，C 中一个函数在线程中运行，它会在任何一个时间点被运行时中断，去运行另外一个线程。
这样的机制有一个缺点：如果一个消息花了太长时间处理，web 应用将无法处理用户交互。所有需要控制每一个消息的时间，可能地话把一个消息拆成几个。

添加消息

在 web 应用中，消息可以在任何时候通过触发事件添加，事件通常绑定有一个事件监听器。如果没有监听器，事件就丢失了。所以，点击一个有点击事件处理器的元素时，将会添加一个消息，像其它任何事件一样。
函数setTimeout有两个参数：添加进队列的消息和一个时间值。这个时间值代表该消息被添加进消息队列的最短延时。如果队列没有其它消息，那么该消息就会立即处理。如果有其它消息，则要等到处理完队列中的消息再处理它。因此这个之间值只是最小延时的理论值，不能保证一定是这个值。

const s = new Date().getSeconds();

setTimeout(function() {
  // prints out "2", meaning that the callback is not called immediately after 500 milliseconds.
  console.log("Ran after " + (new Date().getSeconds() - s) + " seconds");
}, 500);

while(true) {
  if(new Date().getSeconds() - s >= 2) {
    console.log("Good, looped for 2 seconds");
    break;
  }
}

从不阻塞

事件循环模型有一个很有趣的属性——从不阻塞。处理I/O通常通过事件和回调，所以当应用等待I/O事件时，它仍然可以处理其它事件。