条件变量的if与while

此文是linux c++的一个程序，该程序要求是给定一个缓冲区，一个生产者，一个消费者，然后要求使用条件变量，互斥量来解决读写问题，其中有个重要的知识点就是，使用信号量的时候，如何保证线程安全，如果有一个生产者，多个消费者，这种情况下，条件变量wait地方就应该使用while，而非if，如果是单生产单消费，则可以用if。具体解释见代码注释

/* ex7-4.c */
#include <stdio.h>
#include <pthread.h>
#define BUFFER_SIZE 4
#define OVER (-1)
struct producers
{
    int buffer[BUFFER_SIZE];
    pthread_mutex_t lock;
    int readpos, writepos;
    pthread_cond_t notempty;
    pthread_cond_t notfull;
};


void init(struct producers *b)
{
    pthread_mutex_init(&b->lock,NULL);
    pthread_cond_init(&b->notempty,NULL);
    pthread_cond_init(&b->notfull,NULL);
    b->readpos=0;
    b->writepos=0;
}


void put(struct producers *b, int data)
{
    pthread_mutex_lock(&b->lock);
    while((b->writepos+1)%BUFFER_SIZE==b->readpos)
    {
        pthread_cond_wait(&b->notfull,&b->lock);
    }


    b->buffer[b->writepos]=data;
    b->writepos++;
    if(b->writepos>=BUFFER_SIZE) b->writepos=0;
    pthread_cond_signal(&b->notempty);
    pthread_mutex_unlock(&b->lock);
}


int get(struct producers *b)
{
    int data;
    pthread_mutex_lock(&b->lock);
    while(b->writepos==b->readpos)
    {  
       //此处为何是一个while 而不是if，假设现在一个生产者写了一个单位，而且广播给两个消费者，这时候，两个消费者wait都被返回，都被唤醒，假如第一个消费者率先拿到，这时候writepos==readpos，下面该第二个消费者去拿，这时候就会越过writepos访问，导致问题，所以这里，第二个消费者在wait被唤醒后，会继续执行while判断writepos和readpos，发现这两个还是保持相等状态，则第二个消费者就要继续wait
        pthread_cond_wait(&b->notempty,&b->lock);
    }
    data=b->buffer[b->readpos];
    b->readpos++;
    if(b->readpos>=BUFFER_SIZE) b->readpos=0;
    pthread_cond_signal(&b->notfull);
    pthread_mutex_unlock(&b->lock);
    return data;
}


struct producers  buffer;

void *producer(void *data)
{
    int n;
    for(n=0;n<10;n++)
    {
    printf("Producer : %d-->\n",n);
    put(&buffer,n);
    }
    put(&buffer,OVER);
    return NULL;
}


void *consumer(void *data)
{
    int d;
    while(1)
    {
    d=get(&buffer);
    if(d==OVER) break;
    printf("Consumer: --> %d\n",d);
    }
    return NULL;
}


int main()
{
    pthread_t tha,thb;
    void *retval;
    init(&buffer);
    pthread_create(&tha,NULL,producer,0);
    pthread_create(&thb,NULL,consumer,0);
    pthread_join(tha,&retval);
    pthread_join(thb,&retval);
    return 0;


}