Règle ExclusiveResourceAccess (wdm)

La règle ExclusiveResourceAccess spécifie que le pilote appelle ExAcquireResourceExclusiveLite avant d’appeler ExReleaseResourceLite ou ExReleaseResourceForThreadLite et spécifie que le pilote appelle ExReleaseResourceLite ou ExReleaseResourceForThreadLite avant tout appel ultérieur à ExAcquireResourceExclusiveLite.

Les appels imbriqués sont autorisés s’ils acquièrent et libèrent des ressources différentes. Les appels imbriqués pour acquérir ou libérer les mêmes ressources violent cette règle.

Cette règle indique également que lorsque la routine se termine, le pilote ne doit pas disposer d’un accès exclusif à la ressource. Static Driver Verifier surveille la fin des routines DriverEntry, AddDevice, StartIo, StartDevice, DpcForIsr, Cancel, Dispatch, RemoveDevice et Unload .

Modèle de pilote : WDM

Vérification(s) de bogue trouvée(s) avec cette règle

Comment tester

Au moment de la compilation

Exécutez Static Driver Verifier et spécifiez la règle ExclusiveResourceAccess . Utilisez les étapes suivantes pour exécuter l’analyse de votre code : Préparez votre code (utilisez les déclarations de type). Exécutez le vérificateur de pilote statique. Affichez et analysez les résultats. Pour plus d’informations, consultez Utilisation du vérificateur de pilote statique pour rechercher des défauts dans les pilotes.

S’applique à

ExAcquireResourceExclusiveLiteExReleaseResourceForThreadLiteExReleaseResourceLite

Voir aussi

Prévention des erreurs et des interblocages lors de l’utilisation de verrous de rotation