開發平台(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問題跟程式設計類的問題，能在這版問嗎？