Compartir a través de

Regla WdfWaitlock (kmdf)

  • Artículo

La regla WdfWaitlock especifica que las llamadas a WdfWaitLockAcquire se usan en alternancia estricta con WdfWaitlockRelease. Cuando se devuelve la función de devolución de llamada de evento KMDF, el controlador no debe contener el objeto de bloqueo de espera de marco obtenido por una llamada anterior a WdfWaitLockAcquire.

Modelo de controlador: KMDF

Cómo probar

En tiempo de compilación

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

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

WdfWaitLockAcquireWdfWaitLockRelease