尽管JavaScript是单线程的,但是事件循环尽可能的使用系统内核允许Node.js执行非阻塞I/O *** 作 尽管大部分现代内核是多线程的,他们可以在后台处理多线程任务。当一个任务完成时,内核告诉Node.js,然后适当的回调会被加入到循环中执行,这篇文章会进一步详细的介绍这个话题
时间循环解释当Node.js开始执行时,首先会初始化事件循环,处理提供的输入脚本(或者放入REPL,本文档未涉及)这会执行异步 API调用,调度计时器,或调用 process.nextTick(),然后开始处理事件循环
下图展示了事件循环执行顺序的简化概览
┌───────────────────────────┐ ┌─>│ timers │ │ └─────────────┬─────────────┘ │ ┌─────────────┴─────────────┐ │ │ pending callbacks │ │ └─────────────┬─────────────┘ │ ┌─────────────┴─────────────┐ │ │ idle, prepare │ │ └─────────────┬─────────────┘ ┌───────────────┐ │ ┌─────────────┴─────────────┐ │ incoming: │ │ │ poll │<─────┤ connections, │ │ └─────────────┬─────────────┘ │ data, etc. │ │ ┌─────────────┴─────────────┐ └───────────────┘ │ │ check │ │ └─────────────┬─────────────┘ │ ┌─────────────┴─────────────┐ └──┤ close callbacks │ └───────────────────────────┘
每一个盒子代表着事件循环的一个阶段
每一个阶段有一个FIFO的队列 callback 执行,然而每一个阶段基于它自己的方式执行,总体来讲,当事件循环进入到一个阶段里,它将执行当前阶段的任何 *** 作,开始执行当前阶段队列中的回调直到队列完全消耗完或者执行到队列的最大数据。当队列消耗完或者达到最大数量,事件循环就会移动到下一个阶段。
阶段概述- timers 这个阶段执行 setTimeout() 和 setInterval() 的回调
- pending callbacks 执行 I/O 回调推迟到下一个循环迭代
- idle,prepare 仅在内部使用
- poll 检索新的 I/O 事件;执行 I/O 相关的回调(几乎所有相关的回调,关闭回调,)
- check setImmediate() 会在此阶段调用
- close callbacks 关闭回调,例如: socket.on('close', ...)
在事件循环的每个过程中,Node.js检查是否它正在等待异步的I/O和计时器,如果没有则完全关闭
阶段详情timer一个计时器指定一个回调会被执行的临界点,而不是人们想让它执行的时间,计时器会在指定的过去时间之后尽可能早的执行,然而, *** 作系统调度或者其他回调会让它延迟执行。
从技术角度上讲,poll 阶段决定了回调何时执行
例如,你设置了一个计时器,100 ms之后执行,然而你的脚本异步读取了一个文件花费了 95ms
const fs = require('fs'); function someAsyncOperation(callback) { // Assume this takes 95ms to complete fs.readFile('/path/to/file', callback); } const timeoutScheduled = Date.now(); setTimeout(() => { const delay = Date.now() - timeoutScheduled; console.log(`${delay}ms have passed since I was scheduled`); }, 100); // do someAsyncOperation which takes 95 ms to complete someAsyncOperation(() => { const startCallback = Date.now(); // do something that will take 10ms... while (Date.now() - startCallback < 10) { // do nothing } });
当事件循环进入了 poll 阶段,是一个空的队列,(fs.readFile() 还没有完成),因此它会等待剩余的毫秒数直到最快的计时器阈值到达,当95 ms之后,fs.readFile() 完成了读文件并且会花费10 ms完成添加到poll 阶段并且执行完毕,当回调完成,队列中没有回调要执行了,事件循环循环返回到timers 阶段,执行计时器的回调。在这个例子中,你会看到计时器被延迟了105 ms之后执行
为了防止 poll 阶段阻塞事件循环,libuv(实现了事件循环和平台上所有的异步行为的C语言库)在 poll 阶段同样也有一个最大值停止轮训更多事件
pending callbacks此阶段为某些系统 *** 作(例如 TCP 错误类型)执行回调。 例如,如果 TCP 套接字在尝试连接时收到 ECONNREFUSED,则某些 *nix 系统希望等待报告错误。 这将在挂起的回调阶段排队执行。
pollpoll 阶段有两个主要的功能
- 计算 I/O 阻塞的时间
- 执行 poll 队列中的事件
当事件循环进入到了poll阶段并且没有计时器,发生以下两种事情
- 如果 poll 队列中不为空,事件循环会同步地迭代执行每个回调直到执行所有,或者达到系统的的硬限制
- 如果 poll 队列是空的,以下两种情况会发生
- 如果是setImmediate的回调,事件循环会结束 poll 阶段并进入到 check 阶段执行回调
- 如果不是setImmediate,事件循环会等待回调添加到队列中,然后立即执行
一旦 poll 队列是空的,事件循环会检测计时器是否到时间,如果有,事件循环会到达timers 阶段执行计时器回调
check此阶段允许人们在 poll 阶段完成后立即执行回调。 如果轮询阶段变得空闲并且脚本已使用 setImmediate() 排队,则事件循环可能会继续到 check 阶段而不是等待。
setImmediate() 实际上是一个特殊的计时器,它在事件循环的单独阶段运行。 它使用一个 libuv API 来安排在 poll 阶段完成后执行的回调。
通常,随着代码的执行,事件循环最终会到达 poll 阶段,它将等待传入的连接、请求等。但是,如果使用 setImmediate() 安排了回调并且 poll 阶段变得空闲,它将结束并继续 check 阶段,而不是等待 poll 事件。
close callbacks如果一个 socket 或者 *** 作突然被关闭(e.g socket.destroy()),close 事件会被发送到这个阶段,否则会通过process.nextTick()发送
setImmediate() VS setTimeout()setImmediate() 和 setTimeout() 是相似的,但是不同的行为取决于在什么时候被调用
- setTimmediate() 在 poll 阶段一旦执行完就会执行
- setTimeout() 在一小段时间过去之后被执行
每个回调执行的顺序依赖他们被调用的上下本环境,如果在同一个模块被同时调用,那么时间会受到进程性能的限制(这也会被运行在这台机器的其他应用所影响)
例如,如果我们不在I/O里边运行下面的脚本,尽管它受进程性能的影响,但是不能够确定这两个计时器的执行顺序:
// timeout_vs_immediate.js setTimeout(() => { console.log('timeout'); }, 0); setImmediate(() => { console.log('immediate'); });
$ node timeout_vs_immediate.js timeout immediate $ node timeout_vs_immediate.js immediate timeout
然而,如果你移动到I/O 循环中,immediate 回调总是会先执行
// timeout_vs_immediate.js const fs = require('fs'); fs.readFile(__filename, () => { setTimeout(() => { console.log('timeout'); }, 0); setImmediate(() => { console.log('immediate'); }); });
$ node timeout_vs_immediate.js immediate timeout $ node timeout_vs_immediate.js immediate timeout
setImmediate 相对于 setTimeout 的优势是 setImmediate 如果在I/O 中总是会优先于任何计时器被先执行,与存在多少计时器无关。
process.nextTick()尽管 process.nextTick() 是异步API的一部分,但是你可能已经注意到了它没有出现在图表中,这是因为 process.nextTick() 不是事件循环技术的一部分,相反,当前 *** 作执行完毕之后 nextTickQueue 会被执行,无论事件循环的当前阶段如何。 在这里, *** 作被定义为来自底层 C/C++ 处理程序的转换,并处理需要执行的 JavaScript。 根据图表,你可以在任意阶段调用 process.nextTick(),在事件循环继续执行之前,所有传递给 process.nextTick() 的回调都将被执行,这个会导致一些坏的情况因为它允许你递归调用 process.nextTick() "starve" 你的 I/O ,这会阻止事件循环进入 poll 阶段。
为什么这会被允许为什么这种情况会被包含在Node.js中?因为Node.js的设计理念是一个API应该总是异步的即使它不必须,看看下面的片段
function apiCall(arg, callback) { if (typeof arg !== 'string') return process.nextTick( callback, new TypeError('argument should be string') ); }
该片段会进行参数检查,如果不正确,它会将错误传递给回调。 API 最近更新,允许将参数传递给 process.nextTick() 允许它接受在回调之后传递的任何参数作为回调的参数传播,因此您不必嵌套函数。
我们正在做的是将错误传回给用户,但前提是我们允许用户的其余代码执行。 通过使用 process.nextTick(),我们保证 apiCall() 总是在用户代码的其余部分之后和允许事件循环继续之前运行它的回调。 为了实现这一点,允许 JS 调用堆栈展开,然后立即执行提供的回调,这允许人们对 process.nextTick() 进行递归调用,而不会达到 RangeError:从 v8 开始超出最大调用堆栈大小。
更多node相关知识,请访问:nodejs 教程!
以上就是什么是事件循环?详解Node.js中的事件循环的详细内容,
欢迎分享,转载请注明来源:内存溢出
评论列表(0条)