pthread_cond_signal虚假唤醒(spurious wakeup)

转载 2015年11月20日 21:03:54

原文链接 : http://computer.uoh.edu.cn/c/9412.html , 请多多支持原作者.谢谢!!!

另推荐阅读 : http://blog.csdn.net/pi9nc/article/details/37043123#comments

虚假唤醒

最近在使用Linux条件变量的时候,经过反复测试发现,pthread_cond_signal有时候会唤起多个正在pthread_cond_wait的线程。后来通过查阅IEEE Std 1003.1, 2004中关于pthread_cond_signal虚假唤醒(spurious wakeup)的解释如下:


On a multi-processor, it may be impossible for an implementation of pthreadcondsignal() to avoid the unblocking of more than one thread blocked on a condition variable.

根据这个解释,在多处理器系统上,pthread_cond_signal是很有可能唤醒多个pthread_cond_wait()的线程。也就意味着当一个线程中,pthread_cond_wait()返回的时候,不一定代表条件已经满足了,需要在程序中做额外的判断来检测是否真的已经满足条件了:

1 pthread_mutex_lock(&lock);
2 while (condition_is_false) {
3 pthread_cond_wait(&cond, &lock);
4 }
5 pthread_mutex_unlock(&lock);

事实上,IEEE Std 1003.1, 2004中有提到,虚假唤醒(spurious wakeup)是被允许的,而且鼓励程序开发者在pthread_cond_wait()返回的时候对条件进行重新检查,只有在条件满足的情况下才继续往下执行,否则就需要继续等待了。

关于多处理器系统出现虚假唤醒(sprious wakeup)的原因,我的理解是因为多处理器上,多线程共享的数据需要在多核处理器上cache进行更新和拷贝的原因。关于多核多线程请参考《利用多核多线程进行程序优化》

消息遗漏

对于pthread_cond_signal或者pthread_cond_broadcast来说,除了需要在pthread_cond_wait()返回的时候,重新对条件进行检查和评估以外,还有一件事情就是需要解决消息遗漏的问题。

根据pthread_cond_wait的定义,需要在pthread_cond_wait调用前后必须进行加锁和解锁操作。原因是因为如果在一个线程调用pthread_cond_wait的过程中但未进入block状态,此时有线程调用了pthread_cond_signal或者pthread_cond_broadcast,那么此次消息将被遗漏掉,因为没有任何线程在pthread_cond_wait的block状态。在pthread_cond_wait的实现内部,首先会解锁,然后进入block状态,解锁和进入block必须合并成一个原子操作,这样就保证了在pthread_cond_wait之后调用的pthread_cond_signal不会被以后掉。

但是对于多线程来说,pthread_cond_wait不能保证一定在pthread_cond_signal之后执行,也就意味着,当pthread_cond_wait进入block之后,已经错过了pthread_cond_signal。因为已经错过了pthread_cond_signal,很有可能会导致该线程永远block下去。通常这类问题的解决办法是设置一个pthread_cond_signal或者pthread_cond_broadcast的计数器count,在调用pthread_cond_wait之前先对这个count进行判断,如果count != 0 则说明已经错过了消息,可以不用等待,直接往下执行即可:

1 if (!count) {
2 pthread_mutex_lock(&lock);
3 while (condition_is_false) {
4 pthread_cond_wait(&cond, &lock);
5 }
6 pthread_mutex_unlock(&lock);
7 }

多线程编程中条件变量和虚假唤醒(spurious wakeup)的讨论

多线程编程中条件变量和虚假唤醒的讨论  1. 概述  条件变量(condition variable)是利用共享的变量进行线程之间同步的一种机制。典型的场景包括生产者-消费者模型,线程池实现等...
  • gao1440156051
  • gao1440156051
  • 2016年08月01日 23:10
  • 777

spurious wakeup虚假唤醒(待总结)

看过apue大家都知道互斥器用于排他性的访问共享数据而不是等待原语,如果需要等待某个条件发生需要用条件 变量。而当用条件变量的时候需要检查某个布尔表达式是否为真,进行这项检查的时候需要互斥器来保护,所...
  • liutianshx2012
  • liutianshx2012
  • 2015年07月17日 16:44
  • 686

面试常考点:虚假唤醒 Spurious wakeup

https://en.wikipedia.org/wiki/Spurious_wakeup Spurious wakeup describes a complication in the use ...
  • fycy2010
  • fycy2010
  • 2015年08月01日 15:35
  • 439

多线程中的条件变量和虚假唤醒(Spurious wakeup)

http://siwind.iteye.com/blog/1469216 多线程编程中条件变量和虚假唤醒的讨论  1. 概述  条件变量(condition variable)是利用共享...
  • zhangxiao93
  • zhangxiao93
  • 2016年07月01日 15:14
  • 403

多线程编程中条件变量和虚假唤醒(spurious wakeup)的讨论

http://siwind.iteye.com/blog/1469216 多线程编程中条件变量和虚假唤醒的讨论  1. 概述  条件变量(condition variable)是利用共享...
  • wusoule
  • wusoule
  • 2013年08月05日 23:07
  • 1428

多线程编程中条件变量和虚假唤醒(spurious wakeup)的讨论

多线程编程中条件变量和虚假唤醒的讨论  1. 概述  条件变量(condition variable)是利用共享的变量进行线程之间同步的一种机制。典型的场景包括生产者-消费者模型,线程池实现等...
  • yinqingwang
  • yinqingwang
  • 2016年10月17日 20:56
  • 280

多线程编程中的条件变量和虚假唤醒(spurious wakeup)

多线程编程中的条件变量和虚假唤醒(spurious wakeup) 1. 概述  条件变量(condition variable)是利用共享的变量进行线程之间同步的一种机制。典型的场景包括生产者-...
  • chenglinhust
  • chenglinhust
  • 2013年06月13日 20:20
  • 1224

多线程编程中条件变量和虚假唤醒(spurious wakeup)的讨论

多线程编程中条件变量和虚假唤醒的讨论 1. 概述 条件变量(condition variable)是利用共享的变量进行线程之间同步的一种机制。典型的场景包括生产者-消费者模型,线程池实现等。 ...
  • simanstar
  • simanstar
  • 2017年01月04日 18:08
  • 261

Linux 2. 关于pthread_cond_signal 唤醒两个线程的问题

这里贴出一个非常经典的关于多线程条件变量互斥锁的案例,即生产消费者模型。 我想说的是这里的while循环判断pthread_cond_wait,为何不能使用if的问题。 根据man查询到pthread...
  • huiwuhuiwu
  • huiwuhuiwu
  • 2017年06月05日 10:20
  • 571

多线程编程中条件变量和虚假唤醒(spurious wakeup)的讨论

概述 条件变量(condition variable)是利用共享的变量进行线程之间同步的一种机制。典型的场景包括生产者-消费者模型,线程池实现等。 对条件变量的使用包括两个动作: 1) ...
  • pingguonjb
  • pingguonjb
  • 2015年06月07日 20:00
  • 332
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:pthread_cond_signal虚假唤醒(spurious wakeup)
举报原因:
原因补充:

(最多只允许输入30个字)