Compartir a través de


Regla ReqSendWhileSpinlock (kmdf)

La regla ReqSendWhileSpinlock especifica que no se envían solicitudes mientras el controlador contiene un interbloqueo.

Si el controlador envía solicitudes mientras contiene un bloqueo, podría provocar un interbloqueo o entrar en conflicto con el controlador inferior que recibe las solicitudes, si el controlador inferior también intenta adquirir un bloqueo o acceder a los recursos compartidos.

Modelo de controlador: KMDF

Cómo probar

En tiempo de compilación

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

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

WdfRequestSendWdfSpinLockAcquireWdfSpinLockReleaseKeAcquireSpinLockKeReleaseSpinLock

Consulte también

Finalización de solicitudes de E/Ssincronizando el código de cancelación y finalización