5.4、服务器编程基本框架和两种高效的事件处理模式
- 1.服务器编程基本框架
- 2.两种高效的事件处理模式
- ①Reactor模式
- ②Proactor模式
- ③模拟Proactor模式
1.服务器编程基本框架
模块 | 功能 |
---|---|
I/O 处理单元 | 处理客户连接,读写网络数据 |
逻辑单元 | 业务进程或线程 |
网络存储单元 | 数据库、文件或缓存 |
请求队列 | 各单元之间的通信方式 |
- I/O 处理单元是服务器管理客户连接的模块。它通常要完成以下工作:等待并接受新的客户连接,接收客户数据,将服务器响应数据返回给客户端。但是数据的收发不一定在
I/O
处理单元中执行,也可能在逻辑单元中执行,具体在何处执行取决于事件处理模式。 - 一个逻辑单元通常是一个进程或线程。它分析并处理客户数据,然后将结果传递给
I/O
处理单元或者直接发送给客户端(具体使用哪种方式取决于事件处理模式)。服务器通常拥有多个逻辑单元,以实现对多个客户任务的并发处理。 - 网络存储单元可以是数据库、缓存和文件,但不是必须的。
- 请求队列是各单元之间的通信方式的抽象。
I/O
处理单元接收到客户请求时,需要以某种方式通知一个逻辑单元来处理该请求。同样,多个逻辑单元同时访问一个存储单元时,也需要采用某种机制来协调处理竞态条件。请求队列通常被实现为池的一部分。
2.两种高效的事件处理模式
服务器程序通常需要处理三类事件:I/O 事件
、信号
及定时事件
。有两种高效的事件处理模式:Reactor
和 Proactor
,同步 I/O
模型通常用于实现 Reacto
r 模式,异步 I/O
模型通常用于实现 Proactor
模式。
①Reactor模式
要求主线程(I/O处理单元)
只负责监听文件描述符上是否有事件发生,有的话就立即将该事件通知工作线程(逻辑单元),将 socket
可读可写事件放入请求队列,交给工作线程处理。除此之外,主线程不做任何其他实质性的工作。读写数据,接受新的连接,以及处理客户请求均在工作线程中完成。
- 使用同步
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
上写入服务器处理客户请求的结果。
- 主线程往
②Proactor模式
Proacto
r 模式将所有 I/O
操作都交给主线程和内核来处理(进行读、写),工作线程仅仅负责业务逻
辑。
- 使用异步
I/O
模型(以aio_read
和aio_write
为例)实现的Proactor
模式的工作流程是:- 主线程调用
aio_read
函数向内核注册socket
上的读完成事件,并告诉内核用户读缓冲区的位置,以及读操作完成时如何通知应用程序(这里以信号为例)。 - 主线程继续处理其他逻辑。
- 当
socket
上的数据被读入用户缓冲区后,内核将向应用程序发送一个信号,以通知应用程序数据已经可用。 - 应用程序预先定义好的信号处理函数选择一个工作线程来处理客户请求。工作线程处理完客户请求后,调用
aio_write
函数向内核注册socket
上的写完成事件,并告诉内核用户写缓冲区的位置,以及写操作完成时如何通知应用程序。 - 主线程继续处理其他逻辑。
- 当用户缓冲区的数据被写入
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
上写入服务器处理客户请求的结果。
- 主线程往