为什么pthread_cond_wait需要传递mutex参数
2014-06-13 01:10
316 查看
这是来自知乎的一个问题,由@吴志强提出,有意思的是,他看了大家的回答后,突然顿悟了,同时也发现有人答错了,于是乎,他自己回答了自己的问题。我看完后,发现他分析的很精彩,于是就记录在这。下面是他的自答:
-----------------------------------------------------------------------------
看了之后,我获得了启发,突然觉得这或许是跟条件变量的通常用法有关。
首先需要明白两点:
wait()操作通常伴随着条件检测,如:
signal*()函数通常伴随着条件改变,如:
由于此两处都涉及到变量pass,所以为了防止Race Condition,必须得加锁。所以代码会变成下面这样:
然后,我们假设wait()操作不会自动释放、获取锁,那么代码会变成这样:
久而久之,程序员发现unlock, just_wait, lock这三个操作始终得在一起。于是就提供了一个pthread_cond_wait()函数来同时完成这三个函数。
另外一个证据是,signal()函数是不需要传递mutex参数的,所以关于mutex参数是用于同步wait()和signal()函数的说法更加站不住脚。
所以我的结论是:传递的mutex并不是为了防止wait()函数内部的Race
Condition!而是因为调用wait()之前你总是获得了某个mutex(例如用于解决此处pass变量的Race Condition的mutex),并且这个mutex在你调用wait()之前必须得释放掉,调用wait()之后必须得重新获取。
所以,pthread_cond_wait()函数不是一个细粒度的函数,却是一个实用的函数。
------------------------------------------------------------------------------------------------------------------------------------
-----------------------------------------------------------------------------
看了之后,我获得了启发,突然觉得这或许是跟条件变量的通常用法有关。
首先需要明白两点:
wait()操作通常伴随着条件检测,如:
[code]while(pass == 0) pthread_cond_wait(...);
signal*()函数通常伴随着条件改变,如:
[code]pass = 1;pthread_cond_signal(...)
由于此两处都涉及到变量pass,所以为了防止Race Condition,必须得加锁。所以代码会变成下面这样:
[code]// 条件测试
[code] pthread_mutex_lock(mtx);while(pass == 0) pthread_cond_wait(...);pthread_mutex_unlock(mtx); // 条件发生修改,对应的signal代码pthread_mutex_lock(mtx);pass = 1;pthread_mutex_unlock(mtx);pthread_cond_signal(...);
然后,我们假设wait()操作不会自动释放、获取锁,那么代码会变成这样:
[code]// 条件测试
[code] pthread_mutex_lock(mtx);while(pass == 0) { pthread_mutex_unlock(mtx); pthread_cond_just_wait(cv); pthread_mutex_lock(mtx);}pthread_mutex_unlock(mtx); // 条件发生修改,对应的signal代码pthread_mutex_lock(mtx);pass = 1;pthread_mutex_unlock(mtx);pthread_cond_signal(cv);
久而久之,程序员发现unlock, just_wait, lock这三个操作始终得在一起。于是就提供了一个pthread_cond_wait()函数来同时完成这三个函数。
另外一个证据是,signal()函数是不需要传递mutex参数的,所以关于mutex参数是用于同步wait()和signal()函数的说法更加站不住脚。
所以我的结论是:传递的mutex并不是为了防止wait()函数内部的Race
Condition!而是因为调用wait()之前你总是获得了某个mutex(例如用于解决此处pass变量的Race Condition的mutex),并且这个mutex在你调用wait()之前必须得释放掉,调用wait()之后必须得重新获取。
所以,pthread_cond_wait()函数不是一个细粒度的函数,却是一个实用的函数。
------------------------------------------------------------------------------------------------------------------------------------
相关文章推荐
- 为什么pthread_cond_wait需要传递mutex参数
- 为什么pthread_cond_wait需要互斥锁为参数
- 为什么pthread_cond_wait须要传递mutex參数
- 来自知乎的pthread_cond_wait为什么总是带着mutex
- 互斥锁pthread_mutex_t与pthread_cond_wait的使用
- 浅谈pthread_cond_wait(pthread_cond_t *cond,pthread_mutex_t *mutex)
- pthread_cond_wait与mutex、while
- int pthread_cond_wait(pthread_cond_t *restrict cond, pthread_mutex_t *restric mutex)
- 条件变量pthread_cond_wait(&g_cond,&mutex);
- pthread_cond_wait pthread_cond_broadcast pthread_mutex_lock
- SB了,pthread_cond_wait(),在等待的时候会解锁(阻塞之后,解锁mutex给别的线程),唤醒后加锁,
- 通过pthread_mutex_lock和pthread_cond_wait实现生产消费模式,并且生产一次消费一次
- 条件锁(条件Mutex)pthread_cond_wait、pthread_cond_signal、pthread_cond_broadcast的使用
- 一段使用 mutex 和 条件变量 pthread_cond_wait 的例子
- pthread_mutex_t,pthread_cond_wait
- 为什么线程同步的时候pthread_cond_t要和pthread_mutex_t同时使用
- man pthread_mutex_lock,man pthread_cond_wait没文档的解决办法
- pthread_cond_wait()加一个while为什么的解释
- ZT 为什么pthread_cond_t要和pthread_mutex_t同时使用 || pthread/Linux多线程编程
- linux 多线程 pthread_cond_wait(&cond,&mutex)理解