深入解析C++编程中线程池的使用

                                          深入解析C++编程中线程池的使用

转自:深入解析C++编程中线程池的使用

为什么需要线程池
目前的大多数网络服务器,包括Web服务器、Email服务器以及数据库服务器等都具有一个共同点,就是单位时间内必须处理数目巨大的连接请求,但处理时间却相对较短。
传 统多线程方案中我们采用的服务器模型则是一旦接受到请求之后,即创建一个新的线程,由该线程执行任务。任务执行完毕后,线程退出,这就是是“即时创建,即 时销毁”的策略。尽管与创建进程相比,创建线程的时间已经大大的缩短,但是如果提交给线程的任务是执行时间较短,而且执行次数极其频繁,那么服务器将处于 不停的创建线程,销毁线程的状态。
我们将传统方案中的线程执行过程分为三个过程:T1、T2、T3。

  1. T1:线程创建时间
  2. T2:线程执行时间,包括线程的同步等时间
  3.  T3:线程销毁时间

那么我们可以看出,线程本身的开销所占的比例为(T1+T3) / (T1+T2+T3)。如果线程执行的时间很短的话,这比开销可能占到20%-50%左右。如果任务执行时间很频繁的话,这笔开销将是不可忽略的。

 
除此之外,线程池能够减少创建的线程个数。通常线程池所允许的并发线程是有上界的,如果同时需要并发的线程数超过上界,那么一部分线程将会等待。而传统方案中,如果同时请求数目为2000,那么最坏情况下,系统可能需要产生2000个线程。尽管这不是一个很大的数目,但是也有部分机器可能达不到这种要求。
 
因此线程池的出现正是着眼于减少线程池本身带来的开销。线程池采用预创建的技术,在应用程序启动之后,将立即创建一定数量的线程(N1),放入空闲队列中。这些线程都是处于阻塞(Suspended)状态,不消耗CPU,但占用较小的内存空间。当任务到来后,缓冲池选择一个空闲线程,把任务传入此线程中运行。当N1个线程都在处理任务后,缓冲池自动创建一定数量的新线程,用于处理更多的任务。在任务执行完毕后线程也不退出,而是继续保持在池中等待下一次的任务。当系统比较空闲时,大部分线程都一直处于暂停状态,线程池自动销毁一部分线程,回收系统资源。
 
基于这种预创建技术,线程池将线程创建和销毁本身所带来的开销分摊到了各个具体的任务上,执行次数越多,每个任务所分担到的线程本身开销则越小,不过我们另外可能需要考虑进去线程之间同步所带来的开销

构建线程池框架
一般线程池都必须具备下面几个组成部分:

  • 线程池管理器:用于创建并管理线程池
  • 工作线程: 线程池中实际执行的线程
  • 任务接口: 尽管线程池大多数情况下是用来支持网络服务器,但是我们将线程执行的任务抽象出来,形成任务接口,从而是的线程池与具体的任务无关。
  • 任务队列: 线程池的概念具体到实现则可能是队列,链表之类的数据结构,其中保存执行线程。

我们实现的通用线程池框架由五个重要部分组成CThreadManage,CThreadPool,CThread,CJob,CWorkerThread,除此之外框架中还包括线程同步使用的类CThreadMutex和CCondition。

  • CJob是所有的任务的基类,其提供一个接口Run,所有的任务类都必须从该类继承,同时实现Run方法。该方法中实现具体的任务逻辑。
  • CThread是Linux中线程的包装,其封装了Linux线程最经常使用的属性和方法,它也是一个抽象类,是所有线程类的基类,具有一个接口Run。
  • CWorkerThread是实际被调度和执行的线程类,其从CThread继承而来,实现了CThread中的Run方法。
  • CThreadPool是线程池类,其负责保存线程,释放线程以及调度线程。
  • CThreadManage是线程池与用户的直接接口,其屏蔽了内部的具体实现。
  • CThreadMutex用于线程之间的互斥。
  • CCondition则是条件变量的封装,用于线程之间的同步。

CThreadManage直接跟客户端打交道,其接受需要创建的线程初始个数,并接受客户端提交的任务。这儿的任务是具体的非抽象的任务。CThreadManage的内部实际上调用的都是CThreadPool的相关操作。CThreadPool创建具体的线程,并把客户端提交的任务分发给CWorkerThread,CWorkerThread实际执行具体的任务。
 
理解系统组件

下面我们分开来了解系统中的各个组件。
CThreadManage
CThreadManage的功能非常简单,其提供最简单的方法,其类定义如下:

class CThreadManage
{
private:
  CThreadPool*  m_Pool;
  int     m_NumOfThread;
  
protected:
  
public:
  CThreadManage();
  CThreadManage(int num);
  virtual ~CThreadManage();
  
