理解nodeJS中的Event loop

一道面试题引发的思考

let fs = require('fs')
fs.readFile('./test.js', () => {
  console.log('fs')
  setTimeout(() => {
    console.log('setTimeout')
  }, 0)
  setImmediate(() => {
    console.log('setImmediate')
  })
})
复制代码

这是一道nodeJS面试题，主要考察事件循环，如果你不太理解，请仔细阅读文章分析。

事件循环

Event loop是一种程序结构，是实现异步的一种机制。Event loop可以简单理解为：

1. 所有任务都在主线程上执行，形成一个执行栈（execution context stack）。
2. 主线程之外，还存在一个"任务队列"（task queue）。系统把异步任务放到"任务队列"之中，然后主线程继续执行后续的任务。
3. 一旦"执行栈"中的所有任务执行完毕，系统就会读取"任务队列"。如果这个时候，异步任务已经结束了等待状态，就会从"任务队列"进入执行栈，恢复执行。
4. 主线程不断重复上面的第三步。

解释Event loop

setTimeout(() => {
  console.log('setTimeout')
}, 0);

setImmediate(() => {
  console.log('setImmediate')
});
复制代码

当Node.js启动时，它会初始化Event loop，处理提供的代码（代码里可能会有异步API调用，timer，以及process.nextTick()），然后开始处理Event loop。而初始化Event loop需要消耗时间，定时器也有最小等待时间，所以在一般情况下 setTimeout 和 setImmediate 的顺序是无法确定的。

Event Loop的执行顺序

1. timers: 这个阶段执行setTimeout()和setInterval()设定的回调。
2. I/O callbacks: 执行被推迟到下一个iteration的 I/O 回调。
3. idle, prepare: 仅内部使用。
4. poll: 获取新的I/O事件；node会在适当条件下阻塞在这里。这个阶段执行几乎所有的回调（包含读写文件回调），除了close回调，timer的回调，和setImmediate()的回调。
5. check: 执行setImmediate()设定的回调。
6. close callbacks: 执行比如socket.on('close', ...)的回调。

console.log(1)
setTimeout(() => {
  console.log('setTimeout1')
  Promise.resolve('promise').then((res) => console.log(res))
}, 0);
setTimeout(() => {
  console.log('setTimeout2')
}, 0);
复制代码

node在执行的时候会先检查当前队列是否执行完毕，只有当前队列执行完毕才会切换到下一个队列执行，而在切换的过程中会去执行微任务队列，所以上面的结果是：当前执行栈(1)-> timer队列(setTimeout1,setTimeout2) ->微任务队列(promise)

说明：promise的then是微任务，setImmediate是微任务，nextTick是微任务

setImmediate(() => {
  console.log('setImmediate1')
  setTimeout(() => {
    console.log('setTimeout1')
  }, 0);
})

setTimeout(() => {
  console.log('setTimeout2')
  setImmediate(() => {
    console.log('setImmediate2')
  });
}, 0)
复制代码

假设setImmediate先执行，执行顺序是：setImmediate1 setTimeout2 setTimeout1 setImmediate2 ，分析代码是这样的先输出setImmediate1，然timeout队列增加一个setTimeout1（之前就已经有setTimeout2），所以setTimeout执行的时候会先执行setTimeout2 再把当前队列的setTimeout1也执行，再去执行微任务队列setImmediate2