详解nodejs中的事件循环机制

js执行时同步和异步任务任务分别进入不同的执行环境，同步任务的进入主线程，即主执行栈，异步任务(ajax请求、settimeout、setinterval、poromise.resolve()等)进入任务队列。不同的异步任务会推入不同的任务队列，比如ajax请求、settimeout、setinterval等这些任务会被推入进宏任务队列（Macro Task），而Promise函数则会被推到微任务队列（Micro Task）。整体的事件循环过程如下：

• 当同步代码执行完后，主执行栈变空，开始准备执行异步任务。

• 主线程会检查微任务队列是否为空，如果不为空那么会遍历队列内的所有微任务将其执行完，清空微任务队列，然后再检查宏任务队列。如果微任务队列是空的，直接进入下一步。

• 主线程遍历宏任务队列，并执行宏任务队列中的第一个宏任务，在执行的过程中如果遇到宏任务或者微任务，则继续将他们推入到对应的任务队列，每次执行完一次宏任务都要遍历执行一下微任务队列，将其清空

• 执行渲染操作，更新视图

• 开始下一次的事件循环，重复上述步骤直至两个任务队列清空

为了加深一下影响，举一个小小的，看看以下代码会输出什么：

    var le=Promise.resolve(2);
    console.log(le)
    console.log(&＃39;3&＃39;)
    Promise.resolve().then(()=>{
    console.log(&＃39;Promise1&＃39;)  
    setTimeout(()=>{
        console.log(&＃39;setTimeout2&＃39;)
    },0)
    })
    setTimeout(()=>{
    console.log(&＃39;setTimeout1&＃39;)
    Promise.resolve().then(()=>{
        console.log(&＃39;Promise2&＃39;)    
    })
    },0);

用以上的事件循环过程分析一下：

• js主进程执行代码遇到Promise.resolve(2)，会立即执行，将2变成一个promise对象，然后console.log（le）将le变量打印出来，打印----->Promise {: 2}；
• console.log(&＃39;3&＃39;)，打印----->3
• 接着往下执行遇到Promise.resolve().then，这是一个异步微任务函数，推到微任务栈
• 下一个函数遇到setTimeout，推到宏任务队列，至此主进程空了
• 检查微任务队列，发现Promise.resolve().then，所以打印----->promise1，又遇到一个定时器，推至宏任务队列的最后，微任务队列空了
• 检查宏任务队列，取第一个宏任务执行，打印----->setTimeout1，又遇到 Promise.resolve().then，推至微任务队列
• 再开始下一个宏任务之前，一定会清空微任务，因此打印setTimeout1后，便会检查微任务队列，于是--->promise2
• 接下来又一轮事件循环，取宏任务队列当前的第一个任务执行，于是打印打印----->setTimeout2，至此宏任务和微任务队列均被清空，事件循环结束

因此输出结果是：Promise {: 2}，3，promise1，setTimeout1，promise2，setTimeout2。

浏览器里执行结果如下：

六个阶段分别是：

• timers 阶段：这个阶段执行timer（setTimeout、setInterval）的回调
• I/O callbacks 阶段：执行一些系统操作的回调(比如网络通信的错误回调)；
• idle, prepare 阶段：仅node内部使用,可忽略
• poll 阶段：获取新的I/O事件, 适当的条件下node将阻塞在这里
• check 阶段：执行 setImmediate() 的回调
• close callbacks 阶段：执行 socket 的 close 事件回调，如果一个socket或handle被突然关掉（比如socket.destroy()），close事件将在这个阶段被触发

事件循环中，每当进入某一个阶段，都会从该阶段对应的回调队列中取出函数去执行。当队列为空或者执行的回调函数数量到达系统设定的阈值，该阶段就会终止，然后检查NextTick队列和微任务队列，将其清空，之后进入下一个阶段。

这里面比较关键的是poll阶段：

• poll队列不为空的时候，事件循环会遍历队列并同步执行回调，直到队列清空或执行回调数达到系统上限。
• poll队列为空的时候，就会有两种情况：
  • 如果代码中存在setImmediate()回调，那么事件循环直接结束poll阶段进入check阶段来执行check队列里的回调；
  • 如果不存在setImmediate()回调，会等待回调被加入到队列中并立即执行回调，这里同样会有个超时时间设置防止一直等待下去，如果规定时间内有定时器函数进入队列，则返回到timer阶段，执行定时器回调，否则在poll阶段等待回调进入队列。

