Linux条件变量pthread_cond_wait函数为什么需要一个互斥锁

条件等待是线程间同步的一种手段,如果只是一个线程,条件不满足,那么会一直等待,造成死等。所以需要另外的线程改变条件,显然这个条件是共享变量,需要被保护。所以需要互斥锁来保护条件的改变,所以可以设计出一下代码:

pthread_mutex_lock(&mutex);
while(条件错误){
    pthread_mutex_unlock(&mutex);
    pthread_cond_wait(&cond);
    pthread_mutex_unlock(&mutex);
}
///其他操作
pthread_mutex_unlock(&mutex);

为什么使用while循环?就是怕发生虚假唤醒。

1. 首先整个while整体都是一个临界区,所以需要受到锁的保护。

2.在wait阻塞之前进行解锁就是为了其他线程也可以进来while循环。

3.wait阻塞会吧线程加入等待队列,等待signal信号才可以继续向下执行。

4. 如果线程获取了信号,继续上锁,就是为了防止多个线程操作临界区。

5.最后条件满足解锁。

但是上述存在一个严重问题就是在wait之前,解锁之后可能中间过程恰好产生了signal信号,造成wait错过了信号。所以需要保证解锁、wait和加锁是一个原子操作。所以在wait函数上多了一个互斥锁。

//正确互斥锁使用代码:

pthread_mutex_lock(&mutex);
while(false){
    pthread_wait(&cond,&mutex);
}
//其他操作
pthread_mutex_unlock(&mutex);


 

  • 0
    点赞
  • 4
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 2
    评论
评论 2
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

weixin_41318405

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值