ExclusiveResourceAccess 規則 (wdm)

  • 發行項

ExclusiveResourceAccess 規則會指定驅動程式在呼叫 ExReleaseResourceLite 或 ExReleaseResourceForThreadLite 之前先呼叫 ExAcquireresourceExclusiveLite，並指定驅動程式在任何後續呼叫 ExAcquiresourceExclusiveLite 之前呼叫 ExAcquireaseResourceForThreadLite。

如果巢狀呼叫正在取得和釋放不同的資源，則允許呼叫。 取得或釋放相同資源的巢狀呼叫違反此規則。

此規則也會指出當例程結束時，驅動程式不得具有資源的獨佔存取權。 靜態驅動程式驗證器會監視 DriverEntry、 AddDevice、 StartIo、 StartDevice、 DpcForIsr、 Cancel、 Dispatch、 RemoveDevice 和 Unload 例程的結尾。

驅動程式模型：WDM

使用此規則找到的錯誤檢查 ()

測試方法

在編譯時期

執行 靜態驅動程式驗證器 ，並指定 ExclusiveResourceAccess 規則。

使用下列步驟來執行程式碼的分析：
  1. 準備程式代碼 (使用角色類型宣告) 。
  2. 執行靜態驅動程式驗證程式。
  3. 檢視和分析結果。

如需詳細資訊，請參閱 使用靜態驅動程式驗證器在驅動程式中尋找瑕疵。

適用於

ExAcquireResourceExclusiveLiteExReleaseResourceForThreadLiteExReleaseResourceLite

另請參閱

使用微調鎖定時防止錯誤和死結