  void   SetParallelNum(int num);  
  void  Run(CJob* job,void* jobdata);
  void  TerminateAll(void);
};

其中m_Pool指向实际的线程池;m_NumOfThread是初始创建时候允许创建的并发的线程个数。另外Run和TerminateAll方法也非常简单,只是简单的调用CThreadPool的一些相关方法而已。其具体的实现如下:

CThreadManage::CThreadManage()
{
  m_NumOfThread = 10;
  m_Pool = new CThreadPool(m_NumOfThread);
}
CThreadManage::CThreadManage(int num)
{
  m_NumOfThread = num;
  m_Pool = new CThreadPool(m_NumOfThread);
}
CThreadManage::~CThreadManage()
{
  if(NULL != m_Pool)
  delete m_Pool;
}  
void CThreadManage::SetParallelNum(int num)
{
  m_NumOfThread = num;
}  
void CThreadManage::Run(CJob* job,void* jobdata)
{
  m_Pool->Run(job,jobdata);
}
void CThreadManage::TerminateAll(void)
{
  m_Pool->TerminateAll();
}

CThread
CThread 类实现了对Linux中线程操作的封装,它是所有线程的基类,也是一个抽象类,提供了一个抽象接口Run,所有的CThread都必须实现该Run方法。CThread的定义如下所示:

class CThread
{
private:
  int     m_ErrCode;
  Semaphore  m_ThreadSemaphore; //the inner semaphore, which is used to realize
  unsigned   long m_ThreadID;  
  bool     m_Detach;    //The thread is detached
  bool     m_CreateSuspended; //if suspend after creating
  char*    m_ThreadName;
  ThreadState m_ThreadState;   //the state of the thread
  
protected:
  void   SetErrcode(int errcode){m_ErrCode = errcode;}
  static void* ThreadFunction(void*);
  
public:
  CThread();
  CThread(bool createsuspended,bool detach);
  virtual ~CThread();
  
  virtual void Run(void) = 0;
  void   SetThreadState(ThreadState state){m_ThreadState = state;}
   bool   Terminate(void);  //Terminate the threa
  bool   Start(void);    //Start to execute the thread
  void   Exit(void);
  bool   Wakeup(void);
  ThreadState GetThreadState(void){return m_ThreadState;}
  int   GetLastError(void){return m_ErrCode;}
  void   SetThreadName(char* thrname){strcpy(m_ThreadName,thrname);}
  char*  GetThreadName(void){return m_ThreadName;}
  int   GetThreadID(void){return m_ThreadID;}
  bool   SetPriority(int priority);
  int   GetPriority(void);
  int   GetConcurrency(void);
  void   SetConcurrency(int num);
  bool   Detach(void);
  bool   Join(void);
  bool   Yield(void);
  int   Self(void);
};

线程的状态可以分为四种,空闲、忙碌、挂起、终止(包括正常退出和非正常退出)。由于目前Linux线程库不支持挂起操作,因此,我们的此处的挂起操作类似于暂停。如果线程创建后不想立即执行任务,那么我们可以将其“暂停”,如果需要运行,则唤醒。有一点必须注意的是,一旦线程开始执行任务,将不能被挂起,其将一直执行任务至完毕。
 
线程类的相关操作均十分简单。线程的执行入口是从Start()函数开始,其将调用函数ThreadFunction,ThreadFunction再调用实际的Run函数,执行实际的任务。
 
CThreadPool
CThreadPool是线程的承载容器,一般可以将其实现为堆栈、单向队列或者双向队列。在我们的系统中我们使用STL Vector对线程进行保存。CThreadPool的实现代码如下:

class CThreadPool
{
friend class CWorkerThread;
  
private:
  unsigned int m_MaxNum;  //the max thread num that can create at the same time
  unsigned int m_AvailLow; //The min num of idle thread that shoule kept
  unsigned int m_AvailHigh;  //The max num of idle thread that kept at the same time
  unsigned int m_AvailNum; //the normal thread num of idle num;
  unsigned int m_InitNum; //Normal thread num;
  
protected:
  CWorkerThread* GetIdleThread(void); 
  void  AppendToIdleList(CWorkerThread* jobthread);
  void  MoveToBusyList(CWorkerThread* idlethread);
  void  MoveToIdleList(CWorkerThread* busythread);
  void  DeleteIdleThread(int num);
  void  CreateIdleThread(int num);
  
public:
  CThreadMutex m_BusyMutex;  //when visit busy list,use m_BusyMutex to lock and unlock
  CThreadMutex m_IdleMutex;  //when visit idle list,use m_IdleMutex to lock and unlock
  CThreadMutex m_JobMutex; //when visit job list,use m_JobMutex to lock and unlock
  CThreadMutex m_VarMutex;
  CCondition    m_BusyCond; //m_BusyCond is used to sync busy thread list
  CCondition    m_IdleCond; //m_IdleCond is used to sync idle thread list
  CCondition    m_IdleJobCond; //m_JobCond is used to sync job list
  CCondition    m_MaxNumCond;
 
