Reactor模式
主线程只负责监听文件描述符上是否有事件发生,如果有事件发生就将该事件通知工作线程处理,将读写事件放到任务队列。读写数据、接受新的连接和处理客户请求都是在工作线程中完成。(epoll 注册事件是指在 epoll 中注册一个文件描述符,以便在该文件描述符上发生事件时,内核能够通知应用程序)
- 主线程往epoll内核事件中注册socket上的赌就绪事件
- 主线程调用epoll_wait等待数据可读
- 有数据的时候,epoll_wait通知主线程,主线程将读事件放入请求队列
- 唤醒工作线程,处理请求,然后往epoll内核注册写就绪事件
- socket可写时,epoll_wait通知主线程,主线程将可写事件放入请求队列
- 唤醒一个线程,处理写事件
Proactor模式
将所有I/O操作都交给主线程和内核来处理,进行读写,工作线程只负责业务逻辑。
- 主线程调用aio_read函数向内核注册读写完成时间,告诉内核缓冲区位置,以及操作完成的时候应该如何告诉应用程序
- 主线程上面处理其他业务逻辑
- socket上面的数据被读入缓冲区之后,内核给程序发送一个信号,通知应用程序当前的数据可以用了
- 应用程序使用预先定义好的信号处理函数来选择一个工作线程处理业务逻辑客户请求,处理完之后,调用aio_write向内核注册写事件,告诉内核写缓冲区的位置和操作完成之后应该如何通知应用程序
- 主线程继续其他业务
- 用户缓冲区的数据被写入socket之后,内核向程序发送一个信号,通知程序数据已经发送完毕
- 应用程序使用预先定义好的信号处理函数来善后,比如决定是否需要关闭socket
Reactor和Proactor对比
● Reactor实现相对简单,对于耗时短的处理场景处理高效;事件的串行化对应用是透明的,可以顺序的同步执行而不需要加锁;
● Reactor处理耗时长的操作会造成事件分发的阻塞,影响到后续事件的处理;
● Proactor性能更高,这种设计允许多个任务并发的执行,从而提高吞吐量;并可执行耗时长的任务(各个任务间互不影响)
● Proactor实现逻辑复杂;依赖操作系统对异步的支持,目前实现了纯异步操作的操作系统少,实现优秀的如 Windows IOCP,但由于其 Windows 系统用于服务器的局限性,目前应用范围较小;而 Unix/Linux 系统对纯异步的支持有限,应用事件驱动的主流还是通过 select/epoll 来实现。
模拟Proactor实现
主线程还是执行数据读写操作,读写完成之后,主线程向工作线程通知这一“完成事件”,从工作线程角度来看就直接获取了数据读写的结果,接下来对读写结果进行逻辑处理。
参考模拟Proactor所说:
使用Reactor模拟Proactor的思路其实很简单,就是让Reactor模式中的事件分享者在得知事件发生的时候,让事件分享者来读写数据,读写完成后把数据放到事件处理者提供的缓冲区里面。再通知事件处理者:你所关心的事件已经完成(注意这里不是发生而是完成)。然后事件处理者就直接在自己所提供的缓冲区里面获取数据。事件处理者需要提供:用于存放读到数据的缓存区,读的数据大小,或者用于存放外发数据的缓存区,请求完后的回调函数。
流程
- 主线程调用epoll向内核事件表上注册读就绪事件
- 主线程调用epoll_wait等待socket上有数据可以读
- 有数据读的时候,epoll_wait通知主线程,主线程从socket循环读取数据,将读到的数据封装成一个请求对象插入队列
- 唤醒一个工作线程,获得请求对象并处理客户请求,然后往epoll内核事件表注册socket写就绪事件
- 主线程调用epoll_wait等待可写
- socket可写的时候,epoll_wait通知主线程,主线程往socket写入服务器处理客户请求
图片参考
牛客网高性能服务器