繁体   English   中英

Nodejs 事件循环

[英]Nodejs Event Loop

nodejs架构内部是否有两个事件循环?

  • libev/libuv
  • v8 javascript 事件循环

在 I/O 请求中,节点是否将请求排队发送到 libeio,后者反过来使用 libev 通过事件通知数据的可用性,最后这些事件由 v8 事件循环使用回调处理?

基本上,libev 和 libeio 如何集成到 nodejs 架构中?

是否有任何文档可以清楚地了解 nodejs 内部架构?

我一直在亲自阅读 node.js & v8 的源代码。

当我试图理解 node.js 架构以编写原生模块时,我遇到了和你类似的问题。

我在这里发布的是我对 node.js 的理解,这也可能有点偏离轨道。

  1. libev是事件循环,它实际上在 node.js 内部运行以执行简单的事件循环操作。 它最初是为 *nix 系统编写的。 Libev 为流程运行提供了一个简单但经过优化的事件循环。 您可以在此处阅读有关 libev 的更多信息。

  2. LibEio是一个异步执行输入输出的库。 它处理文件描述符、数据处理程序、套接字等。你可以在这里阅读更多关于它的信息

  3. LibUv是位于 libeio、libev、c-ares(用于 DNS)和 iocp(用于 Windows 异步 io)之上的抽象层。 LibUv 执行、维护和管理事件池中的所有 io 和事件。 (在 libeio 线程池的情况下)。 您应该查看Ryan Dahl关于 libUv的教程 这将使您对 libUv 本身的工作方式更有意义,然后您将了解 node.js 如何在 libuv 和 v8 之上工作。

要仅了解 javascript 事件循环,您应该考虑观看这些视频

要了解如何将 libeio 与 node.js 结合使用以创建异步模块,您应该查看此示例

基本上在 node.js 中发生的事情是 v8 循环运行并处理所有 javascript 部分以及 C++ 模块[当它们在主线程中运行时(根据官方文档 node.js 本身是单线程的)]。 当在主线程之外时,libev 和 libeio 在线程池中处理它,libev 提供与主循环的交互。 所以根据我的理解,node.js 有 1 个永久事件循环:那就是 v8 事件循环。 为了处理 C++ 异步任务,它使用了一个线程池 [via libeio & libev]。

例如:

eio_custom(Task,FLAG,AfterTask,Eio_REQUEST);

其中出现在所有模块中的通常是调用线程池中的Task函数。 完成后,它会调用主线程中的AfterTask函数。 Eio_REQUEST是请求处理程序,它可以是一个结构/对象,其动机是提供线程池和主线程之间的通信。

看起来讨论的一些实体(例如:libev 等)已经失去了相关性,因为已经有一段时间了,但我认为这个问题仍然有很大的潜力。

让我试着借助一个抽象的例子来解释事件驱动模型的工作,在抽象的 UNIX 环境中,在 Node 的上下文中,截至今天。

节目观点:

  • 脚本引擎开始执行脚本。
  • 任何时候遇到 CPU 绑定操作,它都会完整地内联(真机)执行。
  • 任何时候遇到 I/O 绑定操作,请求及其完成处理程序都会注册到“事件机制”(虚拟机)
  • 以上述相同的方式重复操作,直到脚本结束。 CPU 绑定操作 - 执行内联、I/O 绑定操作,向上述机器发出请求。
  • 当 I/O 完成时,监听器被回调。

上面的事件机制称为 libuv AKA 事件循环框架。 Node 利用这个库来实现其事件驱动的编程模型。

节点视角:

  • 有一个线程来承载运行时。
  • 拿起用户脚本。
  • 编译成原生 [ 利用 v8 ]
  • 加载二进制文件,并跳转到入口点。
  • 编译后的代码使用编程原语在线执行 CPU 绑定活动。
  • 许多 I/O 和计时器相关的代码都有本机包装。 例如,网络 I/O。
  • 因此 I/O 调用从脚本路由到 C++ 桥接器,并将 I/O 句柄和完成处理程序作为参数传递。
  • 本机代码执行 libuv 循环。 它获取循环,将代表 I/O 的低级事件和本机回调包装器放入 libuv 循环结构中。
  • 本机代码返回到脚本 - 目前没有发生 I/O!
  • 上面的项目重复多次,直到所有非I/O代码都执行完毕,并且所有I/O代码都注册了libuv。
  • 最后,当系统中没有任何东西可以执行时,节点将控制权交给 libuv
  • libuv 开始运行,它选取所有已注册的事件,查询操作系统以获取它们的可操作性。
  • 那些准备好在非阻塞模式下进行 I/O 的操作会被拾取、执行 I/O 并发出它们的回调。 一个接一个地。
  • 那些尚未准备好的(例如,另一个端点尚未写入任何内容的套接字读取)将继续使用操作系统进行探测,直到它们可用。
  • 循环内部维护一个不断增加的计时器。 当应用程序请求延迟回调(例如 setTimeout)时,会利用此内部计时器值来计算触发回调的正确时间。

