Regla MarkingQueuedIrps (wdm)

La regla MarkingQueuedIrps especifica que el controlador llama a IoMarkIrpPending para un IRP que solo requiere un procesamiento adicional mientras mantiene un bloqueo de número. Esta regla solo se aplica cuando el controlador agrega el IRP a una cola administrada por controladores.

En concreto, el controlador infringe esta regla solo cuando se producen todos los eventos siguientes.

• El controlador llama a KeAcquireSpinLock o KeAcquireInStackQueuedSpinLock para adquirir un bloqueo de número.

• El controlador llama a una de las siguientes rutinas para agregar un IRP a una cola administrada por controladores:

  • InsertHeadList
  • InsertTailList
  • KeInsertDeviceQueue
  • KeInsertQueueDpc
  • KeInsertByKeyDeviceQueue

• El controlador llama a KeReleaseSpinLock o KeReleaseInStackQueuedSpinLock para liberar el bloqueo de número antes de llamar a IoMarkIrpPending.

• El controlador devuelve un estado de STATUS_PENDING para irP.

Los controladores deben llamar a IoMarkIrpPending solo para un IRP en cola mientras mantiene un bloqueo de número. De lo contrario, se podría quitar de la cola un IRP, completarse con otra rutina de controlador y liberarse por el sistema antes de que se produzca la llamada a IoMarkIrpPending , lo que provoca un bloqueo.

Para obtener más información, consulte Sincronización de la cancelación de IRP.

Modelo de controlador: WDM

Cómo probar

En tiempo de compilación

Ejecute el Comprobador de controladores estáticos y especifique la regla MarkingQueuedIrps . Usa los pasos siguientes para ejecutar un análisis de tu código: Prepara el código (usa declaraciones de tipos de rol). Ejecuta el comprobador de controlador estático. 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

InsertHeadListIoCallDriverIoMarkIrpPendingKeAcquireInStackQueuedSpinLockKeAcquireSpinLockKeInsertByKeyDeviceQueueKeInsertDeviceQueueKeInsertQueue KeInsertQueueDpcKeReleaseInStackQueuedSpinLockKeReleaseSpinLockPoCallDriverRemoveHeadList