Regola ReqSendWhileSpinlock (kmdf)

La regola ReqSendWhileSpinlock specifica che non vengono inviate richieste mentre il driver contiene uno spinlock.

Se il driver invia richieste mentre contiene uno spinlock, potrebbe causare un deadlock o un conflitto con il driver inferiore che riceve le richieste, se il driver inferiore tenta anche di acquisire un blocco o accedere alle risorse condivise.

Modello di driver: KMDF

Come eseguire il test

In fase di compilazione

Eseguire Static Driver Verifier e specificare la regola ReqSendWhileSpinlock . Usa i passaggi descritti di seguito per eseguire un'analisi del codice: Prepara il codice (usa dichiarazioni di tipo ruolo). Esegui Driver Verifier statico. 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

WdfRequestSendWdfSpinLockAcquireWdfSpinLockReleaseKeAcquireSpinLockKeReleaseSpinLock

Vedi anche

Completamento delle richieste di I/Odurante la sincronizzazione del codice di annullamento e completamento