Stevens的《Unix 环境高级编程》中第11章线程关于pthread_cond_wait的介绍中有一个生产者-消费者的例子P311， 在进入pthread_cond_wait前使用while进行条件判断，而没有直接使用if,耐人费解！
代码如下： #include <pthread.h> struct msg { struct msg *m_next; /* value...*/ }; struct msg* workq; pthread_cond_t qready = PTHREAD_COND_INITIALIZER; pthread_mutex_t qlock = PTHREAD_MUTEX_INITIALIZER; void process_msg() { struct msg* mp; for (;;) { pthread_mutex_lock(&qlock); while (workq == NULL) { pthread_cond_wait(&qread, &qlock); } mq = workq; workq = mp->m_next; pthread_mutex_unlock(&qlock); /* now process the message mp */ } } void enqueue_msg(struct msg* mp) { pthread_mutex_lock(&qlock); mp->m_next = workq; workq = mp; pthread_mutex_unlock(&qlock); /** 此时另外一个线程在signal之前，执行了process_msg,刚好把mp元素拿走*/ pthread_cond_signal(&qready); /** 此时执行signal, 在pthread_cond_wait等待的线程被唤醒， 但是mp元素已经被另外一个线程拿走，所以，workq还是NULL ,因此需要继续等待*/ }这里process_msg相当于消费者，enqueue_msg相当于生产者，struct msg* workq作为缓冲队列
当线程正处于pthread_cond_wait等待时，pthread_cond_signal信号发送，若是if话，则直接执行pthread_cond_wait下面的程序 ，若是while的话，继续对条件重新判断。
假设有两个线程（我就用伪代码了）：//thread 1while(0<x<10) pthread_cond_wait();//I//thread 2while(5<x<15) pthread_cond_wait();//II如果某段时间内 x == 8，那么两个线程相继进入等待。thread 1停留在I处等待phtread_cond_signal到来 thread 2停留在II处等待phtread_cond_signal到来然后，另一个线程3：修改x：x = 12 然后执行了 phtread_cond_signal()如果while都换成if的话，那么线程1、2都被唤醒了，但是，此时x=12，应该线程1继续等待才对，换成while的话 就可避免了
