两种高效的事件处理模式:Reactor和Proactor。同步I/O常用于实现Reactor模式,异步I/O则用于实现Proactor模式。
Reactor模式
Reactor模式要求主线程只负责监听文件描述上是否有事件发生,有的话立即将该事件通知工作线程。
Reactor模式工作流程(以epoll_wait为例):
(1)主线程往epoll内核事件表中注册socket上的读就绪事件。
(2)主线程调用epoll_wait等待socket上有数据可读。
(3)当socket上有数据可读时,epoll_wait通知主线程。主线程将socket可读事件放入请求队列。
(4)唤醒某个工作进程,从socket读取数据,并处理客户请求,然后往epoll中注册写就绪事件。
(5)主线程调用epoll_wait等待socket可写。
(6)当socket可写时,epoll_wait通知主线程,主线程将写事件放入请求队列。
(7)唤醒请求队列上的某个工作线程,往socket上写入结果。
Proactor模式
proactor模式将所有I/O操作都交给主线程和内核来处理,工作线程仅负责业务逻辑处理。
使用异步I/O模型(aio_read和aio_write为例)实现的Proactor模式工作流程:
(1)主线程调用aio_read函数向内核注册socket上的度完成事件,并告诉内核用户读缓冲区,以及读操作完成时如何通知应用程序。
(2)主线程处理其他逻辑
(3)当socket上数据被读入用户缓冲区后,内核将向应用程序发送一个信号,以通知应用程序已经可用。
(4)应用程序预先定义好的信号处理函数选择一个工作线程来处理客户请求。完成后调用aio_write函数向内核注册socket上的写完成事件,并告诉内核用户写缓冲区的位置,以及操作完成后如何通知应用程序。
(5)主线程继续处理其他逻辑。
(6)当用户缓冲区的数据被写入socket后,内核将向应用程序发送一个信号,通知应用程序数据已经发送完毕。
(7)应用程序预先定义好的信号处理函数选择一个工作线程来善后,比如是否关闭socket。
使用同步I/O模型(epoll_wait)模拟Proactor模式工作流程:
(1)主线程往epoll内核事件表中注册socket上的读就绪事件。
(2)主线程调用epoll_wait等待socket上有数据可读。
(3)当socket上有数据可读时,epoll_wait通知主线程。主线程从socket循环读取数据。
(4)唤醒请求队列上的某个工作进程,处理客户端请求,然后往epoll内核时间表中注册socket上的写就绪事件。
(5)主线程调用epoll_wait等待socket可写。
(6)当socket可写时,epoll_wait通知主线程。主线程往socket上写入处理客户端的结果。
详细内容请看《Linux高性能服务器编程》