Remarque
L’accès à cette page nécessite une autorisation. Vous pouvez essayer de vous connecter ou de modifier des répertoires.
L’accès à cette page nécessite une autorisation. Vous pouvez essayer de modifier des répertoires.
La règle DoubleCompletion spécifie que les pilotes ne doivent pas effectuer deux fois une demande d’E/S. Les méthodes suivantes ne doivent pas être appelées deux fois de suite pour la même demande : WdfRequestComplete, WdfRequestCompleteWithInformation, WdfRequestCompleteWithPriorityBoost.
La différence entre cette règle et la règle DoubleCompletionLocal est que la règle DoubleCompletionLocal n’est effectuée que dans les fonctions de rappel de file d’attente d’E/S par défaut.
Modèle de pilote : KMDF
Comment tester
| Au moment de la compilation |
|---|
Exécutez Static Driver Verifier et spécifiez la règle DoubleCompletion . Utilisez les étapes suivantes pour exécuter l’analyse de votre code :
Pour plus d’informations, consultez Utilisation du vérificateur de pilote statique pour rechercher des défauts dans les pilotes. |
S’applique à
WdfIoQueueRetrieveFoundRequestWdfIoQueueRetrieveNextRequestWdfIoQueueRetrieveRequestByFileObjectWdfRequestCompleteWdfRequestCompleteWithInformationWdfRequestCompleteWithPriorityBoost