SpinLockSafe-Regel (storport)
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.
Treibermodell: Storport
So führen Sie einen Test durch
Beim Kompilieren: |
---|
Führen Sie static Driver Verifier aus, und geben Sie die SpinLockSafe-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:
IoAcquireCancelSpinLockIoCompleteRequestIoReleaseCancelSpinLockIoStartNextPacketKeAcquireSpinLockKeAcquireSpinLockAtDpcLevelKeReleaseSpinLockKeReleaseSpinLock KeReleaseSpinLockFromDpcLevel
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