Regola WdfSpinlock (kmdf)

La regola WdfSpinlock specifica che le chiamate al metodo WdfSpinLockAcquire vengono usate in stretta alternanza con WdfSpinlockRelease. Al termine di qualsiasi routine di callback KMDF, il driver non deve contenere l'oggetto spinlock del framework ottenuto da una chiamata precedente a WdfSpinLockAcquire.

Modello di driver: KMDF

Come eseguire il test

In fase di compilazione

Eseguire Static Driver Verifier e specificare la regola WdfSpinlock .

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 Uso di Static Driver Verifier per trovare i difetti nei driver.

Si applica a

WdfSpinLockAcquireWdfSpinLockCreateWdfSpinLockRelease