轉:windows下Critical Section、Event、Mutex、Semaphores區別 收


引用自:http://hi.baidu.com/blackfox1983/blog/item/23af4b51307d8b2142a75b9e.html

臨界區(Critical Section)

    保證在某一時刻只有一個線程能訪問數據的簡便辦法。在任意時刻只允許一個線程對共享資源進行訪問。如果有多個線程試圖同時訪問臨界區,那麼在有一個線程進 入後其他所有試圖訪問此臨界區的線程將被掛起,並一直持續到進入臨界區的線程離開。臨界區在被釋放後,其他線程可以繼續搶佔,並以此達到用原子方式操作共 享資源的目的。

 

    臨界區包含兩個操作原語: EnterCriticalSection() 進入臨界區 LeaveCriticalSection() 離開臨界區

    EnterCriticalSection()語句執行後代碼將進入臨界區以後無論發生什麼,必須確保與之匹配的 LeaveCriticalSection()都能夠被執行到。否則臨界區保護的共享資源將永遠不會被釋放。在使用臨界區時,一般不允許其運行時間過長, 只要進入臨界區的線程還沒有離開,其他所有試圖進入此臨界區的線程都會被掛起而進入到等待狀態,並會在一定程度上影響。程序的運行性能。尤其需要注意的是 不要將等待用戶輸入或是其他一些外界干預的操作包含到臨界區。如果進入了臨界區卻一直沒有釋放,同樣也會引起其他線程的長時間等待。換句話說,在執行了 EnterCriticalSection()語句進入臨界區後無論發生什麼,必須確保與之匹配的LeaveCriticalSection()都能夠被 執行到。可以通過添加結構化異常處理代碼來確保LeaveCriticalSection()語句的執行。雖然臨界區同步速度很快,但卻只能用來同步本進 程內的線程,而不可用來同步多個進程中的線程。

    MFC提供了很多功能完備的類,我用MFC實現了臨界區。MFC爲臨界區提供有一個CCriticalSection類,使用該類進行線程同步處理是非常 簡單的。只需在線程函數中用CCriticalSection類成員函數Lock()和UnLock()標定出被保護代碼片段即可。Lock()後代碼用 到的資源自動被視爲臨界區內的資源被保護。UnLock後別的線程才能訪問這些資源。

互斥量(Mutex)

   互斥(Mutex)是一種用途非常廣泛的內核對象。能夠保證多個線程對同一共享資源的互斥訪問。同臨界區有些類似,只有擁有互斥對象的線程才具有訪問資源 的權限,由於互斥對象只有一個,因此就決定了任何情況下此共享資源都不會同時被多個線程所訪問。當前佔據資源的線程在任務處理完後應將擁有的互斥對象交 出,以便其他線程在獲得後得以訪問資源。與其他幾種內核對象不同,互斥對象在操作系統中擁有特殊代碼,並由操作系統來管理,操作系統甚至還允許其進行一些 其他內核對象所不能進行的非常規操作。 互斥量跟臨界區很相似,只有擁有互斥對象的線程才具有訪問資源的權限,由於互斥對象只有一個,因此就決定了任何情況下此共享資源都不會同時被多個線程所訪 問。當前佔據資源的線程在任務處理完後應將擁有的互斥對象交出,以便其他線程在獲得後得以訪問資源。互斥量比臨界區複雜。因爲使用互斥不僅僅能夠在同一應 用程序不同線程中實現資源的安全共享,而且可以在不同應用程序的線程之間實現對資源的安全共享。

    以互斥內核對象來保持線程同步可能用到的函數主要有CreateMutex()、OpenMutex()、ReleaseMutex()、 WaitForSingleObject()和WaitForMultipleObjects()等。在使用互斥對象前,首先要通過 CreateMutex()或OpenMutex()創建或打開一個互斥對象。CreateMutex()函數原型爲:

HANDLE CreateMutex(
 LPSECURITY_ATTRIBUTES lpMutexAttributes, // 安全屬性指針
 BOOL bInitialOwner, // 初始擁有者
 LPCTSTR lpName // 互斥對象名
);

  參數bInitialOwner主要用來控制互斥對象的初始狀態。一般多將其設置爲FALSE,以表明互斥對象在創建時並沒有爲任何線程所佔 有。如果在創建互斥對象時指定了對象名,那麼可以在本進程其他地方或是在其他進程通過OpenMutex()函數得到此互斥對象的句柄。 OpenMutex()函數原型爲:

