并发服务器(四):libuv

在这一部分中,我们将使用 libuv 再次重写我们的服务器,并且也会讨论关于使用一个线程池在回调中去处理耗时任务。

-- Eli Bendersky

致谢

编译自 | https://eli.thegreenplace.net/2017/concurrent-servers-part-4-libuv/

作者 | Eli Bendersky

译者 | qhwdw 共计翻译:86篇 贡献时间:123 天

这是并发网络服务器系列文章的第四部分。在这一部分中,我们将使用 libuv 再次重写我们的服务器,并且也会讨论关于使用一个线程池在回调中去处理耗时任务。最终,我们去看一下底层的 libuv,花一点时间去学习如何用异步 API 对文件系统阻塞操作进行封装。

本系列的所有文章:

◈第一节 - 简介

[1]

◈第二节 - 线程

[2]

◈第三节 - 事件驱动

[3]

◈第四节 - libuv

[4]

使用 libuv 抽象出事件驱动循环

在第三节

[3]

中,我们看到了基于 和 的服务器的相似之处,并且,我说过,在它们之间抽象出细微的差别是件很有吸引力的事。许多库已经做到了这些,所以在这一部分中我将去选一个并使用它。我选的这个库是libuv

[5]

,它最初设计用于 Node.js 底层的可移植平台层,并且,后来发现在其它的项目中也有使用。libuv 是用 C 写的,因此,它具有很高的可移植性,非常适用嵌入到像 JavaScript 和 Python 这样的高级语言中。

虽然 libuv 为了抽象出底层平台细节已经变成了一个相当大的框架,但它仍然是以事件循环思想为中心的。在我们第三部分的事件驱动服务器中,事件循环是显式定义在 函数中的;当使用 libuv 时,该循环通常隐藏在库自身中,而用户代码仅需要注册事件句柄(作为一个回调函数)和运行这个循环。此外,libuv 会在给定的平台上使用更快的事件循环实现,对于 Linux 它是 ,等等。

libuv loop

libuv 支持多路事件循环,因此事件循环在库中是非常重要的;它有一个句柄 —— ,以及创建/杀死/启动/停止循环的函数。也就是说,在这篇文章中,我将仅需要使用 “默认的” 循环,libuv 可通过 提供它;多路循环大多用于多线程事件驱动的服务器,这是一个更高级别的话题,我将留在这一系列文章的以后部分。

使用 libuv 的并发服务器

为了对 libuv 有一个更深的印象,让我们跳转到我们的可靠协议的服务器,它通过我们的这个系列已经有了一个强大的重新实现。这个服务器的结构与第三部分中的基于 和 的服务器有一些相似之处,因为,它也依赖回调。完整的示例代码在这里

[6]

;我们开始设置这个服务器的套接字绑定到一个本地端口:

除了它被封装进 libuv API 中之外,你看到的是一个相当标准的套接字。在它的返回中,我们取得了一个可工作于任何 libuv 支持的平台上的可移植接口。

这些代码也展示了很认真负责的错误处理;多数的 libuv 函数返回一个整数状态,返回一个负数意味着出现了一个错误。在我们的服务器中,我们把这些错误看做致命问题进行处理,但也可以设想一个更优雅的错误恢复。

现在,那个套接字已经绑定,是时候去监听它了。这里我们运行首个回调注册:

注册一个事件回调,当新的对端连接到这个套接字时将会调用事件循环。我们的回调在这里被称为 ,我们一会儿将去查看它。

最终, 运行这个 libuv 循环,直到它被停止( 仅在循环被停止或者发生错误时返回)。

注意,在运行事件循环之前,只有一个回调是通过 注册的;我们稍后将看到怎么去添加更多的回调。在事件循环的整个运行过程中,添加和删除回调并不是一个问题 —— 事实上,大多数服务器就是这么写的。

这是一个 ,它处理到服务器的新的客户端连接:

这些代码都有很好的注释,但是,这里有一些重要的 libuv 语法我想去强调一下:

◈ 传入自定义数据到回调中:因为 C 语言还没有闭包,这可能是个挑战,libuv 在它的所有的处理类型中有一个 字段;这些字段可以被用于传递用户数据。例如,注意 是如何指向到一个 结构上,以便于 和 注册的回调可以知道它们正在处理的是哪个客户端的数据。