  vector  m_ThreadList;
  vector  m_BusyList;   //Thread List
  vector  m_IdleList; //Idle List
 
  CThreadPool();
  CThreadPool(int initnum);
  virtual ~CThreadPool(); 
 
  void  SetMaxNum(int maxnum){m_MaxNum = maxnum;}
  int   GetMaxNum(void){return m_MaxNum;}
  void  SetAvailLowNum(int minnum){m_AvailLow = minnum;}
  int   GetAvailLowNum(void){return m_AvailLow;}
  void  SetAvailHighNum(int highnum){m_AvailHigh = highnum;}
  int   GetAvailHighNum(void){return m_AvailHigh;}
  int   GetActualAvailNum(void){return m_AvailNum;}
  int   GetAllNum(void){return m_ThreadList.size();}
  int   GetBusyNum(void){return m_BusyList.size();}
  void  SetInitNum(int initnum){m_InitNum = initnum;}
  int   GetInitNum(void){return m_InitNum;}
  void  TerminateAll(void);
  void  Run(CJob* job,void* jobdata);
};
  
CWorkerThread* CThreadPool::GetIdleThread(void)
{
  while(m_IdleList.size() ==0 )
  m_IdleCond.Wait();
  m_IdleMutex.Lock();  
  if(m_IdleList.size() > 0 )
  {  
  CWorkerThread* thr = (CWorkerThread*)m_IdleList.front();
  printf("Get Idle thread %d\n",thr->GetThreadID());
  m_IdleMutex.Unlock();
  return thr;
  }
  m_IdleMutex.Unlock();
  
  return NULL; 
}

//create num idle thread and put them to idlelist
void CThreadPool::CreateIdleThread(int num) 
{
  
  for(int i=0;iSetThreadPool(this);
  
  AppendToIdleList(thr);
  
  m_VarMutex.Lock();
  
  m_AvailNum++;
  
  m_VarMutex.Unlock();
  
  thr->Start();    //begin the thread,the thread wait for job
  
  }
  
}
  
void CThreadPool::Run(CJob* job,void* jobdata)
  
{
  
  assert(job!=NULL);
  
  //if the busy thread num adds to m_MaxNum,so we should wait
  
  if(GetBusyNum() == m_MaxNum)
  
    m_MaxNumCond.Wait();
  
  if(m_IdleList.size()m_WorkMutex.Lock();
  
  MoveToBusyList(idlethr);
  
  idlethr->SetThreadPool(this);
  
  job->SetWorkThread(idlethr);
  
  printf("Job is set to thread %d \n",idlethr->GetThreadID());
  
  idlethr->SetJob(job,jobdata);
  
  }
  
}

 
在CThreadPool中存在两个链表,一个是空闲链表,一个是忙碌链表。Idle链表中存放所有的空闲进程,当线程执行任务时候,其状态变为忙碌状态,同时从空闲链表中删除,并移至忙碌链表中。在CThreadPool的构造函数中,我们将执行下面的代码:

for(int i=0;iSetThreadPool(this);
  
  thr->Start();    //begin the thread,the thread wait for job
  
  }


在该代码中,我们将创建m_InitNum个线程,创建之后即调用AppendToIdleList放入Idle链表中,由于目前没有任务分发给这些线程,因此线程执行Start后将自己挂起。
 
事实上,线程池中容纳的线程数目并不是一成不变的,其会根据执行负载进行自动伸缩。为此在CThreadPool中设定四个变量:

m_InitNum:处世创建时线程池中的线程的个数。

m_MaxNum:当前线程池中所允许并发存在的线程的最大数目。

m_AvailLow:当前线程池中所允许存在的空闲线程的最小数目,如果空闲数目低于该值,表明负载可能过重,此时有必要增加空闲线程池的数目。实现中我们总是将线程调整为m_InitNum个。

m_AvailHigh:当前线程池中所允许的空闲的线程的最大数目,如果空闲数目高于该值,表明当前负载可能较轻,此时将删除多余的空闲线程,删除后调整数也为m_InitNum个。

