Aturan SyncReqSend (kmdf)

Aturan SyncReqSend menentukan bahwa semua permintaan pengiriman sinkron dilakukan dengan menggunakan metode antarmuka driver perangkat KMDF khusus sinkron, dan bahwa metode memiliki nilai batas waktu nonzero yang ditetapkan.

Jika driver memanggil metode WDFxxxSendXXXSynchronously tanpa mengatur batas waktu yang valid, utas dapat terhenti jika perangkat keras tidak segera merespons.

Model driver: KMDF

Cara menguji

Pada waktu kompilasi
Jalankan Pemverifikasi Driver Statis dan tentukan aturan SyncReqSend . 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

WdfIoTargetSendIoctlSynchronouslyWdfIoTargetSendReadSynchronouslyWdfIoTargetSendWriteSynchronouslyWdfUsbTargetDeviceSendControlTransferSynchronouslyWdfUsbTargetDeviceSendUrbSynchronouslyWdfUsbTargetPipeReadSynchronouslyWdfUsbTargetPipeSendUrbSynchronouslyWdfUsbTargetPipeWriteSynchronously