pthread庫的條件變量示例

Question

我正在嘗試熟悉pthread庫。現在我正在閱讀有關條件變量（pthread_cond_t），所以我有一個關於它如何工作的問題。

我發現一些使用pthread_cond_t結構的簡單示例的源代碼（在這裏回答https://stackoverflow.com/a/525841/3008684和示例4-8有https://docs.oracle.com/cd/E19455-01/806-5257/6je9h032r/index.html）。它看起來像這樣：

pthread_mutex_t count_lock; 
pthread_cond_t count_nonzero; 
unsigned count; 

decrement_count() 
{ 
    pthread_mutex_lock(&count_lock); 
    while (count == 0) 
     pthread_cond_wait(&count_nonzero, &count_lock); 
    count = count - 1; 
    pthread_mutex_unlock(&count_lock); 
} 

increment_count() 
{ 
    pthread_mutex_lock(&count_lock); 
    if (count == 0) 
     pthread_cond_signal(&count_nonzero); 
    count = count + 1; 
    pthread_mutex_unlock(&count_lock); 
} 

正如你可以看到在這兩種方法中使用相同的count_lock對象。我的問題是爲什麼它不會導致僵局？ 想象一個簡單的情況：

1. 數等於零
2. decrement_count被稱爲現在count_lock被鎖定
如果計數大於零
3. increment_lock被稱作但受阻作爲count_lock
4. count_lock將被解鎖此刻被鎖定
5. 死鎖???

在此先感謝您的任何解釋！

Answer 1

1st google result for pthread_cond_wait說明該函數將釋放對互斥鎖的鎖定並在條件發出後自動恢復。