spurious wakeup虚假唤醒(待总结)
2015-07-17 16:44
363 查看
看过apue大家都知道互斥器用于排他性的访问共享数据而不是等待原语,如果需要等待某个条件发生需要用条件变量。而当用条件变量的时候需要检查某个布尔表达式是否为真,进行这项检查的时候需要互斥器来保护,所以此时互斥器和条件变量联合起来用于同步。
互斥器和条件变量用法如下:pthread_mutex_lock(&lock); while (condition_is_false) { pthread_cond_wait(&cond, &lock); }
上面那个while能换成if吗?答案是不能,否则会导致spurious wakeup虚假唤醒。因为不仅要在pthread_cond_wait
前要检查条件是否成立,在pthread_cond_wait之后也要检查。因为pthread_cond_wait不仅能被
pthread_cond_signal/pthread_cond_broadcast唤醒,而且还会被其它信号唤醒,后者就是虚假唤醒。
linux的pthread_cond_wait是用futex系统调用,这个是慢速系统调用,看过apue知道任何慢速系统调用被信号打断
的时候会返回-1,并且把errno置为EINTR,如果慢速系统调用的重启功能被关闭,需要在调用该系统调用的地方手动
重启它,像下面这样:
while (1) { int ret = syscall(); if (ret < 0 && errno == EINTR) continue; else break; }
但是futex不能这么用,因为futex结束后到再次重启这个过程有个时间窗,在这个窗口内可能发生了
pthread_cond_signal/phread_cond_broadcast,如果发生这种情况,再进行pthread_cond_wait的时候就错过了一次
条件变量的变化,就会无限等待下去。但是如果不像上面那样写又无法重启futex系统调用,咋整呢?这就回到了上面
检查布尔条件的时候为什么用while而不用if。
用while不会因为虚假唤醒而错过phread_cond_signal/pthread_cond_broadcast,而且在通过判断while条件不成立
检测出此次唤醒为虚假唤醒并继续调用futex继续等待.
相关文章推荐
- fiddler进行弱网测试
- https://github.com/Bilibili/ijkplayer
- IOS中的深拷贝与浅拷贝
- 算法的封装与切换——策略模式(Stragety Pattern)
- 单例设计模式及内存划分
- 运维资料汇总
- Java client 访问 memcached
- 状态机思路在程序设计中的应用
- leetCode 70.Climbing Stairs (爬楼梯) 解题思路和方法
- 新开了微博,小伙伴们可以关注下哦
- java 并发多线程异步
- Java client 访问 memcached
- Xmpp integration with Asterisk
- (转) Android平台上关于IM的实践总结
- 4、iOS传值的方法-Notifaction反向传值
- 收藏网站22
- java模拟http请求
- AsyncTask分析
- 网站收藏23
- 做一个正气的西华人