两种高效的事件处理模式
两种高效的事件处理模式:Reactor和Proactor
同步I/O模式通常用于实现Reactor模式,异步I/O模式用于实现Proactor模式。
Reactor模型
Reactor
模式,它要求主线程(I/O处理单元)只负责监听文件描述符上是否有事件发生,有的话就立即将该事件通知工作线程(逻辑单元)。除此之外,主线程不做任何其他实质性的工作。读写数据,接收新的连接,以及处理客户请求均在工作线程中完成。
使用同步I/O模型(以epoll_wait
为例)实现Reactor模式的工作流程是
- 主线程往
epoll
内核时间表中注册socket
上的读就绪事件。 - 主线程调用
epoll_wait
等待socket
上有数据可读。 - 当
socket
上有数据可读时,epoll_wait
通知主线程。主线程则将socket
可读事件放入请求队列。 - 睡眠在请求队列上的某个工作线程被唤醒,它从
socket
读取数据,并处理客户请求,然后往epoll
内核事件表中注册该socket
上写就绪事件。 - 主线程调用
epoll_wait
等待socket
可写。 - 当
socket
可写时,epoll_wait
通知主线程。主线程将socket
可写事件放入请求队列。 - 睡眠在请求队列上的某个工作线程被唤醒,它往
socket
上写入服务器处理客户请求的结果。
图8-5中,工作线程从请求队列中取出事件后,将根据事件的类型来决定如何处理它:对于可读事件,执行读数据和处理请求的操作;对于可写事件,执行写数据的操作。因此,图8-5所示的Reactor
模式中,没必要区分所谓的“读工作线程”和“写工作线程”。
Proactor模式
与Reactor模式不同,Proactor模式将所有I/O操作都交给主线程和内核来处理,工作线程仅仅负责业务逻辑。
使用异步I/O模型(以aio_read
和aio_write
为例)实现的Proactor模式的工作流程是:
- 主线程调用
aio_read
函数向内核注册socket
上的读完成事件,并告诉内核用户读缓冲区的位置,以及读操作完成时如何通知应用程序。 - 主线程继续处理其他逻辑。
- 当
socket
上的数据被读入用户缓冲区后,内核将向应用程序发送一个信号,以通知应用程序数据已经可用。 - 应用程序预先定义好的信号处理函数选择一个工作线程来处理客户请求。工作线程处理完客户的请求之后,调用
aio_write
函数向内核注册socket
上的写完成事件,并告诉内核用户写缓冲区的位置,以及写操作完成时如何通知应用程序。 - 主线程继续处理其他逻辑。
- 当用户缓冲区的数据被写入
socket
之后,内核将向应用程序发送一个信号,以通知应用程序数据已经发送完毕。 - 应用程序预先定义好的信号处理函数选择一个工作线程来做善后处理,比如决定是否关闭
socket
。
在图8-6中,连接socket
上的读写事件是通过aio_read/aio_write
向内核注册的,因此内核将通过信号来向应用程序报告连接socket
上的读写事件。所以,主线程中的epoll_wait
调用仅能用来监听socket
上的连接请求事件,而不能用来检测连接socket
上的读写事件。
模拟Proactor模式
使用同步I/O方式模拟出Proactor
模式的一种方法。其原理是:主线程执行数据读写操作,读写完成之后,主线程向工作线程通知这一“完成事件”。那么从工作线程的角度来看,它们就直接获得了数据读写的结果,接下来要做的只是对读写的结果进行逻辑处理。
使用同步I/O模型(仍然以epoll_wait
为例)模拟出的Proactor
模式的工作流程如下:
- 主线程往
epoll
内核事件表中注册socket
上的读就绪事件。 - 主线程调用
epoll_wait
等待socket
上有数据可读。 - 当
socket
上有数据可读时,epoll_wait
通知主线程。主线程从socket
循环读取数据,直到没有更多数据可读,然后将读取到的数据封装成一个请求对象并插入请求队列。 - 睡眠在请求队列上的某个工作线程被唤醒,它获得请求对象并处理客户请求,然后往
epoll
内核事件表中注册socket
上的写就绪事件。 - 主线程调用
epoll_wait
等待socket
可写。 - 当
socket
可写时,epoll_wait
通知主线程。主线程往socket
上写入服务器处理客户请求的结果。