开发平台(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问题跟程式设计类的问题，能在这版问吗？