pthread_cond_wait

介绍

pthread_cond_wait 是一个阻塞函数，它会将当前线程放入条件变量的等待队列中，并自动释放与之关联的互斥锁。当条件变量被其他线程用 pthread_cond_signal 或 pthread_cond_broadcast 唤醒后，pthread_cond_wait 会自动重新获取互斥锁，然后再返回。

这个机制可以避免死锁，并确保线程在等待条件时不会阻塞其他线程对互斥锁的访问。然而，使用 pthread_cond_wait 时要注意以下几个方面，以避免潜在的死锁和竞态条件。

测试代码

void* consumer(void* arg) {
    while (true) {
        pthread_mutex_lock(&mutex);

        while (taskQueue.empty()) {
            pthread_cond_wait(&notEmpty, &mutex);

            //模拟共享内存操作

             
        }

            pthread_mutex_lock(&mutex);

    }
}

 

细节

1.pthread_cond_wait函数

比如说在上述代码pthread_cond_wait(&notEmpty,&mutex);上如果还有代码块比如下面这样，可能有部分人认为在此时只会输出一句hello world!，直到该线程完成后解锁继续输出。其实就算该线程一直阻塞，别的线程也能输出，原因是pthread_cond_wait这个函数，在我们把mutex这个锁传进去之后会自动释放锁，因此可以多个线程都会输出，之后多个线程全部阻塞在pthread_cond_wait函数上直到别的线程pthread_cond_signal唤醒，被唤醒的线程又会重新获得mutex这把锁

while（taskQueue.empty()）
{
cout<<"hello world！";
pthread_cond_wait(&notEmpty,&mutex);
}

2.虚假唤醒

在学习的时候可能有部分人会疑问为什么不能直接用if判断taskQueue.empty()，这是不可取的，原因是，存在虚假唤醒的情况(在阻塞在pthread_cond_wait上的线程被pthread_cond_signal唤醒之前可能已经不满足执行的条件了，所以需要重新阻塞)

举个例子

假如但是生产者生产了一个物品，然后把消费者2唤醒，此时只需要一个消费者线程去消费，但是超市中的物品却被消费者1消费了，那把消费者2唤醒就属于虚假唤醒。