m_AvailNum:目前线程池中实际存在的线程的个数,其值介于m_AvailHigh和m_AvailLow之间。如果线程的个数始终维持在m_AvailLow和m_AvailHigh之间,则线程既不需要创建,也不需要删除,保持平衡状态。因此如何设定m_AvailLow和m_AvailHigh的值,使得线程池最大可能的保持平衡态,是线程池设计必须考虑的问题。
 
线程池在接受到新的任务之后,线程池首先要检查是否有足够的空闲池可用。检查分为三个步骤:
 
(1)检查当前处于忙碌状态的线程是否达到了设定的最大值m_MaxNum,如果达到了,表明目前没有空闲线程可用,而且也不能创建新的线程,因此必须等待直到有线程执行完毕返回到空闲队列中。
 
(2)如果当前的空闲线程数目小于我们设定的最小的空闲数目m_AvailLow,则我们必须创建新的线程,默认情况下,创建后的线程数目应该为m_InitNum,因此创建的线程数目应该为( 当前空闲线程数与m_InitNum);但是有一种特殊情况必须考虑,就是现有的线程总数加上创建后的线程数可能超过m_MaxNum,因此我们必须对线程的创建区别对待。

if(GetAllNum()+m_InitNum-m_IdleList.size() < m_MaxNum )
 
  CreateIdleThread(m_InitNum-m_IdleList.size());
 
else
 
  CreateIdleThread(m_MaxNum-GetAllNum());

如果创建后总数不超过m_MaxNum,则创建后的线程为m_InitNum;如果超过了,则只创建( m_MaxNum-当前线程总数 )个。
(3)调用GetIdleThread方法查找空闲线程。如果当前没有空闲线程,则挂起;否则将任务指派给该线程,同时将其移入忙碌队列。
当线程执行完毕后,其会调用MoveToIdleList方法移入空闲链表中,其中还调用m_IdleCond.Signal()方法,唤醒GetIdleThread()中可能阻塞的线程。
 
CJob
CJob类相对简单,其封装了任务的基本的属性和方法,其中最重要的是Run方法,代码如下:

class CJob
{
  
private:
  
  int   m_JobNo;    //The num was assigned to the job
  
  char*  m_JobName;   //The job name
  
  CThread *m_pWorkThread;   //The thread associated with the job
  
public:
  
  CJob( void );
  
  virtual ~CJob();  
  
  int   GetJobNo(void) const { return m_JobNo; }
  
  void   SetJobNo(int jobno){ m_JobNo = jobno;}
  
  char*  GetJobName(void) const { return m_JobName; }
  
  void   SetJobName(char* jobname);
  
  CThread *GetWorkThread(void){ return m_pWorkThread; }
  
  void   SetWorkThread ( CThread *pWorkThread ){
  
    m_pWorkThread = pWorkThread;
  
  }
  
  virtual void Run ( void *ptr ) = 0;
  
}; 

线程池使用示例
至此我们给出了一个简单的与具体任务无关的线程池框架。使用该框架非常的简单,我们所需要的做的就是派生CJob类,将需要完成的任务实现在Run方法中。然后将该Job交由CThreadManage去执行。下面我们给出一个简单的示例程序

class CXJob:public CJob
 {
  
public:
  
  CXJob(){i=0;}
  
  ~CXJob(){}
  
  void Run(void* jobdata)  {
  
    printf("The Job comes from CXJOB\n");
  
    sleep(2);
  
  }
  
};
  
  
  
class CYJob:public CJob
  
{
  
public:
  
  CYJob(){i=0;}
  
  ~CYJob(){}
  
  void Run(void* jobdata)  {
  
    printf("The Job comes from CYJob\n");
  
  }
  
};
  
  
  
main()
  
{
  
  CThreadManage* manage = new CThreadManage(10);
  
  for(int i=0;i<40;i++)
  
  {
  
    CXJob*  job = new CXJob();
  
    manage->Run(job,NULL);
  
  }
  
  sleep(2);
  
  CYJob* job = new CYJob();
  
  manage->Run(job,NULL);
  
  manage->TerminateAll();
  
} 

CXJob和CYJob都是从Job类继承而来,其都实现了Run接口。CXJob只是简单的打印一句”The Job comes from CXJob”,CYJob也只打印”The Job comes from CYJob”,然后均休眠2秒钟。在主程序中我们初始创建10个工作线程。然后分别执行40次CXJob和一次CYJob。

C++ 线程池的封装实现
为了充分利用多核的优势,我们利用多线程来进行任务处理,但线程也同样不能滥用,会带来一下几个问题:
1)线程本身存在开销,系统必须为每个线程分配如栈,TLS(线程局部存储),寄存器等。
2)线程管理会给系统带来开销,context切换同样会给系统带来成本。
3)线程本身是可以重用的资源,不需要每次都进行初始化。

