linux线程同步机制二:条件变量(Condition Variable)

一.条件变量的使用场景

1.1 在生产者-消费者模型中，生产者线程负责生成一些“产品单元”来供主线程消费。主线程则使用while()不停的查询是否有“产品单元”可供消费。这样的编程模式会造成CPU资源浪费。如果采用条件变量的机制，就不存在这一问题了。允许主线程休眠，直到等到另一线程的信号通知再去执行其他的一些动作。
1.2. 在实际使用的场景中，条件变量经常结合互斥量来使用。条件变量就共享变量的状态改变发出通知，而互斥量则提供对该共享变量访问的互斥。

二. 条件变量的类型

2.1 静态分配的条件变量
条件变量的数据类型：pthread_cond_t, 对于静态分配的条件变量，必须将其值初始化PTHREAD_COND_INITIALIZER。
2.2 动态分配的条件变量
使用pthread_cond_init()初始化的条件和互斥量类似，对自动或者动态分配的条件变量进行初始化，或者未采用默认属性精油静态分配的条件变量进行初始化。
int pthread_cond_init(pthread_cond_t *restrict cond, const pthread_condattr_t *restrict attr)
同样对于经由pthread_cond_init()初始化的条件变量不再使用的情况时需要使用pthread_cond_destroy()销毁。
int pthread_cond_destroy(pthread_cond_t *cond);

三.通知和等待条件变量

3.1 条件变量的主要操作是发送信号(signal)和等待(wait)
其中发送信号是通知一个或多个等待状态的线程告诉它们某个共享变量已经发生了改变。其操作函数是
int pthread_cond_signal(pthread_cond_t *cond);
int pthread_cond_broadcast(pthread_cond_t *cond);
等待操作是指一个或多个线程在收到一个通知前一直处于休眠状态，其操作函数是
int pthread_cond_wait(pthread_cond_t *restrict cond, pthread_mutex_t *restrict mutex);
int pthread_cond_timedwait(pthread_cond_t *restrict cond,pthread_mutex_t *restrict mutex,const struct timespec *restrict abstime);
其中需要特别指出来的是pthread_cond_wait()，条件变量的使用总是要与一个互斥量相关，程序在执行pthread_cond_wait()时这个函数会执行如下的操作：

1. 解锁与之相关的互斥量
2. 阻塞调用线程，直至另一线程就条件变量cond发出信号
3. 重新锁定mutex
   而且在使用pthread_cond_wait的时候程序设计的一个通用规则就是必须使用一个while循环而不是if语句来控制对pthread_cond_wait()的调用，这是因为当代码从pthread_cond_wait返回时，并不确定判断条件的状态，所以应该立即重新检查判断条件，如果条件不满足就继续休眠。