Aturan WdfSpinlock (kmdf)
Aturan WdfSpinlock menentukan bahwa panggilan ke metode WdfSpinLockAcquire digunakan dalam perubahan ketat dengan WdfSpinlockRelease. Di akhir rutinitas panggilan balik KMDF, driver tidak boleh memegang objek spinlock kerangka kerja yang diperoleh oleh panggilan sebelumnya ke WdfSpinLockAcquire.
Model driver: KMDF
Cara menguji
| Pada waktu kompilasi |
|---|
Jalankan Pemverifikasi Driver Statis dan tentukan aturan WdfSpinlock . Gunakan langkah-langkah berikut untuk menjalankan analisis kode Anda:
Untuk informasi selengkapnya, lihat Menggunakan Pemverifikasi Driver Statis untuk Menemukan Cacat pada Driver. |
Berlaku untuk
Saran dan Komentar
Segera hadir: Sepanjang tahun 2024 kami akan menghentikan penggunaan GitHub Issues sebagai mekanisme umpan balik untuk konten dan menggantinya dengan sistem umpan balik baru. Untuk mengetahui informasi selengkapnya, lihat: https://aka.ms/ContentUserFeedback.
Kirim dan lihat umpan balik untuk