HANDLE OpenMutex(
 DWORD dwDesiredAccess, // 訪問標誌
 BOOL bInheritHandle, // 繼承標誌
 LPCTSTR lpName // 互斥對象名
);

  當目前對資源具有訪問權的線程不再需要訪問此資源而要離開時,必須通過ReleaseMutex()函數來釋放其擁有的互斥對象,其函數原型爲:

BOOL ReleaseMutex(HANDLE hMutex);

  其唯一的參數hMutex爲待釋放的互斥對象句柄。至於WaitForSingleObject()和 WaitForMultipleObjects()等待函數在互斥對象保持線程同步中所起的作用與在其他內核對象中的作用是基本一致的,也是等待互斥內核 對象的通知。但是這裏需要特別指出的是:在互斥對象通知引起調用等待函數返回時,等待函數的返回值不再是通常的WAIT_OBJECT_0(對於 WaitForSingleObject()函數)或是在WAIT_OBJECT_0到WAIT_OBJECT_0+nCount-1之間的一個值(對於 WaitForMultipleObjects()函數),而是將返回一個WAIT_ABANDONED_0(對於 WaitForSingleObject()函數)或是在WAIT_ABANDONED_0到WAIT_ABANDONED_0+nCount-1之間的 一個值(對於WaitForMultipleObjects()函數)。以此來表明線程正在等待的互斥對象由另外一個線程所擁有,而此線程卻在使用完共享 資源前就已經終止。除此之外,使用互斥對象的方法在等待線程的可調度性上同使用其他幾種內核對象的方法也有所不同,其他內核對象在沒有得到通知時,受調用 等待函數的作用,線程將會掛起,同時失去可調度性,而使用互斥的方法卻可以在等待的同時仍具有可調度性,這也正是互斥對象所能完成的非常規操作之一。

  在編寫程序時,互斥對象多用在對那些爲多個線程所訪問的內存塊的保護上,可以確保任何線程在處理此內存塊時都對其擁有可靠的獨佔訪問權。

    互斥對象在MFC中通過CMutex類進行表述。使用CMutex類的方法非常簡單,在構造CMutex類對象的同時可以指明待查詢的互斥對象的名字,在 構造函數返回後即可訪問此互斥變量。CMutex類也是隻含有構造函數這唯一的成員函數,當完成對互斥對象保護資源的訪問後,可通過調用從父類 CSyncObject繼承的UnLock()函數完成對互斥對象的釋放。CMutex類構造函數原型爲:

CMutex( BOOL bInitiallyOwn = FALSE, LPCTSTR lpszName = NULL, LPSECURITY_ATTRIBUTES lpsaAttribute = NULL );

  該類的適用範圍和實現原理與API方式創建的互斥內核對象是完全類似的,但要簡潔的多。

信號量(Semaphores)

    信號量對象對線程的同步方式與前面幾種方法不同,信號允許多個線程同時使用共享資源,這與操作系統中的PV操作相同。它指出了同時訪問共享資源的線程最大 數目。它允許多個線程在同一時刻訪問同一資源,但是需要限制在同一時刻訪問此資源的最大線程數目。在用CreateSemaphore()創建信號量時即 要同時指出允許的最大資源計數和當前可用資源計數。一般是將當前可用資源計數設置爲最大資源計數,每增加一個線程對共享資源的訪問,當前可用資源計數就會 減1,只要當前可用資源計數是大於0的,就可以發出信號量信號。但是當前可用計數減小到0時則說明當前佔用資源的線程數已經達到了所允許的最大數目,不能 在允許其他線程的進入,此時的信號量信號將無法發出。線程在處理完共享資源後,應在離開的同時通過ReleaseSemaphore()函數將當前可用資 源計數加1。在任何時候當前可用資源計數決不可能大於最大資源計數。 信號量是通過計數來對線程訪問資源進行控制的,而實際上信號量確實也被稱作Dijkstra計數器。


    PV操作及信號量的概念都是由荷蘭科學家E.W.Dijkstra提出的。信號量S是一個整數,S大於等於零時代表可供併發進程使用的資源實體數,但S小於零時則表示正在等待使用共享資源的進程數。

    P操作申請資源:
    (1)S減1;
    (2)若S減1後仍大於等於零,則進程繼續執行;
    (3)若S減1後小於零,則該進程被阻塞後進入與該信號相對應的隊列中,然後轉入進程調度。
  
    V操作 釋放資源:
    (1)S加1;
    (2)若相加結果大於零,則進程繼續執行;
    (3)若相加結果小於等於零,則從該信號的等待隊列中喚醒一個等待進程,然後再返回原進程繼續執行或轉入進程調度。

    使用信號量內核對象進行線程同步主要會用到CreateSemaphore()、OpenSemaphore()、 ReleaseSemaphore()、WaitForSingleObject()和WaitForMultipleObjects()等函數。其 中,CreateSemaphore()用來創建一個信號量內核對象,其函數原型爲:

