Bagikan melalui

Fuzzing penundaan sinkronisasi kernel

  • Artikel

Catatan

Pemeriksaan ini tidak digunakan lagi mulai Windows 10 Build 19042 ke atas

Opsi fuzzing penundaan sinkronisasi Kernel mengacak jadwal utas untuk membantu mendeteksi bug konkurensi pada driver.

Hati Opsi ini tidak dimaksudkan untuk digunakan ketika Anda memverifikasi semua (atau kumpulan besar) driver pada komputer. Opsi ini harus digunakan hanya ketika Anda melakukan pengujian yang ditargetkan dari masing-masing driver atau driver filter yang terpasang. Menggunakan opsi ini pada sejumlah besar driver pada saat yang sama dapat menyebabkan hasil yang tidak dapat diprediksi, dan dapat memaksa crash pada komponen yang tidak terkait dengan driver yang Anda uji.

Catatan Opsi ini tersedia dimulai dengan Windows 8.1.

Saat opsi dipilih, Pemverifikasi Driver menyisipkan penundaan acak di berbagai titik di utas. Seperti opsi Power Framework Delay Fuzzing , opsi fuzzing penundaan sinkronisasi Kernel menggunakan algoritma yang menyediakan bantuan meningkatkan kemungkinan menemukan kesalahan pada driver. Fuzzing penundaan sinkronisasi kernel meningkat pada pengujian stres tradisional, di mana program pengujian dijalankan selama berhari-hari atau bahkan berhari-minggu dengan harapan menangkap masalah dalam yang dapat terjadi dalam eksekusi bersamaan.

Mengaktifkan opsi ini

Anda dapat mengaktifkan fitur fuzzing penundaan sinkronisasi Kernel untuk satu atau beberapa driver dengan menggunakan Driver Verifier Manager atau baris perintah Verifier.exe. Untuk detailnya, lihat Memilih Opsi Pemverifikasi Driver. Anda harus memulai ulang komputer untuk mengaktifkan atau menonaktifkan opsi Power Framework Delay Fuzzing.

Catatan Opsi fuzzing penundaan sinkronisasi Kernel meningkatkan kemungkinan kondisi balapan muncul pada runtime dengan menyisipkan penundaan acak pada berbagai panggilan fungsi API kernel. Agar penundaan ini lebih efektif, Anda dapat mengaktifkan opsi ini dengan opsi Pemverifikasi Driver lainnya. Karena penundaan yang dapat diperkenalkan, Anda dapat mengharapkan komputer memiliki respons yang lebih lambat.

  • Pada baris perintah

    Pada baris perintah, fuzzing penundaan sinkronisasi Kernel diwakili oleh pemverifikasi /bendera 0x00800000 (Bit 23). Untuk mengaktifkan Power Framework Delay Fuzzing, gunakan nilai bendera 0x00800000 atau tambahkan 0x00800000 ke nilai bendera. Contohnya:

    verifier /flags 0x00800000 /driver MyDriver.sys

    Fitur ini akan aktif setelah boot berikutnya.

  • Menggunakan Driver Verifier Manager

    1. Mulai Driver Verifier Manager. Ketik Pemverifikasi di jendela Prompt Perintah.
    2. Pilih Buat pengaturan kustom (untuk pengembang kode) lalu klik Berikutnya.
    3. Pilih Pilih pengaturan individual dari daftar lengkap.
    4. Pilih (centang) Kernel synchronization delay fuzzing.
    5. Mulai ulang komputer.

Mengapa sinkronisasi Kernel menunda fuzzing?

Sebagian besar rutinitas pengemudi bersifat reentrant dan bersamaan. Bug yang terkait dengan konkurensi sangat sulit ditemukan. Bug dapat mencakup kebuntuan dan kondisi balapan, yang disebabkan oleh masalah sinkronisasi dan waktu yang buruk di antara utas. Pengujian stres adalah teknik pengujian tradisional untuk menemukan bug ini, tetapi bisa lambat dan mahal, dan hasilnya tidak selalu dapat direproduksi. Opsi fuzzing penundaan sinkronisasi Kernel meningkatkan kemungkinan kondisi balapan muncul pada runtime dengan menyisipkan penundaan acak dalam berbagai panggilan fungsi API kernel. Misalnya, jika kondisi balapan menghasilkan pembalap yang mengakses IRP setelah dibatalkan, opsi fuzzing penundaan sinkronisasi Kernel meningkatkan kemungkinan kondisi balapan ini sedemikian rupa sehingga Pembalap Verifier akan mendeteksi kesalahan selama pengujian. Opsi fuzzing penundaan sinkronisasi Kernel meningkatkan daya dan efektivitas Driver Verifier.