开发平台(Platform): Linux
编译器 GCC
额外使用到的函数库(Library Used): pthread
问题(Question)：
今天刚好在研究critical section以及pthread的CV，他必须搭配mutex lock才能运作。
我看网络的文章，都说当thread进到pthread_cond_wait()时，
会先卡在这里并释放lock，可以透过其他thread呼叫signal或是broadcast再度唤醒。
同时也有人提到signal是保证不少于一个blocked cond被唤醒，所以建议把if变成while。
这边我困惑的点在于：
如下面程式，假设t1~t4现在都执行到wait阶段，若t5呼叫了signal或是broadcast，
导致t1~t4都收到了讯号，当t5释放lock后，是t1~t4都直接自由吗？
还是说此时只会有一个thread自由 (抢到lock?)，直到lock再度被释放？
程式码(Code)：
x = 0;
y = 0;
// t1, t2, t3, t4
consumer(){
pthread_mutex_lock(&mut);
while (x <= y) {
pthread_cond_wait(&cond, &mut);
}
y++;
/* operate on x and y */
pthread_mutex_unlock(&mut);
}
// t5
producer(){
pthread_mutex_lock(&mut);
/* modify x and y */
x += 2;
if (x > y) {
// pthread_cond_signal(&cond);
pthread_cond_broadcast(&cond);
}
pthread_mutex_unlock(&mut);
}
另外想请教一下，OS问题跟程式设计类的问题，能在这版问吗？

mutex同时间只能被一个执行绪拥有, 先后顺序不保证

所以wait呼叫后应该是类似condition+lock的感觉？

也可以发八卦板钓jserv回答

你原文里不就写了cond_wait会释放...

我回文的意思是释放之后，除了要等待cond，也要等待lock

相关manpage可以参考一下，最有权威的文件。所有执行绪都会被叫醒(如果已经开始等待)，但醒来后大家会竞争对应lock，只有抢赢的执行绪可以离开wait。关于你的留言，没错，wait里面确实会再次尝试抢lock。