瞭解 pthread_cond_wait() 的作用非常重要 -- 它是 POSIX 線程訊號發送系統的核心,也是最難以理解的部分。
首先,讓我們考慮以下情況:線程為查看已連結清單而鎖定了互斥對象,然而該列表恰巧是空的。這一特定線程什麼也幹不了 -- 其設計意圖是從列表中除去節點,但是現在卻沒有節點。因此,它只能:
鎖定互斥對象時,線程將調用 pthread_cond_wait(&mycond,&mymutex)。pthread_cond_wait() 調用相當複雜,因此我們每次只執行它的一個操作。
pthread_cond_wait() 所做的第一件事就是同時對互斥對象解鎖(於是其它線程可以修改已連結清單),並等待條件 mycond 發生(這樣當 pthread_cond_wait() 接收到另一個線程的“訊號”時,它將蘇醒)。現在互斥對象已被解鎖,其它線程可以訪問和修改已連結清單,可能還會添加項。 【要求解鎖並阻塞是一個原子操作】
此時,pthread_cond_wait() 調用還未返回。對互斥對象解鎖會立即發生,但等待條件 mycond 通常是一個阻塞操作,這意味著線程將睡眠,在它蘇醒之前不會消耗 CPU 週期。這正是我們期待發生的情況。線程將一直睡眠,直到特定條件發生,在這期間不會發生任何浪費 CPU 時間的繁忙查詢。從線程的角度來看,它只是在等待 pthread_cond_wait() 調用返回。
現在繼續說明,假設另一個線程(稱作“2 號線程”)鎖定了 mymutex 並對已連結清單添加了一項。在對互斥對象解鎖之後,2 號線程會立即調用函數 pthread_cond_broadcast(&mycond)。此操作之後,2 號線程將使所有等待 mycond 條件變數的線程立即蘇醒。這意味著第一個線程(仍處於 pthread_cond_wait() 調用中)現在將蘇醒。
現在,看一下第一個線程發生了什麼。您可能會認為在 2 號線程調用 pthread_cond_broadcast(&mymutex) 之後,1 號線程的 pthread_cond_wait() 會立即返回。不是那樣!實際上,pthread_cond_wait() 將執行最後一個操作:重新鎖定 mymutex。一旦 pthread_cond_wait() 鎖定了互斥對象,那麼它將返回並允許 1 號線程繼續執行。那時,它可以馬上檢查列表,查看它所感興趣的更改。
停止並回顧!
那個過程非常複雜,因此讓我們先來回顧一下。第一個線程首先調用:
pthread_mutex_lock(&mymutex);
然後,它檢查了列表。沒有找到感興趣的東西,於是它調用:
pthread_cond_wait(&mycond, &mymutex);
然後,pthread_cond_wait() 調用在返回前執行許多操作:
pthread_mutex_unlock(&mymutex);
它對 mymutex 解鎖,然後進入睡眠狀態,等待 mycond 以接收 POSIX 線程“訊號”。一旦接收到“訊號”(加引號是因為我們並不是在討論傳統的 UNIX 訊號,而是來自 pthread_cond_signal() 或 pthread_cond_broadcast() 調用的訊號),它就會蘇醒。但 pthread_cond_wait() 沒有立即返回 -- 它還要做一件事:重新鎖定 mutex:
pthread_mutex_lock(&mymutex);
pthread_cond_wait() 知道我們在尋找 mymutex “背後”的變化,因此它繼續操作,為我們鎖定互斥對象,然後才返回。