3.base之同步原语Condition类的实现

Condition类

• Condition类是对条件变量condition的抽象
• 条件变量使我们可以睡眠等待某种条件出现
• 条件变量是利用线程间共享的全局变量进行同步的一种机制

主要包括两个动作

• 一个线程等待"条件变量的条件成立"而挂起
• 另一个线程使"条件成立"（给出条件成立信号）

为了防止竞争，条件变量的使用总是和一个互斥锁结合在一起

类的实现

类的接口

• 初始化条件变量(构造函数):Condition()
• 销毁条件变量(析构函数):~Condition()
• 等待某条件:wait()
• 通知某条件变量:notify()
• 广播:notifyAll()
  ###类的数据
• 互斥锁:MutexLock& mutex_;
• 条件变量:pthread_condition_t pcond_;

底层支持

初始化和销毁

int pthread_cond_init(pthread_cond_t *cond, pthread_condattr_t *cond_attr);
int pthread_cond_destroy(pthread_cond_t *cond);

通知、广播和等待

int pthread_cond_signal(pthread_cond_t *cond);
int pthread_cond_broadcast(pthread_cond_t *cond);
int pthread_cond_wait(pthread_cond_t *cond, pthread_mutex_t *mutex);

代码实现

class Condition : noncopyable {
public:
      Condition(MutexLock& mutex) : mutex_(mutex) {
            //初始化
            pthread_cond_init(&pcond_, NULL);
      }
      ~Condition() {
            //销毁
            pthread_cond_init(&pcond_);
      }

      void wait() {
            pthread_cond_wait(&pcond_, mutex_.getPthreadMutex());
      }

      void notify() {
            pthread_cond_signal(&pcond_);
      }

      void notifyAll() {
            pthread_cond_broadcast(&pcond_);
      }      

private:
      MutexLock& mutex_;
      pthread_cond_t pcond_;
};

类的用法

• wait必须在加锁的条件下方可使用
• notify函数一次唤醒一个线程,通常用来通知资源可用
• notifyAll函数一次通知多个线程,用来通知状态的改变,滥用会导致“惊群”问题

使用wait函数时,必须使用while循环:

1. 采用 if 语句,最多只能判断一次
2. 假设有 5 个生产者(producer),3个消费者(consumer),缓冲区中最多能盛放 10 个产品
   • 假设现在缓冲区中已经存在10 个产品,如果再用生产者A抢到这把锁,就会调用wait函数,将producer函数阻塞,并释放该锁
   • 这时有一个consumer抢到该锁,自然会消费一个产品,并释放该锁,这时产品数还有9个
   • 由于抢锁是不排队的,因此有可能是除了A之外的 producer(假设为B)抢到锁,由于缓冲区未满(9个),因此会生产一个产品,这时缓冲区已满
   • 还是由于抢锁是不排队的,这时有可能A又重新获得该锁,若采用if语句,由于if只会判断一次,而且也已执行过,故A生产者会生产一个产品,由于缓冲区已满,这时生产产品就已无处可放,造成溢出
   • 若采用while循环,A若获得该锁,则会先判断缓冲区的状态(是否已满),如果已满,则又会进入阻塞状态,不会造成溢出

为了防止broadcast的干扰：如果有且仅有一个资源，使用broadcast会唤醒所有等待的线程，那么多个线程被唤醒，但最终只有一个能拿到资源，这就是所谓的“惊群效应”