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 KsFilterMutex spécifie qu’un pilote miniport KS acquiert et libère le mutex de filtre dans la séquence correcte.
- Un pilote miniport KS ne peut pas obtenir le mutex de filtre de manière récursive.
- Un thread ne doit pas libérer le mutex de filtre sans l’acquérir en premier.
Modèle de pilote : KS
Vérification des bogues trouvées avec cette règle : Vérification des bogues 0xC4 : DRIVER_VERIFIER_DETECTED_VIOLATION (0x0008100A )
Comment tester
| Au moment de l'exécution |
|---|
Pour vérifier cette règle, ouvrez une fenêtre d’invite de commandes. Entrez une commande Driver Verifier et spécifiez /domain ks. Par exemple : Pour plus d’informations, consultez Type de débogage. |
vérificateur /domain ks [options] /driver< yourdriver >