Regola StartIoCancel (wdm)
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:
Per altre informazioni, vedere Uso del verificatore driver statico per trovare i difetti nei driver. |
Si applica a
IoSetCancelRoutineIoSetStartIoAttributes