HANDLE CreateSemaphore(
 LPSECURITY_ATTRIBUTES lpSemaphoreAttributes, // 安全屬性指針
 LONG lInitialCount, // 初始計數
 LONG lMaximumCount, // 最大計數
 LPCTSTR lpName // 對象名指針
);

  參數lMaximumCount是一個有符號32位值,定義了允許的最大資源計數,最大取值不能超過4294967295。lpName參數可 以爲創建的信號量定義一個名字,由於其創建的是一個內核對象,因此在其他進程中可以通過該名字而得到此信號量。OpenSemaphore()函數即可用 來根據信號量名打開在其他進程中創建的信號量,函數原型如下:

HANDLE OpenSemaphore(
 DWORD dwDesiredAccess, // 訪問標誌
 BOOL bInheritHandle, // 繼承標誌
 LPCTSTR lpName // 信號量名
);

  在線程離開對共享資源的處理時,必須通過ReleaseSemaphore()來增加當前可用資源計數。否則將會出現當前正在處理共享資源的實 際線程數並沒有達到要限制的數值,而其他線程卻因爲當前可用資源計數爲0而仍無法進入的情況。ReleaseSemaphore()的函數原型爲:

BOOL ReleaseSemaphore(
 HANDLE hSemaphore, // 信號量句柄
 LONG lReleaseCount, // 計數遞增數量
 LPLONG lpPreviousCount // 先前計數
);

  該函數將lReleaseCount中的值添加給信號量的當前資源計數,一般將lReleaseCount設置爲1,如果需要也可以設置其他的 值。WaitForSingleObject()和WaitForMultipleObjects()主要用在試圖進入共享資源的線程函數入口處,主要用 來判斷信號量的當前可用資源計數是否允許本線程的進入。只有在當前可用資源計數值大於0時,被監視的信號量內核對象纔會得到通知。

  信號量的使用特點使其更適用於對Socket(套接字)程序中線程的同步。例如,網絡上的HTTP服務器要對同一時間內訪問同一頁面的用戶數加 以限制,這時可以爲沒一個用戶對服務器的頁面請求設置一個線程,而頁面則是待保護的共享資源,通過使用信號量對線程的同步作用可以確保在任一時刻無論有多 少用戶對某一頁面進行訪問,只有不大於設定的最大用戶數目的線程能夠進行訪問,而其他的訪問企圖則被掛起,只有在有用戶退出對此頁面的訪問後纔有可能進 入。

在MFC中,通過CSemaphore類對信號量作了表述。該類只具有一個構造函數,可以構造一個信號量對象,並對初始資源計數、最大資源計數、對象名和安全屬性等進行初始化,其原型如下:

CSemaphore( LONG lInitialCount = 1, LONG lMaxCount = 1, LPCTSTR pstrName = NULL, LPSECURITY_ATTRIBUTES lpsaAttributes = NULL );

  在構造了CSemaphore類對象後,任何一個訪問受保護共享資源的線程都必須通過CSemaphore從父類CSyncObject類繼承 得到的Lock()和UnLock()成員函數來訪問或釋放CSemaphore對象。與前面介紹的幾種通過MFC類保持線程同步的方法類似,通過 CSemaphore類也可以將前面的線程同步代碼進行改寫,這兩種使用信號量的線程同步方法無論是在實現原理上還是從實現結果上都是完全一致的。

事件(Event)

    事件對象也可以通過通知操作的方式來保持線程的同步。並且可以實現不同進程中的線程同步操作。

    信號量包含的幾個操作原語:
    CreateEvent() 創建一個信號量
    OpenEvent() 打開一個事件
    SetEvent() 回置事件
    WaitForSingleObject() 等待一個事件
    WaitForMultipleObjects() 等待多個事件

    使用臨界區只能同步同一進程中的線程,而使用事件內核對象則可以對進程外的線程進行同步,其前提是得到對此事件對象的訪問權。可以通過OpenEvent()函數獲取得到,其函數原型爲:

