ExclusiveResourceAccess-Regel (wdm)
Die ExclusiveResourceAccess-Regel gibt an, dass der Treiber ExAcquireResourceExclusiveLite vor dem Aufruf von ExReleaseResourceLite oder ExReleaseResourceForThreadLite aufruft, und gibt an, dass der Treiber ExReleaseResourceLite oder ExReleaseResourceForThreadLite vor allen nachfolgenden Aufrufen von ExAcquireSourceExclusiveLite aufruft.
Geschachtelte Aufrufe sind zulässig, wenn sie verschiedene Ressourcen abrufen und freigeben. Geschachtelte Aufrufe zum Abrufen oder Freigeben derselben Ressourcen verstoßen gegen diese Regel.
Diese Regel besagt auch, dass der Treiber keinen exklusiven Zugriff auf die Ressource haben darf, wenn die Routine endet. Static Driver Verifier überwacht das Ende der Routinen DriverEntry, AddDevice, StartIo, StartDevice, DpcForIsr, Cancel, Dispatch, RemoveDevice und Unload .
Treibermodell: WDM
Überprüfung von Fehlern im Zusammenhang mit dieser Fehler |
So führen Sie einen Test durch
Beim Kompilieren: |
---|
Führen Sie static Driver Verifier aus, und geben Sie die ExclusiveResourceAccess-Regel an. Gehen Sie folgendermaßen vor, um Ihren Code zu analysieren:
Weitere Informationen finden Sie unter Verwenden der statischen Treiberüberprüfung, um Fehler in Treibern zu finden. |
Gilt für:
ExAcquireResourceExclusiveLiteExReleaseResourceForThreadLiteExReleaseResourceLite
Weitere Informationen
Verhindern von Fehlern und Deadlocks während der Verwendung von Spin-Sperren
Feedback
https://aka.ms/ContentUserFeedback.
Bald verfügbar: Im Laufe des Jahres 2024 werden wir GitHub-Issues stufenweise als Feedbackmechanismus für Inhalte abbauen und durch ein neues Feedbacksystem ersetzen. Weitere Informationen finden Sie unterFeedback senden und anzeigen für