Freigeben über

IrqlKeReleaseSpinLock-Regel (wdm)

  • Artikel

Die IrqlKeReleaseSpinLock-Regel gibt an, dass der Treiber KeReleaseSpinLock nur aufruft, wenn er bei IRQL mit DISPATCH_LEVEL ausgeführt wird.

Diese Regel gibt auch an, dass der Wert des NewIrql-Parameters im Aufruf von KeReleaseSpinLock dem IRQL entspricht, bei dem der Treiber vor dem Aufruf von KeAcquireSpinLock ausgeführt wurde. (Dieser Wert ist auch der Wert des OldIrql-Parameter , der von KeAcquireSpinLock bereitgestellt wird.)

Treibermodell: WDM

Fehlerüberprüfungen, die mit dieser Regel gefunden wurden: Fehlerüberprüfung 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x00020015 )

So führen Sie einen Test durch

Zur Kompilierzeit

Führen Sie statische Treiberüberprüfung aus, und geben Sie die IrqlKeReleaseSpinLock-Regel an.

Führen Sie die folgenden Schritte aus, um eine Analyse Ihres Codes durchzuführen:
  1. Bereiten Sie Ihren Code vor (verwenden Sie Rollentypendeklarationen).
  2. Static Driver Verifier ausführen.
  3. Anzeigen und Analysieren der Ergebnisse.

Weitere Informationen finden Sie unter Static Driver Verifier zum Auffinden von Defekten in Treibern verwenden.
Zur Laufzeit

Führen Sie die Treiberüberprüfung aus , und wählen Sie die DDI-Konformitätsüberprüfungsoption aus.

Gilt für:

KeReleaseSpinLock