服务器两种高效的并发模式
一、并发编程与并发模式
并发编程主要是为了让程序同时执行多个任务,并发编程对计算精密型没有优势,反而由于任务的切换使得效率变低。如果程序是IO精密型的,则由于IO操作远没有CPU的计算速度快,所以让程序阻塞于IO操作将浪费大量的CPU时间。如果程序有多个线程,则当前被IO操作阻塞的线程可主动放弃CPU,将执行权转给其它线程。
IO精密型和cpu精密型可以参考此文:CPU-bound(计算密集型) 和I/O bound(I/O密集型)
并发编程主要有多线程和多进程,这里我们先讨论并发模式,并发模式指:IO处理单元和多个逻辑直接协调完成任务的方法。服务器主要有两种并发编程模式:
- 半同步/半异步模式(half-sync/half-async)
- 领导者/追随者模式(Leader/Followers)
二、半同步/半异步模式(half-sync/half-async
这里的“同步”和“异步”和“IO”的“同步”“异步”是完全不同的概念。在IO模型中,“同步”和“异步”区分的是内核向应用程序通知的是何种IO事件(是就绪事件还是完成事件),以及该由谁来完成IO读写(是应用程序还是内核)。在并发模式中,“同步”指的是程序完全按照代码序列的顺序执行;“异步”指的是程序的执行需要由系统事件来驱动。常见的系统事件包括中断、信号等。
下图1描述了并发模式同步读操作(图1a)和异步读操作(图1b)
图1并发模式同步读(a)和异步读(b)已同步方式运行的线程为同步线程,异步方式运行的为异步线性,异步线程的执行效率高,实时性强,但编写异步方式执行的程序相对复杂,难于调试和扩展,而且不适合于大量的并发。同步线程则相反,它虽然效率相对较低,实时性较差,但逻辑简单。
因此对应服务器要求实时性及同时处理多个请求的程序,可以同时使用同步线程和异步线程即采用半同步/半异步模式。同步线程用于处理客户逻辑,异步线程用于处理IO事件。异步线程监听到客户请求后,就将其封装成请求对象并插入到请求队列中。请求队列将通知某个工作在同步模式的工作线程来读取并处理该请求对象。具体哪个线性处理取决于请求队列的设计。下图2为半同步/半异步的工作流程
图2半同步/半异步的工作流程
在半同步/半异步模式可以变体成为半同步/半反应堆(half-sync/half-reactive),如下图3
图3半同步/半反应堆模式半同步/半反应堆中,异步线程只有一个,即主线程,他负责监听所有事件,有事件发生则将事件插入请求队列中。工作线程休眠在请求队列中,当任务到来时,通过竞争获取任务处理权。
在上图3半同步/半反应堆中,主线程插入工作队列的为就绪的连接socket,他要求工作线程自己socket读取数据和往socket写入服务器应答,所有可以看作Reactor模式。实际也可以模拟为Proactor模式,即主线程完成数据的读写,将数据封装成任务对象插入请求队列,工作线程从请求队列取出任务对象处理。(Reactor模式和Reactor模式可以参考此文:服务器两种高效的事件处理模式)
半同步半反应堆模式存在如下缺点:
- 主线程和工作线程共享请求队列,对请求队列的操作需求加锁,耗费CPU时间。
- 每一个工作线程在同一时间只能处理一个客户请求。客户数量多,工作线程少,请求队列任务堆积,响应满,如果添加试图通过增加线程则,由于线程切换导致的CPU时间消耗。
这里我们再介绍一种高效的半同步/半异步模式:每个工作线程都能同时处理多个客户连接。
主线程只管理监听socket,连接socket由工作线程来管理。当有新的连接到来时,主线程就接受之并将新返回的连接socket派发给某个工作线程,此后该socket上的任何IO操作都由被选中的工作线程来处理,直到客户端关闭连接。主线程向工作线程派发socket的最简单的方式,是往它和工作线程之间的管道里写数据。工作线程检测到管道里有数据可读时,就分析是否是一个新的客户连接请求到来。如果是,则把该新socket上的读写事件注册到自己的epoll内核事件表中。每个线程(主线程和工作线程)都维持自己的事件循环,它们各自独立的监听不同的事件。因此在这种模式中,每个线程都工作在异步模式,所以它并非严格意义上的半同步半异步模式。
三、领导者/追随者模式(Leader/Followers
领导者/追随者模式是多个工作线程轮流获得事件源集合,轮流监听、分发并处理事件的一种模式。在任意时间点,程序都仅有一个领导者线程,它负责监听IO事件。而其他线程都是追随者,它们休眠在线程池中等待成为新的领导者。当前的领导者如果检测到IO事件,首先要从线程池中推选出新的领导者线程,然后处理IO事件。此时,新的领导者等待新的IO事件,而原来的领导者则处理IO事件,二者实现了并发。包含如下几个组件:
- 句柄集(HandleSet)
- 线程集(ThreadSet)
- 事件处理器(EventHandler)
- 具体的事件处理器(ConcreteEventHandler)。
关系如下图5
图5 领导者/追随者模式的组件
1、句柄集
句柄表示IO资源,linux下通常是文件描述符。句柄集使用wait_for_event方法监听这些句柄上的IO事件,并将其中的就绪事件通知给领导者线程。领导者调用绑定到Handle上的事件处理器来处理事件。绑定是通过句柄集的register_handle方法实现的。
2、线程集
所有工作线程的管理者,负责线程同步、推选新领导。线程在任一时间必处于以下三种状态之一:
- Leader:领导者线程,负责等待句柄集上的IO事件。
- Processing:线程正在处理事件。领导者检测到IO事件后可以转移至Processing状态处理该事件,并调用promote_new_leader方法推选新领导者;也可以指定其他追随者来处理事件,此时领导者地位不变。当处于Processing状态的线程处理完事件后,如果当前线程集中没有领导者,则它将成为新领导者,否则它直接转为追随者。
- Follower:线程处于追随者身份,通过调用线程集的join方法等待成为新领导者,也可能被领导者指定来处理新的事件。
这三种状态之间的转换关系图如下图6:
图6 领导者/追随者模式的状态转移(注意,领导者推选新领导和追随者等待成为新领导这两个操作都会修改线程集,因此线程集提供一个Synchronizer来同步。)
3、事件处理器和具体的事件处理器
事件处理器通常包含一个或多个回调函数handle_event。这些回调函数用于处理事件对应的业务逻辑。事件处理器在使用前需要被绑定到某个句柄上,当该句柄有事件发生时,领导者就执行绑定的事件处理器的回调函数。具体的事件处理器是事件处理器的派生类。它们重新实现基类的handle_event方法,以处理特定的任务。
由于领导者自己监听IO事件并处理客户请求,该模式不需要在线程间传递额外数据,也无需像半同步/半反应堆模式那样在线程间同步对请求队列的访问。但是,该模式的明显缺点是仅支持一个事件源集合,因此也无法让每个工作线程独立管理多个客户连接。
我们将领导者/追随者模式的工作流程总结如下图7
注(本文内容参考 Linux高性能服务器编程——第八章 游双著)