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.
Cette règle vérifie que les verrous acquis via StorPortAcquireSpinLock sont libérés rapidement via StorPortReleaseSpinLock. Le pilote miniport échoue à la règle s’il tente d’acquérir un verrou qu’il avait déjà acquis, ou s’il tente de libérer un verrou qu’il n’avait pas acquis. En outre, à la fin de la routine de distribution ou d’annulation, le pilote ne doit pas contenir de verrous de rotation.
Modèle de pilote : Storport
Comment tester
| Au moment de la compilation |
|---|
Exécutez Static Driver Verifier et spécifiez la règle StorPortSpinLock . 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. |