6.6 网络轮询器
在今天,大部分的服务都是 I/O 密集型的,应用程序会花费大量时间等待 I/O 操作执行完成。网络轮询器就是 Go 语言运行时用来处理 I/O 操作的关键组件,它使用了操作系统提供的 I/O 多路复用机制增强程序的并发处理能力。本节会深入分析 Go 语言网络轮询器的设计与实现原理。
6.6.1 设计原理
网络轮询器不仅用于监控网络 I/O,还能用于监控文件的 I/O,它利用了操作系统提供的 I/O 多路复用模型来提升 I/O 设备的利用率以及程序的性能。本节会分别介绍常见的几种 I/O 模型以及 Go 语言运行时的网络轮询器如何使用多模块设计在不同的操作系统上支持多路复用。
I/O 模型
操作系统中包含阻塞 I/O、非阻塞 I/O、信号驱动 I/O 与异步 I/O 以及 I/O 多路复用五种 I/O 模型。我们在本节中会介绍上述五种模型中的三种:
阻塞 I/O 模型;
非阻塞 I/O 模型;
I/O 多路复用模型;
在 Unix 和类 Unix 操作系统中,文件描述符(File descriptor,FD)是用于访问文件或者其他 I/O 资源的抽象句柄,例如:管道或者网络套接字1。而不同的 I/O 模型会使用不同的方式操作文件描述符。
阻塞 I/O
阻塞 I/O 是最常见的 I/O 模型,对文件和网络的读写操作在默认情况下都是阻塞的。当我们通过 read
或者 write
等系统调用对文件进行读写时,应用程序就会被阻塞:
C
如下图所示,当我们执行 read
系统调用时,应用程序会从用户态陷入内核态,内核会检查文件描述符是否可读;当文件描述符中存在数据时,操作系统内核会将准备好的数据拷贝给应用程序并将控制权交回。
图 6-39 阻塞 I/O 模型
操作系统中多数的 I/O 操作都是如上所示的阻塞请求,一旦执行 I/O 操作,应用程序就会陷入阻塞等待 I/O 操作的结束。
非阻塞 I/O
当进程把一个文件描述符设置成非阻塞时,执行 read
和 write
等 I/O 操作就会立刻返回。在 C 语言中,我们可以使用如下所示的代码片段将一个文件描述符设置成非阻塞的:
C
在上述代码中,最关键的就是系统调用 fcntl
和参数 O_NONBLOCK
,fcntl
为我们提供了操作文件描述符的能力,我们可以通过它修改文件描述符的特性。当我们将文件描述符修改成非阻塞后,读写文件就会经历以下流程:
图 6-40 非阻塞 I/O 模型
第一次从文件描述符中读取数据会触发系统调用并返回 EAGAIN
错误,EAGAIN
意味着该文件描述符还在等待缓冲区中的数据;随后,应用程序会不断轮询调用 read
直到它的返回值大于 0,这时应用程序就可以对读取操作系统缓冲区中的数据并进行操作。进程使用非阻塞的 I/O 操作时,可以在等待过程中执行其他的任务,增加 CPU 资源的利用率。
I/O 多路复用
I/O 多路复用被用来处理同一个事件循环中的多个 I/O 事件。I/O 多路复用需要使用特定的系统调用,最常见的系统调用就是 select
,该函数可以同时监听最多 1024 个文件描述符的可读或者可写状态:
C
除了标准的 select
函数之外,操作系统中还提供了一个比较相似的 poll
函数,它使用链表存储文件描述符,摆脱了 1024 的数量上限。
图 6-41 I/O 多路复用函数监听文件描述符
多路复用函数会阻塞的监听一组文件描述符,当文件描述符的状态转变为可读或者可写时,select
会返回可读或者可写事件的个数,应用程序就可以在输入的文件描述符中查找哪些可读或者可写,然后执行相应的操作。
图 6-42 I/O 多路复用模型
I/O 多路复用模型是效率较高的 I/O 模型,它可以同时阻塞监听了一组文件描述符的状态。很多高性能的服务和应用程序都会使用这一模型来处理 I/O 操作,例如:Redis 和 Nginx 等。
多模块
Go 语言在网络轮询器中使用 I/O 多路复用模型处理 I/O 操作,但是他没有选择最常见的系统调用 select
2。虽然 select
也可以提供 I/O 多路复用的能力,但是使用它有比较多的限制:
监听能力有限 — 最多只能监听 1024 个文件描述符;
内存拷贝开销大 — 需要维护一个较大的数据结构存储文件描述符,该结构需要拷贝到内核中;
时间复杂度 O(n)O(n)— 返回准备就绪的事件个数后,需要遍历所有的文件描述符;
为了提高 I/O 多路复用的性能,不同的操作系统也都实现了自己的 I/O 多路复用函数,例如:epoll
、kqueue
和 evport
等。Go 语言为了提高在不同操作系统上的 I/O 操作性能,使用平台特定的函数实现了多个版本的网络轮询模块:
这些模块在不同平台上实现了相同的功能,构成了一个常见的树形结构。编译器在编译 Go 语言程序时,会根据目标平台选择树中特定的分支进行编译:
图 6-43 多模块网络轮询器
如果目标平台是 Linux,那么就会根据文件中的 // +build linux
编译指令选择 src/runtime/netpoll_epoll.go
并使用 epoll
函数处理用户的 I/O 操作。
接口
epoll
、kqueue
、solaries
等多路复用模块都要实现以下五个函数,这五个函数构成一个虚拟的接口:
Go
上述函数在网络轮询器中分别扮演了不同的作用:
runtime.netpollinit
— 初始化网络轮询器,通过sync.Once
和netpollInited
变量保证函数只会调用一次;runtime.netpollopen
— 监听文件描述符上的边缘触发事件,创建事件并加入监听;runtime.netpoll
— 轮询网络并返回一组已经准备就绪的 Goroutine,传入的参数会决定它的行为3;如果参数小于 0,无限期等待文件描述符就绪;
如果参数等于 0,非阻塞地轮询网络;
如果参数大于 0,阻塞特定时间轮询网络;
runtime.netpollBreak
— 唤醒网络轮询器,例如:计时器向前修改时间时会通过该函数中断网络轮询器4;runtime.netpollIsPollDescriptor
— 判断文件描述符是否被轮询器使用;
我们在这里只需要了解多路复用模块中的几个函数,本节的后半部分会详细分析各个函数的实现原理。
6.6.2 数据结构
操作系统中 I/O 多路复用函数会监控文件描述符的可读或者可写,而 Go 语言网络轮询器会监听 runtime.pollDesc
结构体的状态,该结构会封装操作系统的文件描述符:
Go
该结构体中包含用于监控可读和可写状态的变量,我们按照功能将它们分成以下四组:
rseq
和wseq
— 表示文件描述符被重用或者计时器被重置5;rg
和wg
— 表示二进制的信号量,可能为pdReady
、pdWait
、等待文件描述符可读或者可写的 Goroutine 以及nil
;rd
和wd
— 等待文件描述符可读或者可写的截止日期;rt
和wt
— 用于等待文件描述符的计时器;
除了上述八个变量之外,该结构体中还保存了用于保护数据的互斥锁、文件描述符。runtime.pollDesc
结构体会使用 link
字段串联成一个链表存储在 runtime.pollCache
中:
Go
runtime.pollCache
是运行时包中的全局变量,该结构体中包含一个用于保护轮询数据的互斥锁和链表头:
图 6-44 轮询缓存链表
运行时会在第一次调用 runtime.pollCache.alloc
方法时初始化总大小约为 4KB 的 runtime.pollDesc
结构体,runtime.persistentalloc
会保证这些数据结构初始化在不会触发垃圾回收的内存中,让这些数据结构只能被内部的 epoll
和 kqueue
模块引用:
Go
每次调用该结构体都会返回链表头还没有被使用的 runtime.pollDesc
,这种批量初始化的做法能够增加网络轮询器的吞吐量。Go 语言运行时会调用 runtime.pollCache.free
方法释放已经用完的 runtime.pollDesc
结构,它会直接将结构体插入链表的最前面:
Go
上述方法没有重置 runtime.pollDesc
结构体中的字段,该结构体被重复利用时才会由 runtime.poll_runtime_pollOpen
函数重置。
6.6.3 多路复用
网络轮询器实际上就是对 I/O 多路复用技术的封装,本节将通过以下的三个过程分析网络轮询器的实现原理:
网络轮询器的初始化;
如何向网络轮询器中加入待监控的任务;
如何从网络轮询器中获取触发的事件;
上述三个过程包含了网络轮询器相关的方方面面,能够让我们对其实现有完整的理解。需要注意的是,我们在分析实现时会遵循以下两个规则:
因为不同 I/O 多路复用模块的实现大同小异,本节会使用 Linux 操作系统上的
epoll
实现;因为处理读事件和写事件的逻辑类似,本节会省略写事件相关的代码;
初始化
因为文件 I/O、网络 I/O 以及计时器都依赖网络轮询器,所以 Go 语言会通过以下两条不同路径初始化网络轮询器:
internal/poll.pollDesc.init
— 通过net.netFD.init
和os.newFile
初始化网络 I/O 和文件 I/O 的轮询信息时;runtime.doaddtimer
— 向处理器中增加新的计时器时;
网络轮询器的初始化会使用 runtime.poll_runtime_pollServerInit
和 runtime.netpollGenericInit
两个函数:
Go
runtime.netpollGenericInit
会调用平台上特定实现的 runtime.netpollinit
函数,即 Linux 上的 epoll
,它主要做了以下几件事情:
是调用
epollcreate1
创建一个新的epoll
文件描述符,这个文件描述符会在整个程序的生命周期中使用;通过
runtime.nonblockingPipe
创建一个用于通信的管道;使用
epollctl
将用于读取数据的文件描述符打包成epollevent
事件加入监听;
Go
初始化的管道为我们提供了中断多路复用等待文件描述符中事件的方法,runtime.netpollBreak
函数会向管道中写入数据唤醒 epoll
:
Go
因为目前的计时器由网络轮询器管理和触发,它能够让网络轮询器立刻返回并让运行时检查是否有需要触发的计时器。
轮询事件
调用 internal/poll.pollDesc.init
初始化文件描述符时不止会初始化网络轮询器,还会通过 runtime.poll_runtime_pollOpen
函数重置轮询信息 runtime.pollDesc
并调用 runtime.netpollopen
初始化轮询事件:
Go
runtime.netpollopen
的实现非常简单,它会调用 epollctl
向全局的轮询文件描述符 epfd
中加入新的轮询事件监听文件描述符的可读和可写状态:
Go
从全局的 epfd
中删除待监听的文件描述符可以使用 runtime.netpollclose
函数,因为该函数的实现与 runtime.netpollopen
比较相似,所以这里就不展开分析了。
事件循环
本节将继续介绍网络轮询器的核心逻辑,也就是事件循环。我们将从以下的两个部分介绍事件循环的实现原理:
Goroutine 让出线程并等待读写事件;
多路复用等待读写事件的发生并返回;
上述过程连接了操作系统中的 I/O 多路复用机制和 Go 语言的运行时,在两个不同体系之间构建了桥梁,我们将分别介绍上述的两个过程。
等待事件
当我们在文件描述符上执行读写操作时,如果文件描述符不可读或者不可写,当前 Goroutine 就会执行 runtime.poll_runtime_pollWait
检查 runtime.pollDesc
的状态并调用 runtime.netpollblock
等待文件描述符的可读或者可写:
Go
runtime.netpollblock
是 Goroutine 等待 I/O 事件的关键函数,它会使用运行时提供的 runtime.gopark
让出当前线程,将 Goroutine 转换到休眠状态并等待运行时的唤醒。
轮询等待
Go 语言的运行时会在调度或者系统监控中调用 runtime.netpoll
轮询网络,该函数的执行过程可以分成以下几个部分:
根据传入的
delay
计算epoll
系统调用需要等待的时间;调用
epollwait
等待可读或者可写事件的发生;在循环中依次处理
epollevent
事件;
因为传入 delay
的单位是纳秒,下面这段代码会将纳秒转换成毫秒:
Go
计算了需要等待的时间之后,runtime.netpoll
会执行 epollwait
等待文件描述符转换成可读或者可写,如果该函数返回了负值,就可能返回空的 Goroutine 列表或者重新调用 epollwait
陷入等待:
Go
当 epollwait
函数返回的值大于 0 时,就意味着被监控的文件描述符出现了待处理的事件,我们在如下所示的循环中就会依次处理这些事件:
Go
处理的事件总共包含两种,一种是调用 runtime.netpollBreak
函数触发的事件,该函数的作用是中断网络轮询器;另一种是其他文件描述符的正常读写事件,对于这些事件,我们会交给 runtime.netpollready
处理:
Go
runtime.netpollunblock
会在读写事件发生时,将 runtime.pollDesc
中的读或者写信号量转换成 pdReady
并返回其中存储的 Goroutine;如果返回的 Goroutine 不会为空,那么该 Goroutine 就会被加入 toRun
列表,运行时会将列表中的全部 Goroutine 加入运行队列并等待调度器的调度。
截止日期
网络轮询器和计时器的关系非常紧密,这不仅仅是因为网络轮询器负责计时器的唤醒,还因为文件和网络 I/O 的截止日期也由网络轮询器负责处理。截止日期在 I/O 操作中,尤其是网络调用中很关键,网络请求存在很高的不确定因素,我们需要设置一个截止日期保证程序的正常运行,这时就需要用到网络轮询器中的 runtime.poll_runtime_pollSetDeadline
函数:
Go
该函数会先使用截止日期计算出过期的时间点,然后根据 runtime.pollDesc
的状态做出以下不同的处理:
如果结构体中的计时器没有设置执行的函数时,该函数会设置计时器到期后执行的函数、传入的参数并调用
runtime.resettimer
重置计时器;如果结构体的读截止日期已经被改变,我们会根据新的截止日期做出不同的处理:
如果新的截止日期大于 0,调用
runtime.modtimer
修改计时器;如果新的截止日期小于 0,调用
runtime.deltimer
删除计时器;
在 runtime.poll_runtime_pollSetDeadline
函数的最后,会重新检查轮询信息中存储的截止日期:
Go
如果截止日期小于 0,上述代码会调用 runtime.netpollgoready
直接唤醒对应的 Goroutine。
在 runtime.poll_runtime_pollSetDeadline
函数中直接调用 runtime.netpollgoready
是相对比较特殊的情况。在正常情况下,运行时都会在计时器到期时调用 runtime.netpollDeadline
、runtime.netpollReadDeadline
和 runtime.netpollWriteDeadline
三个函数:
图 6-45 截止日期唤醒 Goroutine
上述三个函数都会通过 runtime.netpolldeadlineimpl
调用 runtime.netpollgoready
直接唤醒相应的 Goroutine:
Go
Goroutine 在被唤醒之后就会意识到当前的 I/O 操作已经超时,可以根据需要选择重试请求或者中止调用。
6.6.4 小结
网络轮询器并不是由运行时中的某一个线程独立运行的,运行时中的调度和系统调用会通过 runtime.netpoll
与网络轮询器交换消息,获取待执行的 Goroutine 列表,并将待执行的 Goroutine 加入运行队列等待处理。
所有的文件 I/O、网络 I/O 和计时器都是由网络轮询器管理的,它是 Go 语言运行时重要的组成部分。我们在本节中详细介绍了网络轮询器的设计与实现原理,相信各位读者对这个重要组件也有了比较深入的理解。
本文转载自 Draveness 技术网站。
原文链接:https://draveness.me/golang/docs/part3-runtime/ch06-concurrency/golang-netpoller/
评论