HANDLE OpenEvent(
 DWORD dwDesiredAccess, // 訪問標誌
 BOOL bInheritHandle, // 繼承標誌
 LPCTSTR lpName // 指向事件對象名的指針
);

  如果事件對象已創建(在創建事件時需要指定事件名),函數將返回指定事件的句柄。對於那些在創建事件時沒有指定事件名的事件內核對象,可以通過 使用內核對象的繼承性或是調用DuplicateHandle()函數來調用CreateEvent()以獲得對指定事件對象的訪問權。在獲取到訪問權後 所進行的同步操作與在同一個進程中所進行的線程同步操作是一樣的。

  如果需要在一個線程中等待多個事件,則用WaitForMultipleObjects()來等待。 WaitForMultipleObjects()與WaitForSingleObject()類似,同時監視位於句柄數組中的所有句柄。這些被監視對 象的句柄享有平等的優先權,任何一個句柄都不可能比其他句柄具有更高的優先權。WaitForMultipleObjects()的函數原型爲:

DWORD WaitForMultipleObjects(
 DWORD nCount, // 等待句柄數
 CONST HANDLE *lpHandles, // 句柄數組首地址
 BOOL fWaitAll, // 等待標誌
 DWORD dwMilliseconds // 等待時間間隔
);

  參數nCount指定了要等待的內核對象的數目,存放這些內核對象的數組由lpHandles來指向。fWaitAll對指定的這nCount 個內核對象的兩種等待方式進行了指定,爲TRUE時當所有對象都被通知時函數纔會返回,爲FALSE則只要其中任何一個得到通知就可以返回。 dwMilliseconds在這裏的作用與在WaitForSingleObject()中的作用是完全一致的。如果等待超時,函數將返回 WAIT_TIMEOUT。如果返回WAIT_OBJECT_0到WAIT_OBJECT_0+nCount-1中的某個值,則說明所有指定對象的狀態均 爲已通知狀態(當fWaitAll爲TRUE時)或是用以減去WAIT_OBJECT_0而得到發生通知的對象的索引(當fWaitAll爲FALSE 時)。如果返回值在WAIT_ABANDONED_0與WAIT_ABANDONED_0+nCount-1之間,則表示所有指定對象的狀態均爲已通知, 且其中至少有一個對象是被丟棄的互斥對象(當fWaitAll爲TRUE時),或是用以減去WAIT_OBJECT_0表示一個等待正常結束的互斥對象的 索引(當fWaitAll爲FALSE時)。

MFC爲事件相關處理也提供了一個CEvent類,共包含有除構造函數外的4個成員函數 PulseEvent()、ResetEvent()、SetEvent()和UnLock()。在功能上分別相當與Win32 API的PulseEvent()、ResetEvent()、SetEvent()和CloseHandle()等函數。而構造函數則履行了原 CreateEvent()函數創建事件對象的職責,其函數原型爲:

CEvent(BOOL bInitiallyOwn = FALSE, BOOL bManualReset = FALSE, LPCTSTR lpszName = NULL, LPSECURITY_ATTRIBUTES lpsaAttribute = NULL );

  按照此缺省設置將創建一個自動復位、初始狀態爲復位狀態的沒有名字的事件對象。封裝後的CEvent類使用起來更加方便,

事件可以實現不同進程中的線程同步操作,並且可以方便的實現多個線程的優先比較等待操作,例如寫多個WaitForSingleObject來代替WaitForMultipleObjects從而使編程更加靈活。

總結:

    1. 互斥量與臨界區的作用非常相似,但互斥量是可以命名的,也就是說它可以跨越進程使用。所以創建互斥量需要的資源更多,所以如果只爲了在進程內部是用的話使 用臨界區會帶來速度上的優勢並能夠減少資源佔用量。因爲互斥量是跨進程的互斥量一旦被創建,就可以通過名字打開它。

    2. 互斥量(Mutex),信號燈(Semaphore),事件(Event)都可以被跨越進程使用來進行同步數據操作,而其他的對象與數據同步操作無關,但 對於進程和線程來講,如果進程和線程在運行狀態則爲無信號狀態,在退出後爲有信號狀態。所以可以使用WaitForSingleObject來等待進程和 線程退出。

    3. 通過互斥量可以指定資源被獨佔的方式使用,但如果有下面一種情況通過互斥量就無法處理,比如現在一位用戶購買了一份三個併發訪問許可的數據庫系統,可以根 據用戶購買的訪問許可數量來決定有多少個線程/進程能同時進行數據庫操作,這時候如果利用互斥量就沒有辦法完成這個要求,信號燈對象可以說是一種資源計數 器。

 

對於semaphore,他作爲一個內核對象,應該在程序關閉的時候關掉,但是信號並未釋放?和解?那麼如果多進程中某個進程崩潰了,那這個信號永遠不會釋放?

引:(windows核心編程)所以,當你的應用程序運行時,它可能會泄漏內核對象;但當進程終止運行,系統能保證一切都被正確清除。順便說一下,這適用於所有內核對象、資源(包括GDI對象在內)以及內存塊

發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章