Compartir a través de

Regla CancelSpinLock (storport)

  • Artículo

La regla CancelSpinLock Rule (Storport) comprueba que cada llamada a IoAcquireCancelSpinLock va seguida de una llamada a IoReleaseCancelSpinLock.

No se debe llamar a IoReleaseCancelSpinLock sin adquirir primero el bloqueo de número de cancelación. Además, cuando se cierra una rutina de devolución de llamada de miniporte, no debe mantener ningún bloqueo de giro de cancelación.

Modelo de controlador: Storport

Cómo probar

En tiempo de compilación

Ejecute el comprobador de controladores estáticos y especifique la regla CancelSpinLock .

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, consulte Uso del comprobador de controladores estáticos para buscar defectos en controladores.

Se aplica a

IoAcquireCancelSpinLockIoReleaseCancelSpinLock