Node.js 中的事件循环是基于单线程的异步非阻塞模型。它是 Node.js 的核心机制,用于处理非阻塞的 I/O 操作和异步事件。
1. Node.js 事件循环介绍
Node.js 的事件循环是一个 Event Loop,通过异步回调函数的方式实现非阻塞的处理。事件循环会在主线程上不断地执行,监听和处理事件,执行相应的回调函数。
Node.JS的事件循环比浏览器端复杂很多。Node.js的运行机制如下:
- V8引擎解析JavaScript脚本。
- 解析后的代码,调用Node API 。
- libuv 库(C++)负责Node API的执行。它将不同的任务分配给不同的线程,形成一个事件循环,以异步的方式将任务的执行结果返回给V8引擎。
- V8引擎再将结果返回给用户。
2. 事件循环的六个阶段
libuv 引擎中的事件循环分为六个阶段,每个阶段都有对应的回调队列(回调函数的集合)和触发器,依次执行以下步骤:
- timers 阶段:处理定时器和
setTimeout
/setInterval
设置的回调函数。 - I/O callbacks 阶段:处理上一轮循环中少量未执行的与 I/O 相关的回调函数,例如网络请求的响应、文件读写等。
- idle, prepare 阶段:内部使用。
- poll 阶段:检索新的 I/O 事件,执行与 I/O 相关的回调函数。
- check 阶段:执行
setImmediate
设置的回调函数。 - close callbacks 阶段:执行一些关闭的回调函数,例如
socket.on('close', ...)
。
外部输入数据一>轮询阶段(poll)->检查阶段(check)->关闭事件回调阶段(close callback)->定时器
检测阶段(timer)->I/O事件回调阶段(I/O callbacks)->闲置阶段(idle、prepare)->轮询阶段(按照该顺序反复运行)
timers
timers阶段会执行setTimeout和setInterval回调,并且是由poll阶段控制的。同样,在Node.js中定时器指定的时间也不是准确时间,只能是尽快执行。
poll
poll 是一个至关重要的阶段,这一阶段中,系统会做两件事情:
- 回到timer阶段执行回调
- 执行 I / O 回调
并且在进入该阶段时如果没有设定了timer的话,会发生以下两件事情: - 如果 poll 队列不为空,会遍历 poll 回调队列并同步执行,直到队列为空或者达到系统限制
- 如果 poll 队列为空时,会有两件事发生:
- 如果有setlmmediate回调需要执行,poll 阶段会停止并且进入到check阶段执行回调
- 如果没有setlmmediate回调需要执行,会等待其他异步任务回调被加入到队列中并立即执行回调,这里同样会有个超时时间,防止一直等待下去
当然设定了timer的话且 poll 队列为空,则会判断是否有timer超时,如果有的话会回到timer阶段执行回调。
假设 poll 被堵塞,那么即使 timer 已经到时间了也只能等着,这也是为什么上面说定时器指定的时间并不是准确的时间。
const fs = require('fs')
const start = Date.now()
setTimeout(()=>{console.log('setTimeout', Date.now() - start) // 503ms
}, 200)
fs.readFile('./index.js', ()=>{const start = Date.now()console.log('文件读取结束')// 强行拖时间while(Date.now() - start < 500) {}
})
//timer队列 setTimeout 异步需要等待 poll 全部执行完之后再执行
//poll队列 readFile
check
setimmediate()的回调被加入check队列中,从事件循环的阶段图可以知道,check阶段的执行顺序在poll 阶段之后。
3. 一些注意点:
- setTimeout 和 setImmediate 区别:setImmediate 在 poll阶段完成时执行,即check阶段;setTimeout 在 poll 阶段为空闲时,且设定时间到达后执行,但在 timer 阶段执行
setTimeout(function() {console.log('timeout');
}, 0)
setImmediate(function() {console.log('immediate');
})
他们执行的先后顺序是未知的,进入事件循环的准备也是需要花费成本的,如果准备阶段花费了大于 1ms 的时间,那么在 timer 阶段就会直接执行 setTimeout 回调;否则就先执行 setImmediate 回调。
但当二者在异步 I/O callback内部调用时,总是先执行setlmmediate, 再执行setTimeout。例如:
const fs = require('fs')
fs.readFile(__filename,()=>setTimeout(()=>{console.log('timeout');},0)setImmediate(()=>{console.log('immediate')})
})
// immediate
// timeout
在上述代码中,setlmmediate永远先执行。因为两个代码写在I/O回调中,I / O 回调是在 poll 阶段执行,当回调执行完毕后队列为空,发现存在setlmmediate回调,所以就直接跳转到check阶段去执行回调了。
- process.nextTick
setTimeout(() => {console.log('timer1')Promise.resolve().then(function () {console.log('promise1')})
}, 0)
process.nextTick(() => {console.log('nextTick')process.nextTick(() => {console.log('nextTick')process.nextTick(() => {console.log('nextTick')process.nextTick(() => {console.log('nextTick')})})})
})
// timers: setTimeout
// 微任务队列:nextTick
nextTick 有一个自己的队列,独立于事件循环,每个阶段执行完成后,如果存在 nextTick,就会清空队列中的所有回调函数,并且优先于其他 微任务队列 执行。
4. Node.js 事件循环和浏览器事件循环的区别:
- 浏览器环境下,微任务队列在每一个宏任务执行完之后执行。
- node.js 环境,微任务会在事件循环的各个阶段之间执行,每一个阶段执行完毕,都会去清空微任务队列中的任务。
通过事件循环,Node.js 实现了高效的异步 I/O 操作,并能够处理大量的并发连接,适用于构建高性能的网络应用程序。