Aturan SpinLock (olahraga)
Aturan ini memverifikasi bahwa panggilan ke KeAcquireSpinLock segera diikuti dengan panggilan ke KeReleaseSpinlock. Jika driver memanggil KeAcquireSpinLockRaiseToDpc atau KeAcquireSpinLock lagi sebelum melepaskan kunci, itu gagal aturan. Selain itu, sebelum keluar dari pengiriman atau membatalkan rutinitas, pengemudi harus melepaskan kunci putar.
Model driver: Storport
Cara menguji
Pada waktu kompilasi |
---|
Jalankan Pemverifikasi Driver Statis dan tentukan aturan SpinLock . Gunakan langkah-langkah berikut untuk menjalankan analisis kode Anda:
Untuk informasi selengkapnya, lihat Menggunakan Pemverifikasi Driver Statis untuk Menemukan Cacat pada Driver. |
Berlaku untuk
KeAcquireSpinLockKeAcquireSpinLockRaiseToDpcKeReleaseSpinLock
Saran dan Komentar
https://aka.ms/ContentUserFeedback.
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:Kirim dan lihat umpan balik untuk