所以往往在使用中,我们无需把线程与task任务进行一对一对应,只需要预先初始化有限的线程个数来处理无限的task任务即可,线程池应运而生,原理也就是如此。

深入解析C++编程中线程池的使用_第1张图片

主要含有三个队列

  1. 工作队列
  2. 工作线程队列
  3. 忙碌线程队列

工作队列是一个阻塞队列,任务(仿函数)任务不算被push进来(notify阻塞获取的工作线程),工作线程队列(一直不变)则从该队列中获取任务执行(wait获取,当任务队列为空时阻塞等待通知),如果获取到任务,则将线程会进入忙碌线程队列中,执行任务的仿函数,当工作完成,重新移出工作线程队列。
定义线程池专属异常:

struct TC_ThreadPool_Exception : public TC_Exception
{
  TC_ThreadPool_Exception(const string &buffer) : TC_Exception(buffer){};
  TC_ThreadPool_Exception(const string &buffer, int err) : TC_Exception(buffer, err){};
  ~TC_ThreadPool_Exception () throw (){};
};
 
 
/**
 * @brief 用通线程池类, 与tc_functor, tc_functorwrapper配合使用.
 * 
 * 使用方式说明:
 * 1 采用tc_functorwrapper封装一个调用
 * 2 用tc_threadpool对调用进行执行
 * 具体示例代码请参见:test/test_tc_thread_pool.cpp
 */
 
/**线程池本身继承自锁,可以帮助锁定**/
class TC_ThreadPool : public TC_ThreadLock
{
public:
 
  /**
   * @brief 构造函数
   *
   */
  TC_ThreadPool ();
 
  /**
   * @brief 析构, 会停止所有线程
   */
  ~TC_ThreadPool ();
 
  /**
   * @brief 初始化.
   * 
   * @param num 工作线程个数
   */
  void init(size_t num);
 
  /**
   * @brief 获取线程个数.
   *
   * @return size_t 线程个数
   */
  size_t getThreadNum()  { Lock sync(* this); return _jobthread. size(); }
 
  /**
   * @brief 获取线程池的任务数( exec添加进去的).
   *
   * @return size_t 线程池的任务数
   */
  size_t getJobNum()   { return _jobqueue. size(); }
 
  /**
   * @brief 停止所有线程
   */
  void stop();
 
  /**
   * @brief 启动所有线程
   */
  void start();
 
  /**
   * @brief 启动所有线程并, 执行初始化对象.
   * 
   * @param ParentFunctor
   * @param tf
   */
  template
  void start(const TC_FunctorWrapper< ParentFunctor> &tf)
  {
    for(size_t i = 0; i < _jobthread .size(); i++)
    {
      _startqueue. push_back(new TC_FunctorWrapper(tf));
    }
 
    start();
  }
 
  /**
   * @brief 添加对象到线程池执行,该函数马上返回,
   *   线程池的线程执行对象
   */
  template
   void exec(const TC_FunctorWrapper< ParentFunctor> &tf)
  {
    _jobqueue.push_back(new TC_FunctorWrapper(tf));
  }
 
  /**
   * @brief 等待所有工作全部结束(队列无任务, 无空闲线程).
   *
   * @param millsecond 等待的时间( ms), -1:永远等待
   * @return      true, 所有工作都处理完毕
   *            false,超时退出
   */
  bool waitForAllDone(int millsecond = -1);
 
public:
 
  /**
   * @brief 线程数据基类,所有线程的私有数据继承于该类
   */
  class ThreadData
  {
  public:
    /**
     * @brief 构造
     */
    ThreadData(){};
    /**
     * @brief 析够
     */
    virtual ~ThreadData(){};
 
    /**
      * @brief 生成数据.
      * 
      * @ param T
     * @return ThreadData*
     */
    template
    static T* makeThreadData()
    {
      return new T;
    }
  };
 
  /**
   * @brief 设置线程数据.
   * 
   * @param p 线程数据
   */
  static void setThreadData(ThreadData *p);
 
  /**
   * @brief 获取线程数据.
   *
   * @return ThreadData* 线程数据
   */
  static ThreadData* getThreadData();
 
  /**
   * @brief 设置线程数据, key需要自己维护.
   * 
   * @param pkey 线程私有数据key
   * @param p  线程指针
   */
  static void setThreadData(pthread_key_t pkey, ThreadData *p);
 
  /**
   * @brief 获取线程数据, key需要自己维护.
   * 
   * @param pkey 线程私有数据key
   * @return   指向线程的ThreadData*指针
   */
  static ThreadData* getThreadData(pthread_key_t pkey);
 
protected:
 
