Aturan ExclusiveResourceAccess (wdm)

Aturan ExclusiveResourceAccess menentukan bahwa driver memanggil ExAcquireResourceExclusiveLite sebelum memanggil ExReleaseResourceLite atau ExReleaseResourceForThreadLite dan menentukan bahwa driver memanggil ExReleaseResourceLite atau ExReleaseResourceForThreadLite sebelum panggilan berikutnya ke ExAcquireResourceExclusiveLite.

Panggilan berlapis diizinkan jika mereka memperoleh dan merilis sumber daya yang berbeda. Panggilan berlapis untuk memperoleh atau merilis sumber daya yang sama melanggar aturan ini.

Aturan ini juga menyatakan bahwa ketika rutinitas berakhir, driver tidak boleh memiliki akses eksklusif ke sumber daya. Verifier Driver Statis memantau akhir rutinitas DriverEntry, AddDevice, StartIo, StartDevice, DpcForIsr, Cancel, Dispatch, RemoveDevice, dan Unload .

Model driver: WDM

Pemeriksaan bug ditemukan dengan aturan ini

Cara menguji

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

ExAcquireResourceExclusiveLiteExReleaseResourceForThreadLiteExReleaseResourceLite

Lihat juga

Mencegah Kesalahan dan Kebuntuan Saat Menggunakan Kunci Putar