Condividi tramite


Regola SpinlockRelease (wdm)

La regola SpinlockRelease specifica che le chiamate a KeReleaseSpinLock vengono eseguite in stretta alternanza con KeAcquireSpinLock e KeAcquireSpinLockRaiseToDpc. Ovvero, il driver deve chiamare KeReleaseSpinLock dopo aver chiamato KeAcquireSpinLock o KeAcquireSpinLockRaiseToDpc e prima delle chiamate successive a KeAcquireSpinLock o a KeAcquireSpinLockRaiseToDpc.

Modello di driver: WDM

Verifica bug trovata con questa regola: Controllo bug 0xC4: DRIVER_VERIFIER_DETECTED_VIOLATION (0x0004000B)

Come eseguire il test

In fase di compilazione

Eseguire Static Driver Verifier e specificare la regola SpinlockRelease .

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.

In fase di esecuzione

Eseguire Driver Verifier e selezionare l'opzione Verifica conformità DDI (aggiuntiva).

Si applica a

KeAcquireSpinLockKeAcquireSpinLockRaiseToDpcKeReleaseSpinLockKeTryToAcquireSpinLockAtDpcLevel