JavaScript运行机制,Event Loop

JavaScript 语言的一大特点就是单线程，也就是说，同一个时间只能做一件事。那么，为什么 JavaScript 不能有多个线程呢？这样能提高效率啊。

1.为什么 JavaScript 是单线程？

JavaScript 的单线程，与它的用途有关。作为浏览器脚本语言，JavaScript 的主要用途是与用户互动，以及操作 DOM。这决定了它只能是单线程，否则会带来很复杂的同步问题。比如，假定 JavaScript 同时有两个线程，一个线程在某个 DOM 节点上添加内容，另一个线程删除了这个节点，这时浏览器应该以哪个线程为准？

所以，为了避免复杂性，从一诞生，JavaScript 就是单线程，这已经成了这门语言的核心特征，将来也不会改变。

为了利用多核 CPU 的计算能力，HTML5 提出 Web Worker 标准，允许 JavaScript 脚本创建多个线程，但是子线程完全受主线程控制，且不得操作 DOM。所以，这个新标准并没有改变 JavaScript 单线程的本质。

2.任务队列

任务可以分为两种，一种为同步，另一种为异步（具有回调函数）。如下图：

所有的同步任务都在主线程上执行，形成一个执行栈 stack。当所有同步任务执行完毕后，它会去执行 microtask queue 中的异步任务（nextTick，Promise），将他们全部执行。主线程之外还有一个任务队列 task queue，当有异步任务（DOM，AJAX，setTimeout，setImmediate）有结果的时候，就在任务队列里放一个事件，一旦执行栈和 microtask queue 任务执行完毕，系统就会读取任务队列，将取出排在最前面的事件加入执行栈执行，这种机制就是任务队列。

Event Loop

主线程在任务队列中读取事件，这个过程是循环不断地，所以这种运行机制叫做 Event Loop（事件循环）

nextTick、setImmediate、setTimeout

nextTick 是在执行栈同步代码结束之后，下一次 Event Loop（任务队列）执行之前。当所有同步任务执行完，会在 queue 中执行 nextTick，无论 nextTick 有多少层回调，都会执行完毕后再去任务队列，所以会造成一直停留在当前执行栈，无法执行任务队列

process.nextTick(function () {
  console.log("nextTick1")
  process.nextTick(function () {
    console.log("nextTick2")
  })
})

setTimeout(function timeout() {
  console.log("setTimeout")
}, 0)

执行完毕后输出 nextTick1、nextTick2、setTimeout

setImmediate 方法是在 Event Loop（任务队列）末尾，也就是下一次 Event Loop 时执行。
setTimeout 方法是按照执行时间，放入任务队列，有时快与 setImmediate 有时慢

setImmediate(function () {
  console.log("setImmediate1")
  setImmediate(function () {
    console.log("setImmediate2")
  })
})

setTimeout(function timeout() {
  console.log("setTimeout")
}, 0)

这段代码执行完可能是 setImmediate1、setTimeout、setImmediate2，也可能是 setTimeout、setImmediate1、setImmediate2，原因是 setTimeout 和 setImmediate1 都是在下次 Event Loop 中触发，所以先后不确定，但是 setImmediate2 肯定是最后，因为他是在 setImmediate1 任务队列之后，也就是下下次 Event Loop 执行

3.Node.js 的 Event Loop

Node.js 也是单线程的 Event Loop 但是和浏览器有些区别，如图所示，

1.先通过 Chrom V8 引擎解析 Javascript 脚本

2.解析完毕后调用 Node API

3.LIBUV 库负责 Node API 的执行，将不同任务分配给不同的线程，形成一个 Event Loop（任务队列）

4.最后 Chrom V8 引擎将结果返回给用户

Node.js Event Loop 原理

Node.js 的特点是事件驱动，非阻塞单线程。当应用程序需要 I/O 操作的时候，线程并不会阻塞，而是把 I/O 操作交给底层库（LIBUV）。此时 node 线程会去处理其他任务，当底层库处理完 I/O 操作后，会将主动权交还给 Node 线程，所以 Event Loop 的用处是调度线程，例如：当底层库处理 I/O 操作后调度 Node 线程处理后续工作，所以虽然 node 是单线程，但是底层库处理操作依然是多线程