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

来源：互联网发布：网络漫画助手兼职编辑：程序博客网时间：2024/05/12 00:35

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;voidprocess_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 */  }}voidenqueue_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的话 就可避免了

0 0