Aturan RequestCompletedLocal (kmdf)

Aturan RequestCompletedLocal menentukan bahwa jika permintaan I/O tidak diselesaikan di salah satu EvtIoDefault, Fungsi panggilan balik EvtIoRead, EvtIoWrite, EvtIoDeviceControl, dan EvtIoInternalDeviceControl , dan jika WdfRequestMarkCancelable tidak dipanggil pada permintaan dalam fungsi panggilan balik, mungkin ada masalah dengan penyelesaian permintaan dalam kode driver.

Aturan ini hanya ditujukan untuk driver yang aturan RequestCompleted-nya tidak berlaku.

Model driver: KMDF

Cara menguji

Pada waktu kompilasi
Jalankan Pemverifikasi Driver Statis dan tentukan aturan RequestCompletedLocal . Gunakan langkah-langkah berikut untuk menjalankan analisis kode Anda: Siapkan kode Anda (gunakan deklarasi jenis peran). Jalankan Pemverifikasi Driver Statis. Lihat dan analisis hasilnya. Untuk informasi selengkapnya, lihat Menggunakan Pemverifikasi Driver Statis untuk Menemukan Cacat pada Driver.

Berlaku untuk

WdfDeviceEnqueueRequestWdfDmaTransactionInitializeWdfDmaTransactionInitializeUsingRequestWdfIoTargetSendInternalIoctlOthersSynchronouslyWdfIoTargetSendInternalIoctlSy secara sinkronWdfIoTargetSendIoctlSynchronouslyWdfIoTargetSendReadSynchronouslyWdfIoTargetSendWriteSynchronouslyWdfRequestCompleteWdfRequestCompleteWithInformationWdfRequestCompleteWithPriorityBoostWdfRequestForwardToIoQueueWdfRequestMarkCancelableWdfRequestMarkCancelableExWdfRequestSendWdfRequestStopAcknowledgeWdfWorkItemEnqueue