Compartir a través de

Regla QueuedSpinLock (storport)

  • Artículo

La regla QueuedSpinLock comprueba que los bloqueos de número en cola en la pila que se adquieren mediante KeAcquireInStackQueuedSpinLock se publican rápidamente mediante KeReleaseInStackQueuedSpinLock. Además, al final de una rutina de envío o cancelación, el controlador no debe contener ningún bloqueo.

Modelo de controlador: Storport

Cómo probar

En tiempo de compilación

Ejecute el Comprobador de controladores estáticos y especifique la regla QueuedSpinLock .

Usa los pasos siguientes para ejecutar un análisis de tu código:
  1. Prepara el código (usa declaraciones de tipos de rol).
  2. Ejecuta el comprobador de controlador estático.
  3. Consulta y analiza los resultados.

Para obtener más información, vea Usar comprobador de controladores estáticos para buscar defectos en controladores.

Se aplica a

KeAcquireInStackQueuedSpinLockKeReleaseInStackQueuedSpinLock