Share via

Regola StartIoCancel (wdm)

  • Articolo

La regola StartIoCancel specifica che il driver non deve chiamare IoSetStartIoAttributes con il parametro NonCancelable impostato su FALSE prima di chiamare IoSetCancelRoutine con una routine non NULLCancel .

L'impostazione del parametro NonCancelable su FALSE prima di registrare la routine Cancel può causare una condizione di gara di annullamento.

Poiché la routine Cancel di un driver deve includere una chiamata a IoReleaseCancelSpinLock (per rilasciare il blocco di spin acquisito da Gestione I/O prima di chiamare la routine Annulla), valutare la verifica del driver con la regola StartIoCancel e la regola CancelSpinLock.

Modello di driver: WDM

Come eseguire il test

In fase di compilazione

Eseguire il verifica driver statico e specificare la regola StartIoCancel .

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 del verificatore driver statico per trovare i difetti nei driver.

Si applica a

IoSetCancelRoutineIoSetStartIoAttributes

Vedi anche

CancelSpinLock