服务器程序通常处理三类事件:I/O事件、信号以及定时事件,由此诞生了两种高效的事件处理模式:Reactor模式和Proactor模式。
- Reactor模式:通常由同步I/O模型实现;它要求主线程(I/O处理单元)只负责监听文件描述符上是否有事件发生,有的话立即将改时间通知工作线程(逻辑单元)。主线程不做任何其它的工作,读写数据、接受新的连接、处理客户请求均在工作线程中完成。
由同步I/O模型(以epoll_wait为例)实现Reactor模式的工作流程:
- 主线程往epoll内核时间表中注册socket上的读就绪事件;
- 主线程调用epoll_wait等待socket上有数据可读;
- 当socket上有数据可读时,epoll_wait通知主线程;主线程将socket可读事件放入请求队列;
- 睡眠在请求队列上的某个工作线程被唤醒,从socket上读数据,并处理客户请求,然后往内核事件表中注册该socket上的写就绪事件;
- 主线程调用epoll_wait等待socket可写;
- 当socket可写时,epoll_wait通知主线程,主线程将socket可写事件放入请求队列;
- 睡眠在请求队列上的某个工作线程被唤醒,它往socket上写入服务器处理客户请求的结果;
不难看出,事件类型扮演者很重要的角色,工作线程从请求队列中取出事件后,将根据事件类型决定如何处理它,对于可读事件,执行读数据和处理请求的操作;对于可写事件,执行写数据操作。
- Proactor模式:使用异步I/O模型(常用aio_read和aio_write),将所有的I/O操作都交给主线程和内核处理,工作线程仅仅负责业务逻辑。工作流程:
- 主线程调用aio_read函数向内核注册socket上的读完成事件,并告诉用户读缓冲区的位置,以及读操作完成时如何通知应用程序(一般用信号通知);
- 主线程继续处理其它逻辑;
- 当socket上的数据被读入用户缓冲区后,内核将向应用程序发送一个信号,以通知应用程序数据已经可用;
- 应用程序选择一个工作线程来处理客户请求。工作线程处理完客户请求之后,调用aio_wait函数向内核注册socket上的写完成事件,同时告诉内核用户写缓冲区的位置,以及操作完成时如何通知应用程序。
- 主线程继续处理其它逻辑。
- 当用户缓冲区的数据被写入socket之后,内核将向应用程序发送一个信号,以通知应用程序数据已经发送完毕。
- 应用程序预先定义好的信号处理函数选择一个工作线程来做后续处理,比如是否关闭socket。
向内核注册事件:aio_read、aio_write
响应读写事件:预先定义的信号处理函数
也就是说主线程的epoll_wait仅仅用来监听socket上的连接请求,而不能检测链接上的读写事件;