28、【C++基礎】線程同步
線程同步的方法主要有四種(《操作系統教程》一書):
1、臨界區:通過對多線程的串行化來訪問公共資源或一段代碼,速度快,適合控制數據訪問。
2、互斥量:為協調一起對一個共享資源的單獨訪問而設計的。
3、信號量:為控制一個具備有限數量用戶資源而設計。
4、事 件:用來通知線程有一些事件已發生,從而啟動後繼任務的開始。
1、臨界區(Critical Section)
確保在某一時刻只有一個線程能訪問數據的簡便辦法。在任意時刻只允許一個線程對共享資源進行訪問。假如有多個線程試圖同時訪問臨界區,那麽在有一個線程進入後其他任何試圖訪問此臨界區的線程將被掛起,並一直持續到進入臨界區的線程離開。
臨界區在被釋放後,其他線程能夠繼續搶占,並以此達到用原子方式操作共享資源的目的。
臨界區包含兩個操作原語:
EnterCriticalSection() 進入臨界區 LeaveCriticalSection() 離開臨界區
EnterCriticalSection()語句執行後代碼將進入臨界區以後無論發生什麽,必須確保和之匹配的LeaveCriticalSection()都能夠被執行到。否則臨界區保護的共享資源將永遠不會被釋放。雖然臨界區同步速度很快,但卻只能用來同步本進程內的線程,而不可用來同步多個進程中的線程。
2、互斥量(Mutex)
互斥量跟臨界區很相似,只有擁有互斥對象的線程才具備訪問資源的權限,由於互斥對象只有一個,因此就決定了任何情況下此共享資源都不會同時被多個線程所訪問。當前占據資源的線程在任務處理完後應將擁有的互斥對象交出,以便其他線程在獲得後得以訪問資源。互斥量比臨界區復雜。因為使用互斥不但僅能夠在同一應用程式不同線程中實現資源的安全共享,而且能夠在不同應用程式的線程之間實現對資源的安全共享。
互斥量包含的幾個操作原語:
CreateMutex() 創建一個互斥量
OpenMutex() 打開一個互斥量
ReleaseMutex() 釋放互斥量
WaitForMultipleObjects() 等待互斥量對象
3、信號量(Semaphores)
信號量對象對線程的同步方式和前面幾種方法不同,信號允許多個線程同時使用共享資源,這和操作系統中的PV操作相同。他指出了同時訪問共享資源的線程最大數目。
他允許多個線程在同一時刻訪問同一資源,但是需要限制在同一時刻訪問此資源的最大線程數目。在用CreateSemaphore()創建信號量時即要同時指出允許的最大資源計數和當前可用資源計數。一般是將當前可用資源計數配置為最大資源計數,每增加一個線程對共享資源的訪問,當前可用資源計數就會減1,只要當前可用資源計數是大於0的,就能夠發出信號量信號。但是當前可用計數減小到0時則說明當前占用資源的線程數已達到了所允許的最大數目,不能在允許其他線程的進入,此時的信號量信號將無法發出。
線程在處理完共享資源後,應在離開的同時通過ReleaseSemaphore()函數將當前可用資源計數加1。在任何時候當前可用資源計數決不可能大於最大資源計數。
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() 等待信號量
4、事件(Event)
事件對象也能夠通過通知操作的方式來保持線程的同步。並且能夠實現不同進程中的線程同步操作。
事件包含的幾個操作原語:
CreateEvent() 創建一個事件
OpenEvent() 打開一個事件
SetEvent() 回置事件
WaitForSingleObject() 等待一個事件
WaitForMultipleObjects() 等待多個事件
WaitForMultipleObjects 函數原型:
WaitForMultipleObjects(
IN DWORD nCount, // 等待句柄數
IN CONST HANDLE *lpHandles, //指向句柄數組
IN BOOL bWaitAll, //是否完全等待標誌
IN DWORD dwMilliseconds //等待時間
)
參數nCount指定了要等待的內核對象的數目,存放這些內核對象的數組由lpHandles來指向。fWaitAll對指定的這nCount個內核對象的兩種等待方式進行了指定,為TRUE時當任何對象都被通知時函數才會返回,為FALSE則只要其中任何一個得到通知就能夠返回。dwMilliseconds在這裏的作用和在WaitForSingleObject()中的作用是完全一致的。假如等待超時,函數將返回WAIT_TIMEOUT。
事件能夠實現不同進程中的線程同步操作,並且能夠方便的實現多個線程的優先比較等待操作,例如寫多個WaitForSingleObject來代替WaitForMultipleObjects從而使編程更加靈活。
總結:
1. 互斥量和臨界區的作用很相似,但互斥量是能夠命名的,也就是說他能夠跨越進程使用。所以創建互斥量需要的資源更多,所以假如只為了在進程內部是用的話使用臨界區會帶來速度上的優勢並能夠減少資源占用量。因為互斥量是跨進程的互斥量一旦被創建,就能夠通過名字打開他。
2. 互斥量(Mutex),信號燈(Semaphore),事件(Event)都能夠被跨越進程使用來進行同步數據操作,而其他的對象和數據同步操作無關,但對於進程和線程來講,假如進程和線程在運行狀態則為無信號狀態,在退出後為有信號狀態。所以能夠使用WaitForSingleObject來等待進程和線程退出。
3. 通過互斥量能夠指定資源被獨占的方式使用,但假如有下面一種情況通過互斥量就無法處理,比如現在一位用戶購買了一份三個並發訪問許可的數據庫系統,能夠根據用戶購買的訪問許可數量來決定有多少個線程/進程能同時進行數據庫操作,這時候假如利用互斥量就沒有辦法完成這個需要,信號燈對象能夠說是一種資源計數器。
28、【C++基礎】線程同步