  /**
   * @brief 释放资源.
   * 
   * @param p
   */
  static void destructor(void *p);
 
  /**
   * @brief 初始化key
   */
  class KeyInitialize
  {
  public:
    /**
     * @brief 初始化key
     */
    KeyInitialize()
    {
      int ret = pthread_key_create(&TC_ThreadPool::g_key, TC_ThreadPool::destructor);
      if(ret != 0)
      {
        throw TC_ThreadPool_Exception("[TC_ThreadPool::KeyInitialize] pthread_key_create error", ret);
      }
    }
 
    /**
     * @brief 释放key
     */
    ~KeyInitialize()
    {
      pthread_key_delete(TC_ThreadPool::g_key);
    }
  };
 
  /**
   * @brief 初始化key的控制
   */
  static KeyInitialize g_key_initialize;
 
  /**
   * @brief 数据key
   */
  static pthread_key_t g_key;
 
protected:
  /**
   * @brief 线程池中的工作线程
   */
  class ThreadWorker : public TC_Thread
  {
  public:
    /**
      * @brief 工作线程构造函数.
      * 
     * @ param tpool
     */
    ThreadWorker(TC_ThreadPool *tpool);
 
    /**
     * @brief 通知工作线程结束
     */
    void terminate();
 
  protected:
    /**
     * @brief 运行
     */
    virtual void run();
 
  protected:
    /**
     * 线程池指针
     */
    TC_ThreadPool  * _tpool;
 
    /**
     * 是否结束线程
     */
    bool      _bTerminate;
  };
 
protected:
 
  /**
   * @brief 清除
   */
  void clear();
 
  /**
   * @brief 获取任务, 如果没有任务, 则为NULL.
   *
   * @return TC_FunctorWrapperInterface*
   */
  TC_FunctorWrapperInterface * get(ThreadWorker *ptw);
 
  /**
   * @brief 获取启动任务.
   *
   * @return TC_FunctorWrapperInterface*
   */
  TC_FunctorWrapperInterface * get();
 
  /**
   * @brief 空闲了一个线程.
   * 
   * @param ptw
   */
  void idle(ThreadWorker *ptw);
 
  /**
   * @brief 通知等待在任务队列上的工作线程醒来
   */
  void notifyT();
 
  /**
   * @brief 是否处理结束.
   *
   * @return bool
   */
  bool finish();
 
  /**
   * @brief 线程退出时调用
   */
  void exit();
 
  friend class ThreadWorker;
protected:
 
  /**
   * 任务队列
   */
  TC_ThreadQueue< TC_FunctorWrapperInterface*> _jobqueue;
 
  /**
   * 启动任务
   */
  TC_ThreadQueue< TC_FunctorWrapperInterface*> _startqueue;
 
  /**
   * 工作线程
   */
  std::vector         _jobthread;
 
  /**
   * 繁忙线程
   */
  std::set           _busthread;
 
  /**
   * 任务队列的锁
   */
  TC_ThreadLock                _tmutex;
 
   /**
   * 是否所有任务都执行完毕
   */
   bool                    _bAllDone;
};

工作线程设计如下:

TC_ThreadPool ::ThreadWorker::ThreadWorker(TC_ThreadPool *tpool)
: _tpool (tpool)
, _bTerminate ( false)
{
}
 
void TC_ThreadPool ::ThreadWorker::terminate()
{
  _bTerminate = true;
  _tpool->notifyT();
}
 
void TC_ThreadPool ::ThreadWorker::run()
{
  //调用初始化部分
  TC_FunctorWrapperInterface *pst = _tpool->get();
  if(pst)
  {
    try
    {
      (*pst)();
    }
    catch ( ... )
    {
    }
    delete pst;
    pst = NULL;
  }
 
  //调用处理部分
  while (! _bTerminate)
  {
    TC_FunctorWrapperInterface *pfw = _tpool->get( this);
    if(pfw != NULL)
    {
      auto_ptr< TC_FunctorWrapperInterface> apfw(pfw);
 
      try
      {
        (*pfw)();
      }
      catch ( ... )
      {
      }
 
      _tpool->idle( this);
    }
  }
 
  //结束
  _tpool->exit();
}
 
每个工作线程在刚开始时都会执行一下初始化操作,并进入一个无限循环的部分//调用处理部分
  while (! _bTerminate)
  {
    TC_FunctorWrapperInterface *pfw = _tpool->get( this);
    if(pfw != NULL)
    {
      auto_ptr< TC_FunctorWrapperInterface> apfw(pfw);
 
      try
      {
        (*pfw)();
      }
      catch ( ... )
      {
      }
 
      _tpool->idle( this);
    }
  }

