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