介绍
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(¬Empty, &mutex);
//模拟共享内存操作
}
pthread_mutex_lock(&mutex);
}
}
细节
1.pthread_cond_wait函数
比如说在上述代码pthread_cond_wait(¬Empty,&mutex);上如果还有代码块比如下面这样,可能有部分人认为在此时只会输出一句hello world!,直到该线程完成后解锁继续输出。其实就算该线程一直阻塞,别的线程也能输出,原因是pthread_cond_wait这个函数,在我们把mutex这个锁传进去之后会自动释放锁,因此可以多个线程都会输出,之后多个线程全部阻塞在pthread_cond_wait函数上直到别的线程pthread_cond_signal唤醒,被唤醒的线程又会重新获得mutex这把锁
while(taskQueue.empty())
{
cout<<"hello world!";
pthread_cond_wait(¬Empty,&mutex);
}
2.虚假唤醒
在学习的时候可能有部分人会疑问为什么不能直接用if判断taskQueue.empty(),这是不可取的,原因是,存在虚假唤醒的情况(在阻塞在pthread_cond_wait上的线程被pthread_cond_signal唤醒之前可能已经不满足执行的条件了,所以需要重新阻塞)
举个例子
假如但是生产者生产了一个物品,然后把消费者2唤醒,此时只需要一个消费者线程去消费,但是超市中的物品却被消费者1消费了,那把消费者2唤醒就属于虚假唤醒。