Aturan SyncReqSend2 (kmdf)

Aturan SyncReqSend2 menentukan bahwa permintaan sinkron yang dikirim memiliki nilai batas waktu nonzero yang ditetapkan.

Jika driver memanggil WdfRequestSend tanpa mengatur waktu habis yang valid dalam opsi permintaan, utas dapat terhenti jika perangkat keras tidak segera merespons.

Model driver: KMDF

Cara menguji

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

WdfRequestSend