该工作主要是无限的从线程池的工作队列中获取任务并执行,如果成功获取任务,则会将线程移进忙碌队列:



TC_FunctorWrapperInterface *TC_ThreadPool:: get(ThreadWorker *ptw)
{
 
  TC_FunctorWrapperInterface *pFunctorWrapper = NULL;
  if(! _jobqueue. pop_front(pFunctorWrapper, 1000))
  {
    return NULL;
  }
 
   {
      Lock sync( _tmutex);
     _busthread. insert(ptw);
  }
  return pFunctorWrapper;
}
 

执行完,移回工作线程队列:_tpool->idle( this);

void TC_ThreadPool:: idle(ThreadWorker *ptw)
{
  Lock sync( _tmutex);
  _busthread. erase(ptw);
 
  //无繁忙线程, 通知等待在线程池结束的线程醒过来
  if( _busthread. empty())
  {
    _bAllDone = true;
    _tmutex.notifyAll();
  }
}
 


此处jobThread队列初始化后不会改变(因为没有实现自增长功能),所以非线程安全的vector队列即可,busthread的忙碌线程队列会被移进移出,但是操作会自带Lock sync( _tmutex),该互斥量是线程池本身继承的,所以是共有的,也无需另外使用线程安全的TC_ThreadQueue,使用vector即可。

TC_ThreadPool:: idle中的



if( _busthread. empty())
{
  _bAllDone = true;
  _tmutex.notifyAll();
}

主要用于当线程池工作起来后的waitForAllDone方法:

bool TC_ThreadPool:: waitForAllDone( int millsecond)
{
  Lock sync( _tmutex);
 
start1:
  //任务队列和繁忙线程都是空的
  if (finish())
  {
    return true;
  }
 
  //永远等待
  if(millsecond < 0)
  {
    _tmutex.timedWait(1000);
    goto start1;
  }
 
  int64_t iNow = TC_Common:: now2ms();
  int m    = millsecond;
start2:
 
  bool b = _tmutex.timedWait(millsecond);
  //完成处理了
  if(finish())
  {
    return true;
  }
 
  if(!b)
  {
    return false;
  }
 
  millsecond = max((int64_t )0, m - (TC_Common ::now2ms() - iNow));
  goto start2;
 
  return false;
}
 
_tmutex.timedWait(millsecond)方法唤醒。反复判断是否所有的工作是否完成:
 
bool TC_ThreadPool:: finish()
{
  return _startqueue. empty() && _jobqueue .empty() && _busthread. empty() && _bAllDone;
}


整体cpp实现如下:

TC_ThreadPool ::KeyInitialize TC_ThreadPool::g_key_initialize;
pthread_key_t TC_ThreadPool::g_key ;
 
void TC_ThreadPool::destructor( void *p)
{
  ThreadData *ttd = ( ThreadData*)p;
  if(ttd)
  {
    delete ttd;
  }
}
 
void TC_ThreadPool::exit()
{
  TC_ThreadPool:: ThreadData *p = getThreadData();
  if(p)
  {
    delete p;
    int ret = pthread_setspecific( g_key, NULL );
    if(ret != 0)
    {
      throw TC_ThreadPool_Exception ("[TC_ThreadPool::setThreadData] pthread_setspecific error", ret);
    }
  }
 
  _jobqueue. clear();
}
 
void TC_ThreadPool::setThreadData( TC_ThreadPool:: ThreadData *p)
{
  TC_ThreadPool:: ThreadData *pOld = getThreadData();
  if(pOld != NULL && pOld != p)
  {
    delete pOld;
  }
 
  int ret = pthread_setspecific( g_key, ( void *)p);
  if(ret != 0)
  {
    throw TC_ThreadPool_Exception ("[TC_ThreadPool::setThreadData] pthread_setspecific error", ret);
  }
}
 
TC_ThreadPool ::ThreadData * TC_ThreadPool::getThreadData ()
{
  return ( ThreadData *) pthread_getspecific( g_key);
}
 
void TC_ThreadPool::setThreadData( pthread_key_t pkey, ThreadData *p)
{
  TC_ThreadPool:: ThreadData *pOld = getThreadData(pkey);
  if(pOld != NULL && pOld != p)
  {
    delete pOld;
  }
 
  int ret = pthread_setspecific(pkey, ( void *)p);
  if(ret != 0)
  {
    throw TC_ThreadPool_Exception ("[TC_ThreadPool::setThreadData] pthread_setspecific error", ret);
  }
}
 
TC_ThreadPool ::ThreadData * TC_ThreadPool::getThreadData( pthread_key_t pkey)
{
  return ( ThreadData *) pthread_getspecific(pkey);
}
 