虽然大多数功能都以这种方式提供,但一些(异步版本)文件操作是在附加线程的帮助下执行的,这些线程很好地集成到 libuv 中。 虽然网络 I/O 操作可以等待外部事件,例如另一个端点响应数据等,但文件操作需要节点本身的一些工作。 例如,如果您打开一个文件并等待 fd 准备好数据,则不会发生,因为实际上没有人正在阅读! 同时,如果您在主线程中内联读取文件,它可能会阻塞程序中的其他活动,并可能产生可见问题,因为与 cpu 绑定活动相比,文件操作非常慢。 因此,从程序的角度来看,内部工作线程(可通过 UV_THREADPOOL_SIZE 环境变量配置)用于对文件进行操作,而事件驱动的抽象则完好无损。

希望这可以帮助。

libuv 简介

node.js项目始于 2009 年,作为与浏览器分离的 JavaScript 环境。 使用 Google 的V8和 Marc Lehmann 的libev ,node.js 将 I/O 模型(事件化)与一种非常适合编程风格的语言相结合; 由于它被浏览器塑造的方式。 随着 node.js 越来越流行,让它在 Windows 上运行很重要,但 libev 只能在 Unix 上运行。 Windows 等价于 kqueue 或 (e)poll 等内核事件通知机制是 IOCP。 libuv 是对 libev 或 IOCP 的抽象,具体取决于平台,为用户提供基于 libev 的 API。 在 node-v0.9.0 版本的 libuv libev 中被删除

还有一张图片描述了 @ BusyRich在 Node.js 中的事件循环


更新 05/09/2017

根据此文档Node.js 事件循环

下图显示了事件循环操作顺序的简化概述。

   ┌───────────────────────┐
┌─>│        timers         │
│  └──────────┬────────────┘
│  ┌──────────┴────────────┐
│  │     I/O callbacks     │
│  └──────────┬────────────┘
│  ┌──────────┴────────────┐
│  │     idle, prepare     │
│  └──────────┬────────────┘      ┌───────────────┐
│  ┌──────────┴────────────┐      │   incoming:   │
│  │         poll          │<─────┤  connections, │
│  └──────────┬────────────┘      │   data, etc.  │
│  ┌──────────┴────────────┐      └───────────────┘
│  │        check          │
│  └──────────┬────────────┘
│  ┌──────────┴────────────┐
└──┤    close callbacks    │
   └───────────────────────┘

注意:每个框将被称为事件循环的“阶段”。

阶段概述

  • timers :此阶段执行由setTimeout()setInterval()安排的回调。
  • I/O 回调:执行几乎所有回调,除了关闭回调、计时器调度的回调setImmediate()
  • 空闲,准备:仅在内部使用。
  • poll : 检索新的 I/O 事件; 节点会在适当的时候阻塞在这里。
  • check : setImmediate()回调在这里被调用。
  • 关闭回调:例如socket.on('close', ...)

在事件循环的每次运行之间,Node.js 检查它是否正在等待任何异步 I/O 或计时器,如果没有,则干净地关闭。

NodeJs 架构中有一个事件循环。

Node.js 事件循环模型

Node 应用程序在单线程事件驱动模型中运行。 但是,Node 在后台实现了一个线程池,以便可以执行工作。

Node.js 将工作添加到事件队列中,然后有一个运行事件循环的线程来接它。 事件循环抓取事件队列中的顶部项目,执行它,然后抓取下一个项目。

当执行时间较长或具有阻塞 I/O 的代码时,它不会直接调用函数,而是将函数与将在函数完成后执行的回调一起添加到事件队列中。 当 Node.js 事件队列上的所有事件都执行完毕后,Node.js 应用程序将终止。

当我们的应用程序函数阻塞 I/O 时,事件循环开始遇到问题。

Node.js 使用事件回调来避免等待阻塞 I/O。 因此,任何执行阻塞 I/O 的请求都在后台的不同线程上执行。

当从事件队列中检索到阻止 I/O 的事件时,Node.js 从线程池中检索一个线程,并在那里而不是在主事件循环线程上执行该函数。 这可以防止阻塞 I/O 阻止事件队列中的其余事件。

libuv 只提供了一个事件循环,V8 只是一个 JS 运行时引擎。

