RequestCompleted rule (kmdf)

RequestCompleted 规则指定，对于非筛选器驱动程序，必须完成向驱动程序的默认 I/O 队列提出的每个请求，除非请求已延迟或转发，或者调用 WdfRequestStopAcknowledge。

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

• 请求延迟 (到 DPC 或工作项，例如) 。 在这种情况下，可以使用 DeferredRequestCompleted 规则。

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

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

• WdfRequestStopAcknowledge 已调用

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

• 队列的 EvtIoStop、EvtCleanupCallback 或 EvtDestroyCallback

• 文件对象的 EvtCleanupCallback 或 EvtDestroyCallback

• 设备的 EvtFileClose、EvtFileCleanup、EvtDeviceSelfManagedIoSuspend、EvtDeviceSelfManagedIoFlush、EvtDeviceSelfManagedIoCleanup、EvtDeviceShutdownNotification、EvtDeviceSurpriseRemoval、EvtCleanupCallback 或 EvtDestroyCallback

• EvtDriverUnload

用于请求呈现的 I/O 队列回调函数为 EvtIoDefault、 EvtIoRead、 EvtIoWrite、 EvtIoDeviceControl 和 EvtIoInternalDeviceControl

驱动程序模型：KMDF

如何测试

编译时
运行 静态驱动程序验证程序 并指定 RequestCompleted 规则。 使用以下步骤运行代码分析： 准备代码 (使用角色类型声明) 。 运行静态驱动程序验证程序。 查看和分析结果。 有关详细信息，请参阅 使用静态驱动程序验证程序查找驱动程序中的缺陷。

适用于

WdfDeviceEnqueueRequestWdfDmaTransactionInitializeWdfDmaTransactionInitializeUsingRequestWdfIoTargetSendInternalIoctlOthersSynchronouslyWdfIoTargetSendInternalIoctlSynchronouslyWdfIoTargetSendIoctlSynchronouslyWdfIoTargetSendReadSynchronouslyWdfIoTargetSendWriteSynchronouslyWdfRequestCompleteWdfRequestCompleteWithInformationWdfRequestCompleteWithPriorityBoostWdfRequestForwardToIoQueueWdfRequestMarkCancelableWdfRequestMarkCancelableExWdfRequestSendWdfRequestStopAcknowledgeWdfWorkItemEnqueue