Compartir a través de

Regla SpinlockRelease (kmdf)

  • Artículo

La regla SpinlockRelease especifica que las llamadas a KeAcquireSpinLock, KeAcquireSpinLockRaiseToDpc y KeReleaseSpinLock se usan de forma equilibrada dentro de una devolución de llamada de KMDF. Al final de cualquier rutina de devolución de llamada de KMDF, el controlador no debe mantener el bloqueo de giro.

Modelo de controlador: KMDF

Cómo probar

En tiempo de compilación

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

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

KeAcquireSpinLockKeAcquireSpinLockRaiseTodpcKeReleaseSpinLock