Règle KsProcessingMutex ()
La règle KsProcessingMutex spécifie qu’un pilote miniport KS utilise le mutex de traitement dans la séquence correcte :
- Le mutex de traitement ne peut pas être obtenu de manière récursive.
- Un thread qui a acquis le mutex de traitement ne doit pas tenter par la suite d’acquérir le mutex de contrôle de filtre.
- Un thread ne doit pas libérer le mutex de traitement 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 (0x0008100B )
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 : vérificateur /domain ks [options] /driver< yourdriver > Pour plus d’informations, consultez Type de débogage. |