TC_ThreadPool::TC_ThreadPool()
: _bAllDone ( true)
{
}
 
TC_ThreadPool::~TC_ThreadPool()
{
  stop();
  clear();
}
 
void TC_ThreadPool::clear()
{
  std::vector< ThreadWorker *>::iterator it = _jobthread. begin();
  while(it != _jobthread. end())
  {
    delete (*it);
    ++it;
  }
 
  _jobthread. clear();
  _busthread. clear();
}
 
void TC_ThreadPool::init( size_t num)
{
  stop();
 
  Lock sync(* this);
 
  clear();
 
  for( size_t i = 0; i < num; i++)
  {
    _jobthread. push_back( new ThreadWorker( this));
  }
}
 
void TC_ThreadPool::stop()
{
  Lock sync(* this);
 
  std::vector< ThreadWorker *>::iterator it = _jobthread. begin();
  while(it != _jobthread. end())
  {
    if ((*it)-> isAlive())
    {
      (*it)-> terminate();
      (*it)-> getThreadControl().join ();
    }
    ++it;
  }
  _bAllDone = true;
}
 
void TC_ThreadPool::start()
{
  Lock sync(* this);
 
  std::vector< ThreadWorker *>::iterator it = _jobthread. begin();
  while(it != _jobthread. end())
  {
    (*it)-> start();
    ++it;
  }
  _bAllDone = false;
}
 
bool TC_ThreadPool:: finish()
{
  return _startqueue. empty() && _jobqueue .empty() && _busthread. empty() && _bAllDone;
}
 
bool TC_ThreadPool::waitForAllDone( int millsecond)
{
  Lock sync( _tmutex);
 
start1:
  //任务队列和繁忙线程都是空的
  if (finish ())
  {
    return true;
  }
 
  //永远等待
  if(millsecond < 0)
  {
    _tmutex.timedWait(1000);
    goto start1;
  }
 
  int64_t iNow = TC_Common:: now2ms();
  int m    = millsecond;
start2:
 
  bool b = _tmutex.timedWait(millsecond);
  //完成处理了
  if(finish ())
  {
    return true;
  }
 
  if(!b)
  {
    return false;
  }
 
  millsecond = max((int64_t )0, m - (TC_Common ::now2ms() - iNow));
  goto start2;
 
  return false;
}
 
TC_FunctorWrapperInterface *TC_ThreadPool::get( ThreadWorker *ptw)
{
 
  TC_FunctorWrapperInterface *pFunctorWrapper = NULL;
  if(! _jobqueue. pop_front(pFunctorWrapper, 1000))
  {
    return NULL;
  }
 
   {
      Lock sync( _tmutex);
     _busthread. insert(ptw);
  }
  return pFunctorWrapper;
}
 
TC_FunctorWrapperInterface *TC_ThreadPool::get()
{
  TC_FunctorWrapperInterface *pFunctorWrapper = NULL;
  if(! _startqueue. pop_front(pFunctorWrapper))
  {
    return NULL;
  }
 
  return pFunctorWrapper;
}
 
void TC_ThreadPool::idle( ThreadWorker *ptw)
{
  Lock sync( _tmutex);
  _busthread. erase(ptw);
 
  //无繁忙线程, 通知等待在线程池结束的线程醒过来
  if( _busthread. empty())
  {
      _bAllDone = true;
    _tmutex.notifyAll();
  }
}
 
void TC_ThreadPool::notifyT()
{
  _jobqueue. notifyT();
}

线程池使用后记
线程池适合场合
事 实上,线程池并不是万能的。它有其特定的使用场合。线程池致力于减少线程本身的开销对应用所产生的影响,这是有前提的,前提就是线程本身开销与线程执行任 务相比不可忽略。如果线程本身的开销相对于线程任务执行开销而言是可以忽略不计的,那么此时线程池所带来的好处是不明显的,比如对于FTP服务器以及Telnet服务器,通常传送文件的时间较长,开销较大,那么此时,我们采用线程池未必是理想的方法,我们可以选择“即时创建,即时销毁”的策略。
 总之线程池通常适合下面的几个场合:
 
(1)  单位时间内处理任务频繁而且任务处理时间短
 
(2)  对实时性要求较高。如果接受到任务后在创建线程,可能满足不了实时要求,因此必须采用线程池进行预创建。
 
(3)  必须经常面对高突发性事件,比如Web服务器,如果有足球转播,则服务器将产生巨大的冲击。此时如果采取传统方法,则必须不停的大量产生线程,销毁线程。此时采用动态线程池可以避免这种情况的发生。

你可能感兴趣的:(并发编程)