利用C++语言设计可扩展线程池

来源：阿蒙编程之家

    摘要：在各种业务解决方案的设计中，服务器处理任务的效率是衡量方案优劣的一个重要标准。使用多线程技术并发处理任务是提高服务器效率的一个主要手段。但 是频繁的线程创建、销毁和任务的分配也会降低系统效率。本文设计了一个通用的线程池，根据不同服务器所处理的任务的特点，可以设置对应的线程池参数，最大 幅度的提高系统性能。

　　关键字：线程池多线程任务虚函数异常

　　概述

　　在各种业务解决方案的设计过程中， 服务器处理任务的效率往往决定了方案的成败。多线程处理任务是提高服务器效率的主要手段，它提高了对服务器资源的利用，使得任务可以并发处理。但如果服务 器处理的任务的特点是轻量级、频率高，那么线程的创建与销毁会非常频繁，而系统用于处理线程的创建与销毁的开销会占相当大的比重，反而降低了系统的效率。 通过线程池技术，可以减少频繁的线程的创建与销毁对系统性能的影响。

　　线程池是预先创建线程的一种技术。线程池在还没有任务到来之前，创 建一定数量（N1）的线程，放入空闲队列中。这些线程都是处于阻塞（Suspended）状态，不消耗CPU，但占用较小的内存空间。当任务到来后，缓冲 池选择一个空闲线程，把任务传入此线程中运行。当N1个线程都在处理任务后，缓冲池自动创建一定数量的新线程，用于处理更多的任务。当系统比较空闲时，大 部分线程都一直处于暂停状态，线程池自动销毁一部分线程，回收系统资源。

　　通用线程缓冲池的设计，不仅要实现上述功能，还要考虑此设计的可移植性，减少重复开发。设计中需要考虑的重点是：

任务对象的通用性；
线程创建和销毁策略；
任务的分配策略。
　　分析与设计

　　1、任务对象的通用性

　 　不同的业务解决方案有各自独特的任务处理方法，任务的划分上也就千差万别。为了使得在处理任务对象的时候达到一定程度的通用性，任务对象的设计上必须与 实际任务的处理逻辑完全无关。从任务执行的角度看，任务不过是处理流程的一次或者多次执行的过程，可以这样来定义任务接口：

class Task

{

public:

Task();

virtual ~Task();

virtual bool run() = 0;

};

　　Task类是所有任务类的基类，其中的纯虚函数run()是任务流程的入口，工作线程在处理任务的时候就从此处开始执行任务的处理流程。设计一个新的任务时，只需要继承Task接口，新的任务就可以放入线程池中执行。

　　任务的创建、执行和销毁这样来设计：

　　(1)任务在其需要的时候才创建。任务的创建通过new操作，动态创建具体的任务对象，然后传入线程池，由线程池自动分配线程来执行此任务。

　 　(2)任务是否执行完毕由其自身来决定。一个未知任务什么时候执行完毕是不可能预测的，必须任务本身来决定。这个策略通过，Task::run()的返 回值来实现。当工作线程执行一次任务时，如果返回值为true，表示任务执行完毕，就用delete操作销毁此任务；如果返回值为false，表示任务需 要执行的工作并未完成，继续执行此任务。

　　这样的策略，使得在设计新的任务处理流程的时候，不需要过多的关心任务的接口规范，只需要在新任务类的构造函数中初始化各种资源，在新任务类的析构函数中回收资源，在run()方法中实现主要的处理逻辑，那么新的任务类即可在线程池中执行。

　　2、线程的创建与销毁

　　线程缓冲池中的维持的线程数量应该按照任务处理的需求来定。

　 　在缓冲池刚刚建立时，线程池中有一定数量(N1)的已创建好的线程，这样可以使得新任务可以及时的得到执行。比如，某客户端在向服务器发送登陆请求的时 候，这样一个请求使得服务器通常需要创建好几个相互有关联的任务。也就是说，客户端与服务器端的一次交互，通常会产生一定数量的任务。根据一个服务器所处 理的业务，估计出平均情况下，一次业务产生的任务数量N2。那么N1应该是N2的整数倍，N1=N2×n1，减少由于线程不够而再创建线程的概率，才能使 得服务器在业务处理初期最为高效。

　　在线程缓冲池中的所有线程都处于繁忙状态的时候，线程池就会创建新的线程，设创建N3个。由以上分析，为了减少由于线程不够而再创建线程的概率，N3也应该是N2的整数倍，N3=N2×n2。

　 　当服务器业务减少，出现大量线程闲置的情况，就应该销毁一部分线程。很显然，这里应该使用超时策略，当某些线程在超过时间T仍然处于闲置状态，就销毁一 部分空闲线程。设销毁N4个空闲线程，为了减少由于线程不够而再创建线程的概率，N4也应该是N2的整数倍，N4=N2×n3。当然，为了使得新任务及时 得到处理，即使服务器一直处于空闲，也应该保留N1个线程。

