Regola ChangeQueueState (kmdf)
La regola ChangeQueueState specifica che il driver WDF non tenta di modificare lo stato della coda da thread simultanei o non chiama gli DDI di modifica dello stato uno dopo l'altro dall'interno dello stesso thread. Le funzioni di callback di modifica dello stato della coda sono WdfIoQueueStop, WdfIoQueueStopSynchronously,WdfIoQueuePurge,WdfIoQueuePurgeSynchronously, WdfIoQueueDrain, WdfIoQueueDrainSynchronously, WdfIoQueueStopAndPurge e WdfIoQueueStopAndPurgeSynchronously. Se queste DDI vengono chiamate quando una modifica dello stato della coda è già in corso, causa l'arresto anomalo di un computer o la mancata risposta.
Modello di driver: KMDF
Come eseguire il test
| In fase di compilazione |
|---|
Eseguire Static Driver Verifier e specificare la regola ChangeQueueState . Usa i passaggi descritti di seguito per eseguire un'analisi del codice:
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
WdfDeviceCreateWdfDriverCreateWdfIoQueueCreateWdfIoQueueDrainWdfIoQueueDrainSynchronouslyWdfIoQueuePurgeWdfIoQueuePuruePurgeSynchronouslyWdfIoQueueStopWdfIoQueueStopAndPurgeWdfIoQueueStopAndPurgeSynchronouslyWdfIoQueueStopSynchronously