DeferredRequestCompleted 规则 (kmdf)

DeferredRequestCompleted 规则指定,如果提供给驱动程序的默认 I/O 队列的 I/O 请求未在回调函数中完成,但延迟处理,则必须在延迟处理回调函数中完成该请求,除非将请求转发并传递到框架,或者除非调用 WdfRequestStopAcknowledge 方法。

DeferredRequestCompleted 规则要求使用__sdv_save_request__sdv_retrieve_request宏标识延迟的请求。 有关如何使用这些宏的信息,请参阅 对延迟过程调用使用__sdv_save_request和__sdv_retrieve_request。 前置条件规则 AliasWithinTimerDpc 检查是否存在这些宏。

在退出 I/O 请求回调函数之前,必须完成通过其中一个队列回调函数呈现给驱动程序的默认队列的请求,但以下情况除外:

  • I/O 请求已转发到 I/O 目标或其他队列

  • I/O 请求通过调用 WdfDeviceEnqueueRequest) 传递到框架 (

  • 调用了 WdfRequestStopAcknowledge 方法

当驱动程序退出以下回调函数时,将验证规则:

  • 队列的 EvtIoStopEvtCleanupCallbackEvtDestroyCallback

  • 文件对象的 EvtCleanupCallbackEvtDestroyCallback

  • 设备的 EvtFileCloseEvtFileCleanupEvtDeviceSelfManagedIoSuspendEvtDeviceSelfManagedIoFlushEvtDeviceSelfManagedIoCleanupEvtDeviceShutdownNotificationEvtDeviceSurpriseRemovalEvtCleanupCallbackEvtDestroyCallback

  • EvtDriverUnload

I/O 请求表示的 I/O 队列回调函数为 EvtIoDefaultEvtIoReadEvtIoWriteEvtIoDeviceControlEvtIoInternalDeviceControl

I/O 请求的延迟处理回调函数为 EvtTimerFuncEvtDpcFuncEvtInterruptDpcEvtInterruptEnableEvtInterruptDisableEvtWorkItem

DeferredRequestCompleted 规则使用对 WdfRequestMarkCancelableWdfDmaTransactionInitializeUsingRequestWdfDmaTransactionInitializeWdfWorkItemEnqueue 方法的调用来指示 I/O 请求被推迟。

驱动程序模型:KMDF

如何测试

编译时

运行 静态驱动程序验证程序 并指定 DeferredRequestCompleted 规则。

使用以下步骤运行代码分析:
  1. 准备代码 (使用角色类型声明) 。
  2. 运行静态驱动程序验证程序。
  3. 查看和分析结果。

有关详细信息,请参阅 使用静态驱动程序验证程序查找驱动程序中的缺陷

适用于

WdfDeviceEnqueueRequestWdfDmaTransactionInitializeWdfDmaTransactionInitializeUsingRequestWdfIoTargetSendInternalIoctlOthersSynchronouslyWdfIoTargetSendInternalIoctlSynchronouslyWdfIoTargetSendIoctlSynchronouslyWdfIoTargetSendReadSynchronouslyWdfIoTargetSendWriteSynchronouslyWdfRequestCompleteWdfRequestCompleteWithInformationWdfRequestCompleteWithPriorityBoostWdfRequestForwardToIoQueueWdfRequestMarkCancelableWdfRequestMarkCancelableExWdfRequestSendWdfRequestStopAcknowledgeWdfRequestUnmarkCancelableWdfWorkItemEnqueue