Node.js 源码解读 EventLoop

 之前断断续续开发过一些 Node.js 的项目,但只仅限于使用它实现一些功能,没有过多对底层深入的研究。现在因为公司大前端组内的服务端渲染直出、BFF(Backend For Frontend) 等需求会越来越多,组内需要对服务端技术有更深刻的理解,如果对 Node.js 仅仅停留在如何写业务代码的层面,那恐怕是没有底气保证以后服务的稳定性。

  本文会基于 node-v12.13.0 版本的源码,对核心模块代码做一些阅读和理解,以窥探 Node.js 服务高效的秘诀。在研究源码之前,首先带着几个疑问,看接下来是否能一一解开:

  1. EventLoop 的任务调度方式是什么样的?一次 Loop 取一个任务还是多个任务?
  2. 主循环在没有任务处理的空闲时,如何休眠的?是像 iOS 的 runloop 调用系统进程挂起吗?

  事件循环的实现是属于 libuv 核心库的一部分,而在 node 项目中,他的位置是在 deps/uv/src/ 目录下,打开 core.c 文件,其中的 uv_run() 就是主循环的入口函数,整个函数的实现也基本和官方文档给出的事件循环阶段一致。

源码

 当要写这篇博客的时候,实际上已经有很多介绍这些内容的文章了,所以本篇就直接略过一些 loop 阶段,直接讲最重要的:

1.计算超时时间

超时时间直接决定了 poll 阶段是阻塞还是非阻塞的直接执行,所以他决定着任务调度的实际执行时机和执行方式,主要实现在 uv_backend_timeout() 函数里

展开函数的实现:

int uv_backend_timeout(const uv_loop_t* loop) {
  // loop 将要停止时,返回0
if (loop->stop_flag != 0) return 0;  // 没有活跃的 handles 时,返回0 if (!uv__has_active_handles(loop) && !uv__has_active_reqs(loop)) return 0;  // idle不为空时,返回0 if (!QUEUE_EMPTY(&loop->idle_handles)) return 0;  // pending_queue(执行任务已完成待回调队列)不为空时,返回0 if (!QUEUE_EMPTY(&loop->pending_queue)) return 0;  // closeing_handles 不为空时,返回0 if (loop->closing_handles) return 0; return uv__next_timeout(loop); }

接下来是 uv_next_timeout() 这个函数,它是实现在 deps/uv/src/time.c 文件里:

int uv__next_timeout(const uv_loop_t* loop) {
  const struct heap_node* heap_node;
  const uv_timer_t* handle;
  uint64_t diff;

  heap_node = heap_min(timer_heap(loop));
 // timer 队列为空时,返回-1(-1的含义在下面介绍)
if (heap_node == NULL) return -1; /* block indefinitely */ handle = container_of(heap_node, uv_timer_t, heap_node);
 // 如果 timer 超时了,返回0
if (handle->timeout <= loop->time) return 0;
 // 将超时时间设为最早要超时的 timer 的所剩余时间 diff
= handle->timeout - loop->time; if (diff > INT_MAX) diff = INT_MAX; return (int) diff; }

从上面的函数计算好的 timeout 将以参数的形式传入 uv__io_poll() 这个函数,这个函数内就是 poll 阶段的实现了,我已经迫不及待的要一探究竟了。uv__io_poll() 依赖的操作系统提供的功能,具有平台相关性,所以不同的平台会有不同的实现,本文主要讨论linux-core.h这个文件,即linux平台的实现。

  代码比较长我就不贴了,总之看完并理解下来,uv_io_poll 就是对 epoll 的一个封装,但uv给我们提供了一个很值得思考和借鉴的方法,那就是 timeout 的使用,根据这个 timeout 来动态决定一次 loop 将要处理的任务量。

首选来解析一下 epoll_pwait 这个函数的作用

.....
......    
nfds = epoll_pwait(loop->backend_fd,
                       events,
                       ARRAY_SIZE(events),
                       timeout,
                       psigset);
......
......

 

所以从任务队列取并不是简单的只取一条,在这个超时时间内,可能会在一次 loop 的 poll 阶段完成多个任务,完成后会立即回调【阻塞式的完成】。

 

 (未完待续)

 

posted on 2019-12-04 21:23  刘继新  阅读(289)  评论(0编辑  收藏  举报

导航