Freigeben über


ReqCompletionRoutine-Regel (kmdf)

Die ReqCompletionRoutine-Regel gibt an, dass eine Vervollständigungsroutine festgelegt werden muss, bevor eine Anforderung an ein E/A-Ziel gesendet wird.

Wenn eine Anforderung nicht synchron gesendet wird oder nicht als Senden und Vergessen gesendet wird (angegeben durch das flag WDF_REQUEST_SEND_OPTION_SEND_AND_FORGET ), sollte der Treiber eine Vervollständigungsroutine festlegen, damit das E/A-Ziel den Treiber benachrichtigen kann, wenn die Anforderung abgeschlossen ist.

Treibermodell: KMDF

So führen Sie einen Test durch

Beim Kompilieren:

Führen Sie Static Driver Verifier aus, und geben Sie die Regel ReqCompletionRoutine an .

Gehen Sie folgendermaßen vor, um Ihren Code zu analysieren:
  1. Bereiten Sie den Code vor (verwenden Sie Rollentypdeklarationen).
  2. Führen Sie Static Driver Verifier aus.
  3. Überprüfen und analysieren Sie die Ergebnisse.

Weitere Informationen finden Sie unter Verwenden der statischen Treiberüberprüfung, um Fehler in Treibern zu finden.

Gilt für:

WdfRequestSendWdfRequestSetCompletionRoutine

Weitere Informationen

Abschließen von E/A-Anforderungenzum Synchronisieren von Abbruch- und VervollständigungscodeWDF_REQUEST_SEND_OPTIONS_FLAGSWDF_REQUEST_SEND_OPTIONS