Règle WithinCriticalRegion (wdm)
La règle WithinCriticalRegion spécifie que les appels du pilote à des fonctions de synchronisation particulières apparaissent uniquement après l’appel de KeEnterCriticalRegion et avant l’appel de KeLeaveCriticalRegion.
Les fonctions de synchronisation affectées sont les suivantes :
Cette règle ne reconnaît pas les autres méthodes de désactivation de la livraison APC normale. Pour plus d’informations, consultez Désactivation des API.
Modèle de pilote : WDM
Comment tester
Au moment de la compilation |
---|
Exécutez Static Driver Verifier et spécifiez la règle WithinCriticalRegion . 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 à
ExAcquireResourceExclusiveLiteExAcquireResourceSharedLiteExAcquireSharedStarveExclusiveExAcquireSharedWaitForExclusiveExReleaseResourceForThreadLiteExReleaseResourceLiteKeEnterCriticalRegionKeEnterGuardedRegionKeLeaveCriticalRegionKeLeaveGuardedRegion
Voir aussi
Gestion des priorités matériellesempêchant les erreurs et les interblocages lors de l’utilisation de verrous tournants
Commentaires
https://aka.ms/ContentUserFeedback.
Bientôt disponible : Tout au long de 2024, nous allons supprimer progressivement GitHub Issues comme mécanisme de commentaires pour le contenu et le remplacer par un nouveau système de commentaires. Pour plus d’informations, consultezEnvoyer et afficher des commentaires pour