Windows同步物件Event和Linux的條件變數
最近在看一些同步物件模擬的東東,特別對在Windows下如何模擬條件變數折騰了很久。
1 Windows同步物件Event
微軟有一個很有意思的同步物件,某種程度上和Linux的條件變數很相似。但秉承微軟一貫的作風,有些地方設計的又有點怪異。Event通過函式CreateMutex建立,可以分為手動模式和自動模式兩種模式,兩種模式下表現迥異。和其他同步物件一樣,在WaitForSingleObject或者WaitForMultipleObjects等待激發。激發(取消激發)法有3個函式SetEvent,ResetEvent,PulseEvent根據模式不同給出說明如下表:
自動模式 |
手動模式 |
|
SetEvent |
放過一個等待執行緒, 將Event調為激發態,放過一個等待執行緒,而後自動調回非激發態 |
一直放過等待 將Event調為激發態, |
ResetEvent |
無用 |
停止放過執行緒 將Event調為非激發態 |
PulseEvent |
一次放過一個等待的執行緒,在這種模式下等同與SetEvent |
放過所有的等待的執行緒一次, 將Event調為激發態,放過所有的等待的執行緒一次,然後調回非激發態 |
所以綜合看來大致看來Event大致有幾種使用模式,
自動模式下的WaitForSingleObject + SetEvent,(幹一件事後)開一次們放過一個。
手段模式下的WaitForSingleObject + SetEvent + ResetEvent,SetEvent後開啟大門,放一批人進來,然後用ResetEvent手動關閉大門。
手段模式下的WaitForSingleObject + PulseEvent ,(幹一件事後),廣播給所有等在門外的人,讓他們進來。
其實你把這些功能組合起來看,Event這是個很有意思的東東而且萬分強大,某種程度也滿足了我們很多同步的需求。
2 Linux(UNIX)的條件變數Condition Variable
條件變數是一個更加複雜的東東,他在等待的基礎上又糅合了等待條件。條件變數的物件用函式初始化,在pthread_cond_wait函式上等待,pthread_cond_signal激發後,解除一個等待執行緒的阻塞,pthread_cond_broadcast廣播解除所有等待執行緒的阻塞(一次)。
3 兩者的相似之處
看了上面的說明,應該可以發現Windows的Event和pthread的條件變數很像,
某種程度上,自動模式Event的SetEvent很像條件變數的pthread_cond_signal,手動模式的Event的PulseEvent很像廣播pthread_cond_broadcast,
但你要直接拿Event來模擬條件變數又不行了,為啥。因為你不可能讓一個Event物件同時擁有手動觸發和自動觸發模式,你奈他何。也許如果微軟把PulseEvent在手動模式的功能放到自動模式,會讓大家移植的時候更加舒服一點。
關於條件變數在Windows的模擬,如果大家有興趣而且有關心一下ACE或者pthread-win32或者BOOST(BOOST是學習pthread-win32的),但要看懂的pthread-win32模擬實在是一個蛋疼的事情。
而因為一般情況下大家也不會混用pthread_cond_broadcast和pthread_cond_signal,所以實現一個簡單一點的模擬是不是更好一點?
(自己後面的模擬發現Event用於模擬條件變數還是有一定的麻煩的,後面專門