◈ 内存管理:在带有垃圾回收的语言中进行事件驱动编程是非常容易的,因为,回调通常运行在一个与它们注册的地方完全不同的栈帧中,使得基于栈的内存管理很困难。它总是需要传递堆分配的数据到 libuv 回调中(当所有回调运行时,除了 ,其它的都运行在栈上),并且,为了避免泄漏,许多情况下都要求这些数据去安全释放()。这些都是些需要实践的内容注1。

这个服务器上对端的状态如下:

它与第三部分中的状态非常类似;我们不再需要 ,因为,在调用 “done writing” 回调之前, 将确保发送它提供的整个缓冲。我们也为其它的回调使用保持了一个到客户端的指针。这里是 :

然后,我们确信知道了这个初始的 已经被发送到对端,我们通过调用 去监听从这个对端来的入站数据,它注册一个将被事件循环调用的回调(),不论什么时候,事件循环都在套接字上接收来自客户端的调用:

这个服务器的运行时行为非常类似于第三部分的事件驱动服务器:所有的客户端都在一个单个的线程中并发处理。并且类似的,一些特定的行为必须在服务器代码中维护:服务器的逻辑实现为一个集成的回调,并且长周期运行是禁止的,因为它会阻塞事件循环。这一点也很类似。让我们进一步探索这个问题。

在事件驱动循环中的长周期运行的操作

单线程的事件驱动代码使它先天就容易受到一些常见问题的影响:长周期运行的代码会阻塞整个循环。参见如下的程序:

它用一个单个注册的回调运行一个 libuv 事件循环:,它被每秒钟循环调用一次。回调报告一个时间戳,并且,偶尔通过睡眠 3 秒去模拟一个长周期运行。这是运行示例:

忠实地每秒执行一次,直到随机出现的睡眠为止。在那个时间点, 不再被调用,直到睡眠时间结束;事实上,没有其它的回调会在这个时间帧中被调用。这个睡眠调用阻塞了当前线程,它正是被调用的线程,并且也是事件循环使用的线程。当这个线程被阻塞后,事件循环也被阻塞。

这个示例演示了在事件驱动的调用中为什么回调不能被阻塞是多少的重要。并且,同样适用于 Node.js 服务器、客户端侧的 Javascript、大多数的 GUI 编程框架、以及许多其它的异步编程模型。

但是,有时候运行耗时的任务是不可避免的。并不是所有任务都有一个异步 API;例如,我们可能使用一些仅有同步 API 的库去处理,或者,正在执行一个可能的长周期计算。我们如何用事件驱动编程去结合这些代码?线程可以帮到你!

“转换” 阻塞调用为异步调用的线程

一个线程池可以用于转换阻塞调用为异步调用,通过与事件循环并行运行,并且当任务完成时去由它去公布事件。以阻塞函数 为例,这里介绍了它是怎么运行的:

☉ 不在一个回调中直接调用 ,而是将它打包进一个 “任务”,让线程池去运行这个任务。当任务完成时,我们也为循环去调用它注册一个回调;我们称它为 。

☉ 在这个时间点,我们的回调就可以返回了,而事件循环保持运行;在同一时间点,线程池中的有一个线程运行这个任务。

☉ 一旦任务运行完成,通知主线程(指正在运行事件循环的线程),并且事件循环调用 。

让我们看一下,使用 libuv 的工作调度 API,是怎么去解决我们前面的计时器/睡眠示例中展示的问题的:

通过一个注2类型的句柄,我们进入一个任务队列,代替在 上直接调用 sleep,这个函数在任务中()运行,并且,一旦任务完成(),这个函数被调用一次。 是指 “work”(阻塞中的/耗时的操作)进行的地方。注意在这两个回调传递到 时的一个关键区别: 运行在线程池中,而 运行在事件循环中的主线程上 —— 就好像是其它的回调一样。

让我们看一下这种方式的运行:

即便在 sleep 函数被调用时,定时器也每秒钟滴答一下,睡眠现在运行在一个单独的线程中,并且不会阻塞事件循环。

一个用于练习的素数测试服务器

因为通过睡眠去模拟工作并不是件让人兴奋的事,我有一个事先准备好的更综合的一个示例 —— 一个基于套接字接受来自客户端的数字的服务器,检查这个数字是否是素数,然后去返回一个 “prime" 或者 “composite”。完整的服务器代码在这里

[7]

—— 我不在这里粘贴了,因为它太长了,更希望读者在一些自己的练习中去体会它。

