线程同步3:条件变量

条件变量

条件变量是另一种同步机制,条件变量给了多个线程提供一个会合的场所,条件变量与互斥量一起使用,允许线程以无竞争的方式等待特定的条件发生。

条件变量是利用线程间共享的全局变量进行同步的一种机制,主要包括两个动作:
【1】一个线程等待"某条件成立"而挂起。
【2】另一个线程使"某条件成立"(给出条件成立信号)。

条件本身是由互斥量保护,线程在改变条件状态之前必须首先锁住互斥量,其他线程在获得互斥量之前不会察觉到这种改变,因为互斥量必须在锁定以后才能计算条件。

初始化与销毁
#include <pthread.h>

int pthread_cond_init(pthread_cond_t *restrict cond, 
                      const pthread_condattr_t *restrict attr)
    函数返回值:若成功,返回0;否则,返回错误编号

int pthread_cond_destroy(pthread_cond_t *cond)  
    函数返回值:若成功,返回0;否则,返回错误编号

条件变量由 pthread_cond_t 数据类型表示,可以用2种方式初始化:可以把常量PTHREAD_COND_INITIALIZER赋给静态分配的条件变量。但是如果条件变量是动态分配的,则需要使用pthread_cond_init 函数对它进行初始化。

只有在没有线程在该条件变量上等待的时候才能注销这个条件变量,否则返回EBUSY

阻塞
#include <pthread.h>

int pthread_cond_wait(pthread_cond_t *restrict cond, 
                      pthread_mutex_t *restrict mutex)
    函数返回值:成功返回0,否则,返回错误编号。

int pthread_cond_timedwait(pthread_cond_t *restrict cond,
                           pthread_mutex_t *restrict mutex, 
                           const struct timespec *restrict tsptr);
    函数返回值:成功返回0,否则,返回错误编号。

pthread_cond_wait函数 和 pthread_cond_timedwait函数 用于阻塞当前线程,等待别的线程使用pthread_cond_signalpthread_cond_broadcast 来唤醒它。

传递给pthread_cond_wait的互斥量对条件进行保护,调用者把锁住的互斥量传递给函数,然后自动把调用线程放到等待条件的线程列表上,再对互斥量解锁。这就关闭了条件检查 和 线程进入休眠状态等待条件改变
这两个操作之间的时间通道,这样线程就不会错过条件的任何变化。pthread_cond_wait返回时,互斥量再次被锁住。

pthread_cond_timedwaitpthread_cond_wait 相比只是多了一个超时,如果在给定时刻前条件没有满足,则返回ETIMEOUT结束等待。注意这个超时是一个绝对值,而不是相对值。假设需要等待3分钟,那么要把当前时间加上3分钟再转换成 timespec 结构:

无论哪种等待方式,都必须和一个互斥锁配合,以防止多个线程同时请求pthread_cond_wait

唤醒
#include <pthread.h>

int pthread_cond_signal(pthread_cond_t *cond)
    函数返回值:成功返回0,否则,返回错误编号

int pthread_cond_broadcast(pthread_cond_t *cond)
    函数返回值:成功返回0,否则,返回错误编号

2个函数用于通知被阻塞的线程"条件"已经满足:
pthread_cond_signal函数的作用是发送一个信号给另外一个正在处于阻塞状态的线程,使其脱离阻塞状态,继续执行,如果没有线程处在阻塞等待状态,pthread_cond_signal也会成功返回。
pthread_cond_broadcast函数能唤醒等待该条件的所有线程。

broadcast通常用于表名状态变化,signal通常用于资源可用。

惯用法
// 线程A,条件测试
pthread_mutex_lock(&mtx);
while (pass == 0) {
     pthread_cond_wait(&cond, &mtx);   
}
pthread_mutex_unlock(&mtx);

// 线程B,条件发生修改,对应的singnal代码
pthread_mutex_lock(&mtx);
pass = 1;
pthread_mutex_unlock(&mtx);
pthread_cond_signal(&cond);

pthread_cond_wait 必须放在 pthread_mutex_lock 和 pthread_mutex_unlock之间。因为它要根据共享变量的状态来决定是否要等待, 而为了不永远等待下去所以必须在lock和unlock中间。

消费者生产者队列
  • 消费者生产者的顺序问题

  • 虚假唤醒
    在多核处理器下,pthread_cond_signal可能会激活多于一个线程(阻塞在条件变量上的线程)。结果就是,当一个线程调用pthread_cond_signal后,多个调用pthread_cond_waitpthread_cond_timedwait的线程返回,这种效应就称为“虚假唤醒”。
    如果用 if 判断,多个等待线程在满足 if 条件时都会被唤醒(虚假的),但实际上条件并不满足,生产者生产出来的消费品已经被第一个线程消费了。
    这就是我们使用 while 去做判断而不是使用 if 的原因:因为等待在条件变量上的线程被唤醒有可能不是因为条件满足而是由于虚假唤醒。所以,我们需要对条件变量的状态进行不断检查直到其满足条件,不仅要在pthread_cond_wait前检查条件是否成立,在 pthread_cond_wait 之后也要检查。

思考题:3个线程顺序打印"ABC"

参考资料
[1]《UNIX环境高级编程》[美] W. Richard Stevens Stephen A. Rago
[2] http://blog.csdn.net/leeds1993/article/details/52738845
[3] https://www.zhihu.com/question/24116967

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 211,639评论 6 492
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 90,277评论 3 385
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 157,221评论 0 348
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 56,474评论 1 283
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 65,570评论 6 386
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 49,816评论 1 290
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 38,957评论 3 408
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 37,718评论 0 266
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,176评论 1 303
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,511评论 2 327
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,646评论 1 340
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,322评论 4 330
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 39,934评论 3 313
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,755评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 31,987评论 1 266
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 46,358评论 2 360
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 43,514评论 2 348

推荐阅读更多精彩内容