作为 javascript 初学者,我也有同样的疑问,NodeJS 是否包含 2 个事件循环?。 经过长时间的研究和与 V8 贡献者之一的讨论,我得到了以下概念。

  • 事件循环是 JavaScript 编程模型的一个基本抽象概念。 所以 V8 引擎提供了事件循环的默认实现,嵌入器(浏览器、节点)可以替换或扩展. 你们可以在这里找到事件循环的 V8 默认实现
  • 在 NodeJS 中,只有一个事件循环存在,由节点运行时提供。 V8 默认事件循环实现被 NodeJS 事件循环实现取代

pbkdf2函数具有 JavaScript 实现,但它实际上将所有要完成的工作委托给 C++ 端。

env->SetMethod(target, "pbkdf2", PBKDF2);
  env->SetMethod(target, "generateKeyPairRSA", GenerateKeyPairRSA);
  env->SetMethod(target, "generateKeyPairDSA", GenerateKeyPairDSA);
  env->SetMethod(target, "generateKeyPairEC", GenerateKeyPairEC);
  NODE_DEFINE_CONSTANT(target, OPENSSL_EC_NAMED_CURVE);
  NODE_DEFINE_CONSTANT(target, OPENSSL_EC_EXPLICIT_CURVE);
  NODE_DEFINE_CONSTANT(target, kKeyEncodingPKCS1);
  NODE_DEFINE_CONSTANT(target, kKeyEncodingPKCS8);
  NODE_DEFINE_CONSTANT(target, kKeyEncodingSPKI);
  NODE_DEFINE_CONSTANT(target, kKeyEncodingSEC1);
  NODE_DEFINE_CONSTANT(target, kKeyFormatDER);
  NODE_DEFINE_CONSTANT(target, kKeyFormatPEM);
  NODE_DEFINE_CONSTANT(target, kKeyTypeSecret);
  NODE_DEFINE_CONSTANT(target, kKeyTypePublic);
  NODE_DEFINE_CONSTANT(target, kKeyTypePrivate);
  env->SetMethod(target, "randomBytes", RandomBytes);
  env->SetMethodNoSideEffect(target, "timingSafeEqual", TimingSafeEqual);
  env->SetMethodNoSideEffect(target, "getSSLCiphers", GetSSLCiphers);
  env->SetMethodNoSideEffect(target, "getCiphers", GetCiphers);
  env->SetMethodNoSideEffect(target, "getHashes", GetHashes);
  env->SetMethodNoSideEffect(target, "getCurves", GetCurves);
  env->SetMethod(target, "publicEncrypt",
                 PublicKeyCipher::Cipher<PublicKeyCipher::kPublic,
                                         EVP_PKEY_encrypt_init,
                                         EVP_PKEY_encrypt>);
  env->SetMethod(target, "privateDecrypt",
                 PublicKeyCipher::Cipher<PublicKeyCipher::kPrivate,
                                         EVP_PKEY_decrypt_init,
                                         EVP_PKEY_decrypt>);
  env->SetMethod(target, "privateEncrypt",
                 PublicKeyCipher::Cipher<PublicKeyCipher::kPrivate,
                                         EVP_PKEY_sign_init,
                                         EVP_PKEY_sign>);
  env->SetMethod(target, "publicDecrypt",
                 PublicKeyCipher::Cipher<PublicKeyCipher::kPublic,
                                         EVP_PKEY_verify_recover_init,
                                         EVP_PKEY_verify_recover>);

资源: https : //github.com/nodejs/node/blob/master/src/node_crypto.cc

Libuv 模块还有另一个职责,它与标准库中的一些非常特殊的函数相关。

对于一些标准库函数调用,Node C++ 端和 Libuv 决定完全在事件循环之外进行昂贵的计算。

相反,它们使用称为线程池的东西,线程池是一系列四个线程,可用于运行计算成本高的任务,例如pbkdf2函数。

默认情况下,Libuv 在此线程池中创建 4 个线程。

除了事件循环中使用的线程之外,还有四个其他线程可用于卸载需要在我们的应用程序内部进行的昂贵计算。

Node 标准库中包含的许多函数都会自动使用这个线程池。 pbkdf2函数就是其中之一。

这个线程池的存在意义重大。

所以 Node 并不是真正的单线程,因为 Node 使用其他线程来执行一些计算量大的任务。

如果事件池负责执行计算量大的任务,那么我们的 Node 应用程序就无能为力了。

我们的 CPU 在一个线程内一条一条地运行所有指令。

通过使用线程池,我们可以在计算发生时在事件循环内做其他事情。

简单来说,Node 事件循环是架构级别的循环或循环,它帮助 Javascript 代码处理异步代码。

事件循环内部有不同的循环/循环,用于处理适当的作业,例如 setTimeouts、setimmediate、文件系统、网络请求、promise 和其他东西。

暂无
暂无

声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.

 
粤ICP备18138465号  © 2020-2024 STACKOOM.COM