谈谈对unix线程同步方法（条件变量）的理解

条件变量是一种机制，它允许线程等待某些事件的发生。几个线程可以等待同一个条件变量直到其他线程激活该条件变量为止，这类似于发送一个通知。

条件变量需要由互斥量来保护，线程在改变条件状态前必须先锁住互斥量。

典型的“条件变量”使用方法如下：

// 线程1代码
pthread_mutex_lock(&mutex);

设置条件为true
pthread_mutex_unlock(&mutex);
pthread_cond_signal(&cond);//注意：先解锁再发信号

// 线程2(或者更多，线程3、4...... 等等)代码
pthread_mutex_lock(&mutex);
while (条件为false)
    pthread_cond_wait(&cond, &mutex);
修改该条件
pthread_mutex_unlock(&mutex);

对于线程2的代码理解有几个难点：

（1）为什么要在   pthread_cond_wait函数前加入while?

要解答这个问题之前，首先需要理解 pthread_cond_wait。函数原型:

int pthread_cond_wait(pthread_cond_t * restrict cond, pthread_mutex_t * restrict mutex)

传递给pthread_cond_wait的互斥量对条件进行保护，调用者把锁住的互斥量传给函数。函数把调用线程放到等待条件的线程列表上，然后对互斥量进行解锁，然后线程进入休眠状态，这几个操作是原子操作。该原子操作杜绝了在互斥量解锁后，线程1将条件设置为真（发送信号），线程2却将它遗漏的可能性。于是线程2处于漫漫的等待中，期待收到信号。在线程1的代码中可以看到是先对互斥量解锁再发信号，那么在解锁后，就存在有线程3或者线程4将条件重新设置为false的可能性。等线程1发送信号后，线程2被唤醒，同时对互斥量加锁并返回。但不幸的是，此时它将发现条件仍旧为false，需要继续等待。

（2）为什么线程2要在一开始加入pthread_mutex_lock函数？

防止在执行while (条件为false)语句时，错过条件的变化。

但本文遗留了一个问题，假如在线程1中先发信号再解锁，是不是就不用加while来循环判断了？