Regola CancelSpinLock (storport)

  • Articolo

La regola CancelSpinLock Rule (Storport) verifica che ogni chiamata a IoAcquireCancelSpinLock venga seguita tempestivamente da una chiamata a IoReleaseCancelSpinLock.

IoReleaseCancelSpinLock non deve essere chiamato senza prima acquisire il blocco di selezione annulla. Inoltre, quando una routine di callback miniport viene chiusa, non deve contenere blocchi di rotazione annulla

Modello di driver: Storport

Come eseguire il test

In fase di compilazione

Eseguire Static Driver Verifier e specificare la regola CancelSpinLock .

Usa i passaggi descritti di seguito per eseguire un'analisi del codice:
  1. Prepara il codice (usa dichiarazioni di tipo ruolo).
  2. Esegui Driver Verifier statico.
  3. Visualizza e analizza i risultati.

Per altre informazioni, vedere Using Static Driver Verifier to Find Defects in Drivers.For more information, see Using Static Driver Verifier to Find Defects in Drivers.

Si applica a

IoAcquireCancelSpinLockIoReleaseCancelSpinLock