Sperrregelsatz (Storport)
Verwenden Sie diese Regeln, um zu überprüfen, ob Ihr Treiber freigegebene Ressourcen ordnungsgemäß verwaltet.
In diesem Abschnitt
| Thema | BESCHREIBUNG |
|---|---|
Die Storport-Regel (CancelSpinLock) überprüft, ob jedem Aufruf von IoAcquireCancelSpinLock prompt ein Aufruf von IoReleaseCancelSpinLock folgt. |
|
Die QueuedSpinLock-Regel überprüft, ob mit KeAcquireInStackQueuedSpinLock erworbene In-Stack-Spinsperren in der Stapelwarteschlange mithilfe von KeReleaseInStackQueuedSpinLock umgehend freigegeben werden. Darüber hinaus sollte der Treiber am Ende einer Dispatch- oder Abbruchroutine keine Sperren beibehalten. |
|
Diese Regel überprüft, ob der Treiber KeReleaseInStackQueuedSpinLock nicht aufruft , ohne die Sperre zuerst über KeAcquireInStackQueuedSpinLock zu erhalten. |
|
Diese Regel überprüft, ob einem Aufruf von KeAcquireSpinLock sofort ein Aufruf von KeReleaseSpinlock folgt. Wenn ein Treiber vor dem Freigeben der Sperre erneut KeAcquireSpinLockRaiseToDpc oder KeAcquireSpinLock aufruft, schlägt die Regel fehl. Darüber hinaus muss der Treiber vor dem Beenden der Dispatch- oder Abbruchroutine die Spin-Sperre aufheben. |
|
Diese Regel überprüft, ob auf einen Aufruf von KeAcquireSpinLockRaiseToDpc prompt ein Aufruf von KeReleaseSpinlock folgt. Wenn ein Treiber keAcquireSpinLock oder KeAcquireSpinLockRaiseToDpc vor dem Freigeben der Sperre erneut aufruft, schlägt die Regel fehl. Darüber hinaus muss der Treiber vor dem Beenden der Dispatch- oder Abbruchroutine die Spin-Sperre aufheben. |
|
Diese Regel überprüft, ob der Treiber nicht versucht, eine Sperre über KeReleaseSpinLock freizugeben, ohne sie zuerst über KeAquireSpinlock oder KeAcquireSpinLockRaiseToDpc abzurufen. Die Regel besteht, wenn die erworbene Drehsperre aufgehoben wird. |
|
Diese Regel überprüft, ob die Routinen IoStartNextPacket und IoCompleteRequest nicht aufgerufen werden, während eine Drehsperre gilt. Die Regel verfolgt die Anzahl von Spinsperren, die zu einem beliebigen Zeitpunkt gehalten werden, und wenn diese Zahl nicht 0 ist, wenn eine Routine aufgerufen wird, schlägt der Treiber die Regel fehl. |
|
Miniport-Treiber müssen die MSI-Drehsperre für eine Nachricht abrufen, wenn und nur, wenn das InterruptSynchronizationMode-Element der PORT_CONFIGURATION_INFORMATION -Struktur (Storport) auf InterruptSynchronizePerMessage festgelegt ist. Diese Regel überprüft, ob Aufrufe von StorPortAcquireMSISpinLock nur ausgeführt werden, wenn der Synchronisierungsmodus InterruptSynchronizePerMessage lautet. |
|
Diese Regel überprüft, ob Sperren, die über StorPortAcquireSpinLock abgerufen werden, über StorPortReleaseSpinLock unverzüglich freigegeben werden. Der Miniporttreiber verstößt gegen die Regel, wenn er versucht, eine Sperre zu erwerben, die er bereits erworben hatte, oder wenn er versucht, eine Sperre aufzuheben, die nicht erworben wurde. Darüber hinaus sollte der Treiber am Ende der Dispatch- oder Abbruchroutine keine Spin-Sperren beibehalten. |
|
Die StorPortSpinLock3-Regel überprüft die Hierarchie des Sperrenerwerbs, die in der Dokumentation für die StorPortAcquireSpinLock-Routine beschrieben ist. |
|
Diese Regel ist die Releaseentsprechung von StorPortSpinLock. Sie ähnelt der SpinLockRelease-Regel . |
So wählen Sie den Sperrregelsatz aus
Wählen Sie Ihr Treiberprojekt (VCXProj) in Microsoft Visual Studio aus. Klicken Sie im Menü Treiber auf Statische Treiberüberprüfung starten....
Klicken Sie auf die Registerkarte Regeln . Wählen Sie unter Regelsätze die Option Sperren aus.
Um den Standardregelsatz aus einem Visual Studio-Entwicklereingabeaufforderungsfenster auszuwählen, geben Sie Locking.sdv mit der Option /check an. Beispiel:
msbuild /t:sdv /p:Inputs="/check:Locking.sdv" mydriver.VcxProj /p:Configuration="Win8 Release" /p:Platform=Win32Weitere Informationen finden Sie unter Using Static Driver Verifier to Find Defects in Drivers and Static Driver Verifier commands (MSBuild).