CompletionRoutineRegistered rule (wdm)

Die CompletionRoutineRegistered-Regel gibt an, dass die Dispatchroutine, wenn die Dispatchroutine-Routine eine IoCompletion-Routine mithilfe von IoSetCompletionRoutineEx registriert, danach IoCallDriver oder PoCallDriver aufrufen muss.

Die IoSetCompletionRoutineEx-Routine ordnet Arbeitsspeicher zu, der zugeordnet bleibt, bis die IoCompletion-Routine ausgeführt wird. Treiber müssen sicherstellen, dass ihre IoCompletion-Routine ausgeführt wird, indem sie IoCallDriver oder PoCallDriver aufrufen. Andernfalls wird der Kernel arbeitsspeicherverlusten.

Treibermodell: WDM

So führen Sie einen Test durch

Beim Kompilieren:

Führen Sie Static Driver Verifier aus, und geben Sie die CompletionRoutineRegistered-Regel an . Gehen Sie folgendermaßen vor, um Ihren Code zu analysieren: Bereiten Sie den Code vor (verwenden Sie Rollentypdeklarationen). Führen Sie Static Driver Verifier aus. Ü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:

IoCallDriverIoSetCompletionRoutineIoSetCompletionRoutineExPoCallDriver