3、任务分配策略

　　在业务处理中，会有各种各样的任务对象，这些业务对象对系统资源的使用也不同。这些任务，无论其空间复杂度如何，从线程执行任务这一角度来看，应该关心的主要是时间复杂度。

　 　线程缓冲池在接收到新任务的时候，首先要寻找空闲线程，传入新任务，然后执行任务，最后还要删除任务，置空闲线程的标志。寻找空闲线程、传入任务、最后 的清理工作，这些都是为了执行任务而产生的额外开销，如果所执行的任务大多数都是轻量级任务，那么额外开销带来的资源浪费就显得很突出了。为了解决这个问 题，可以给一个线程传入N5个轻量级任务，这一个线程依次执行N5个轻量级任务，由于都是在很短时间内完成，并不影响任务响应的及时性。显然，N5≥1。

　　实现

　　由于源代码的篇幅关系，并不能把所有代码一一列举，这里以伪代码的形式给出线程缓冲池在线程的创建、销毁、任务分配以及任务执行方面的流程。

　　(1) 线程池任务分配主循环(也是一个线程)

　　这里除了任务分配算法外也包括了部分线程的创建与销毁的算法。

for(;;) {

pThread = GetIdleThread();// 检查空闲线程队列

if( pThread != NULL ) {

if( CheckNewTask() ) {// 有新任务

TaskList tl;

GetTask( tl ); // 取得一定数量的任务

AddTaskToThread( pTask, tl );// 把任务传入线程

continue; // 继续循环

}

}

if( pThread == NULL && nThread < THREAD_MAX )// 没有空闲线程了

CreateNewThread();// 创建新线程

continue;// 继续循环

}

// 没有要处理的任务或者已经到达线程数的上限，进入超时等待

if( WaitForTaskOrThreadTimeout() ) {

if( IncrIdleTime() > IDLE_MAX ) { // 系统空闲，计时

// 系统长时间处于空闲，销毁一定数量的空闲线程

DecrIdleThread();

}

}

else

return 0;// 线程终止

}

　　(2) 工作线程的任务执行流程

for(;;) {

// 检查任务队列是否有任务要运行

if( !CheckTaskQueue() ) { // 队列中没有任务

pPool->OnTaskIdle( this ); // 通知线程池，此线程已经空闲

if( WaitForTask() )

continue;// 继续循环

else

return 0;// 终止线程

} else { // 有任务需要运行

pTask = GetTask(); // 取得新任务

try {

while( !pTask->Run() ) {

// 此处循环体为空，不断运行直到任务执行完毕

}

}

catch( … ) {

WriteLog( … ); // 执行任务时产生异常，记录入日志

}

delete pTask; // 任务执行完毕,删除此任务

}

}

　 　在任务执行的核心部分，使用了try-catch控制块进行异常捕获。虽然异常会对程序速度有很略微的影响，但是因为要执行的任务是未知的，不能保证任 务可以正常执行。因为一个任务的异常而导致服务器的服务程序崩溃，这是绝对不允许的。使用异常捕获不仅可以保证服务器流程的顺利执行，而且把异常信息存入 日志文件，还可以跟踪错误。

　　性能测试

　　为了检验此线程池的性能是否和预期相同，并且分析出线程池的不同参数配置对系统性能的影响，特编写了测试程序对三组参数进行了测试，测试结果如图1所示：

 

　　横坐标是任务数量；纵坐标是消耗时间，以秒(s)为单位。

　　参数1：N2 = 1, N5 = 1; 参数2：N2 = 5, N5 = 1; 参数3：N2 = 5, N5 = 5

　　测试中，系统的总的线程数限制为500，任务都是5ms。这里只针对N2和N5进行测试，N2是平均情况下系统每次向线程池中增加的任务数量，N5是每个线程一次执行任务数量。

　　在任务量比较小的情况下，三者的对系统性能的占用基本上相等。但是当任务量很巨大的时候，参数1比参数2效率要稍微高出一些，而参数3的执行效率几乎是前两者的一倍。

　　因为都是轻量级任务，所以N2的变化对系统效率的影响并不大，而N5的影响就很显著。

　　结束语

　 　通过测试可以看出，在服务器中使用线程池后，并不意味着系统性能就一定可以提升。不同系统的任务有着各自不同的特点，这就需要根据服务器任务的特点进一 步调整缓冲池的一些关键参数，才能最大程度的提高系统效率。这些参数就是上面分析过程中的N1、N2、N3、N4、N5、n1、n2、n3。