同样的举个大大的，看看以下代码会输出什么：

console.log(&＃39;start&＃39;)
setTimeout(() => {
  console.log(&＃39;timer1&＃39;)
  Promise.resolve().then(function() {
    console.log(&＃39;promise1&＃39;)
  })
}, 0)
setTimeout(() => {
  console.log(&＃39;timer2&＃39;)
  Promise.resolve().then(function() {
    console.log(&＃39;promise2&＃39;)
  })
}, 0)
Promise.resolve().then(function() {
  console.log(&＃39;promise3&＃39;)
})
console.log(&＃39;end&＃39;)

利用node事件循环分析呗：

• 先执行同步任务，打印start,end
• 进入timer阶段前，清空NextTick和micro队列，所以打印promise3
• 进入timer阶段，打印timer1，并发现有一个微任务，立即执行微任务，打印promise1
• 仍然在timer阶段，执行下个宏任务，打印timer2,同样遇到微任务，立即执行，打印promise2

因此输出顺序是：start,end,promise3,timer1,promise1,timer2,promise2,如果能正确回答出来说明对node的循环机制有了大体的了解，实际node输出结果确实是这样：

那如下代码会输出什么呢？

process.nextTick(function(){
    console.log(7);
});

new Promise(function(resolve){
    console.log(3);
    resolve();
    console.log(4);
}).then(function(){
    console.log(5);
});

process.nextTick(function(){
    console.log(8);
});

继续分析：

• process.nextTick会将任务推进至nextTick队列，promise.then会把任务推至micro队列，上面提到过每次一个宏任务执行完，执行下一个宏任务之前需要清空nextTick队列和micro队列，同样的一个阶段执行完，进入下一个阶段之前也需要nextTick队列和micro队列，并且nextTick队列优先级高于micro队列
• 先执行同步代码，打印3，4
• 执行nextTick队列，打印7，8
• 再执行micro队列，打印5

因此最终输出是：3，4，7，8，5，需要记住，process.nextTick 永远大于 promise.then的优先级

还有一个大家很容易混淆的点就是setTimout和setImmediate的执行时机，根据上面描述的node事件循环机制，setImmediate()应该在check阶段执行 与 而setTimeout在timer阶段执行，理论上setTimout比setImmediate先执行，看下面的代码：

setTimeout(() => console.log(1),0);
setImmediate(() => console.log(2));

执行结果是什么？1，2 还是 2，1，其实都有可能，看实际node运行的结果：

可以看到两次执行的结果不一样，为什么呢？原因在于即使setTimeout的第二个参数默认为0，但实际上，Node做不到0秒就执行其回调，最少也要4毫秒。那么进入事件循环后，如果没到4毫秒，那么timers阶段就会被跳过，从而进入check阶段执行setImmediate回调，此时输出结果是：2，1；

如果进入事件循环后，超过4毫秒(只是个大概，具体值并不确定)，setTimeout的回调会出现在timer阶段的队列里，回调将被执行，之后再进入poll阶段和check阶段，此时输出结果是：1，2

那如果两者在I/O周期内调用，谁先执行呢？看一下代码：

const fs = require(&＃39;fs&＃39;)

fs.readFile(&＃39;./test.txt&＃39;, &＃39;utf8&＃39; , (err, data) => {
  if (err) {
    console.error(err)
    return
  }
  setTimeout(() => {
    console.log(&＃39;timeout&＃39;);
  }, 0);
  setImmediate(() => {
    console.log(&＃39;immediate&＃39;);
  });
})

实际上，node中输出的结果总是immediate先输出，timeout后输出。因为I/O回调是在poll阶段执行，当回调执行完毕之后队列为空，发现存在setImmediate的回调就会进入check阶段，执行完毕后，再进入timer阶段。

四、总结

本文结合代码示例，对node的事件循环机制做了比较详细描述。通过这篇文章，应该可以了解浏览器的事件循环机制是怎样的，node的循环机制是怎样的，以及nextTick和micro队列的优先级，setTimout和setImmediate执行时机等一些容易混淆的知识点。文章中不足和不对之处，欢迎在评论区交流讨论，一起探索，谢谢。

更多编程相关知识，请访问：编程入门！！

以上就是详解nodejs中的事件循环机制的详细内容，更多请关注其它相关文章！