这个服务器使用了一个原生的素数测试算法,因此,对于大的素数可能花很长时间才返回一个回答。在我的机器中,对于 2305843009213693951,它花了 ~5 秒钟去计算,但是,你的方法可能不同。

练习 1:服务器有一个设置(通过一个名为 的环境变量)要么在套接字回调(意味着在主线程上)中运行素数测试,要么在 libuv 工作队列中。当多个客户端同时连接时,使用这个设置来观察服务器的行为。当它计算一个大的任务时,在阻塞模式中,服务器将不回复其它客户端,而在非阻塞模式中,它会回复。

练习 2:libuv 有一个缺省大小的线程池,并且线程池的大小可以通过环境变量配置。你可以通过使用多个客户端去实验找出它的缺省值是多少?找到线程池缺省值后,使用不同的设置去看一下,在重负载下怎么去影响服务器的响应能力。

在非阻塞文件系统中使用工作队列

对于只是呆板的演示和 CPU 密集型的计算来说,将可能的阻塞操作委托给一个线程池并不是明智的;libuv 在它的文件系统 API 中本身就大量使用了这种能力。通过这种方式,libuv 使用一个异步 API,以一个轻便的方式显示出它强大的文件系统的处理能力。

让我们使用 ,例如,这个函数从一个文件中(表示为一个 句柄)读取一个文件到一个缓冲中注3,并且当读取完成后调用一个回调。换句话说, 总是立即返回,即使是文件在一个类似NFS 的系统上,而数据到达缓冲区可能需要一些时间。换句话说,这个 API 与这种方式中其它的 libuv API 是异步的。这是怎么工作的呢?

在这一点上,我们看一下 libuv 的底层;内部实际上非常简单,并且它是一个很好的练习。作为一个可移植的库,libuv 对于 Windows 和 Unix 系统在它的许多函数上有不同的实现。我们去看一下在 libuv 源树中的 。

这是 的代码:

第一次看可能觉得很困难,因为它延缓真实的工作到 和 宏中,以及为 设置了一些本地变量。这样做可以避免了文件中的许多重复代码。

这是 宏:

它设置了请求,并且更重要的是,设置 域为真实的 FS 请求类型。因为 调用 ,它意味着 被分配一个常数 。

这是 宏:

它做什么取决于回调是否为 。在 libuv 文件系统 API 中,一个 回调意味着我们真实地希望去执行一个同步操作。在这种情况下, 直接调用 (我们需要了解一下这个函数的功能),而对于一个非 回调,它把 作为一个工作项提交到工作队列(指的是线程池),然后,注册 作为回调;该函数执行一些登记并调用用户提供的回调。

如果我们去看 的代码,我们将看到它使用很多宏按照需求将工作分发到实际的文件系统调用。在我们的案例中,对于 这个调用将被 生成,它(最终)使用普通的 POSIX API 去读取。这个函数可以在一个阻塞方式中很安全地实现。因为,它通过异步 API 调用时被置于一个线程池中。

在 Node.js 中, 函数是映射到 上。因此,可以在一个非阻塞模式中读取文件,甚至是当底层文件系统 API 是阻塞方式时。

◈ 注1: 为确保服务器不泄露内存,我在一个启用泄露检查的 Valgrind 中运行它。因为服务器经常是被设计为永久运行,这是一个挑战;为克服这个问题,我在服务器上添加了一个 “kill 开关” —— 一个从客户端接收的特定序列,以使它可以停止事件循环并退出。这个代码在 句柄中。

◈ 注2: 在这里我们不过多地使用 ;讨论的素数测试服务器接下来将展示怎么被用于去传递上下文信息到回调中。

◈ 注3: 提供了一个类似于 Linux 系统调用的通用 API:它使用多缓冲区用于排序,并且支持一个到文件中的偏移。基于我们讨论的目的可以忽略这些特性。

via:https://eli.thegreenplace.net/2017/concurrent-servers-part-4-libuv/

作者:Eli Bendersky

[9]

译者:qhwdw校对:wxy

本文由LCTT原创编译,Linux中国荣誉推出

  • 发表于:
  • 原文链接http://kuaibao.qq.com/s/20180303B0BH1U00?refer=cp_1026
  • 腾讯「云+社区」是腾讯内容开放平台帐号(企鹅号)传播渠道之一,根据《腾讯内容开放平台服务协议》转载发布内容。
  • 如有侵权,请联系 yunjia_community@tencent.com 删除。

扫码关注云+社区

领取腾讯云代金券