条件变量：pthread_cond_wait使用while循环判断的理解

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 1
while(0<x<10)
    pthread_cond_wait();//I

//thread 2
while(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的话 就可避免了