linux网络编程之posix 线程（四）：posix 条件变量与互斥锁 示例生产者--消费者问题

一、posix 条件变量

一种线程间同步的情形：线程A需要等某个条件成立才能继续往下执行，现在这个条件不成立，线程A就阻塞等待，而线程B在执行过程中使这个条件成立了，就唤醒线程A继续执行。

在pthread库中通过条件变量（Condition Variable）来阻塞等待一个条件，或者唤醒等待这个条件的线程。Condition Variable用pthread_cond_t类型的变量表示，和Mutex的初始化和销毁类似，pthread_cond_init函数初始化一个Condition Variable，attr参数为NULL则表示缺省属性，pthread_cond_destroy函数销毁一个Condition Variable。如果ConditionVariable是静态分配的，也可以用宏定义PTHEAD_COND_INITIALIZER初始化，相当于用pthread_cond_init函数初始化并且attr参数为NULL。

一个Condition Variable总是和一个Mutex搭配使用的。一个线程可以调用pthread_cond_wait在一个Condition Variable上阻塞等待，这个函数做以下三步操作：
1. 释放Mutex
2. 阻塞等待
3. 当被唤醒时，重新获得Mutex并返回

注意：3个操作是原子性的操作，之所以一开始要释放Mutex，是因为需要让其他线程进入临界区去更改条件，或者也有其他线程需要进入临界区等待条件。

一个线程可以调用 pthread_cond_signal 唤醒在某个Condition Variable上等待的第一个线程，也可以调用 pthread_cond_broadcast 唤醒在这个Condition Variable上等待的所有线程。

上面的函数具体可以man 一下。

二、条件变量使用规范

（一）、等待条件代码
pthread_mutex_lock(&mutex);

while (条件为假）

pthread_cond_wait(cond, mutex);

修改条件
pthread_mutex_unlock(&mutex);


（二）、给条件发送通知代码
pthread_mutex_lock(&mutex);
设置条件为真
pthread_cond_signal(cond);
pthread_mutex_unlock(&mutex);

假设第一段用于消费者线程，第二段用于生产者线程。为什么消费者线程要用while 而不是if 就可以呢？在man pthread_cond_wait 有一句：If a signal is delivered to a thread waiting for a condition variable, upon return from the signal handler the thread resumes waiting for the condition variable as if it was not interrupted, or it shall return zero due to spurious wakeup.

即是说如果正在等待条件变量的一个线程收到一个信号，从信号处理函数返回的时候线程应该重新等待条件变量就好象没有被中断一样，或者被虚假地唤醒返回0。如果是上述情形，那么其实条件并未被改变，那么此时如果没有继续判断一下条件的真假就继续向下执行的话，修改条件将会出现问题，所以需要使用while 循环再判断一下，如果条件还是为假必须继续等待。

注：在多处理器系统中，pthread_cond_signal 可能会唤醒多个等待条件的线程，这也是一种spurious wakeup。