Fuzzing penundaan sinkronisasi kernel

Nota

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

Opsi fuzzing penundaan sinkronisasi Kernel mengacak-acak penjadwalan utas untuk membantu mendeteksi masalah 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.

Nota 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 membantu meningkatkan kemungkinan menemukan kesalahan pada driver. Kernel synchronization delay fuzzing meningkatkan pengujian stres tradisional, di mana program pengujian dijalankan selama berjam-jam atau bahkan berminggu-minggu dengan harapan menangkap masalah yang dapat terjadi selama 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.

Nota Opsi fuzzing penundaan sinkronisasi Kernel meningkatkan probabilitas kondisi balapan yang 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 command line, fuzzing penundaan sinkronisasi Kernel diwakili oleh verifier /flags 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 Pengelola Verifikasi Pengemudi

  1. Mulai Manajer Verifikasi Driver. Ketik Pemverifikasi di jendela Command Prompt.
  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 lomba, yang disebabkan oleh masalah sinkronisasi dan pengaturan waktu yang tidak tepat antara utas. Pengujian stres adalah teknik pengujian tradisional untuk menemukan bug ini, tetapi bisa lambat dan mahal, dan hasilnya tidak selalu dapat direproduksi. Opsi pengujian ketahanan penundaan sinkronisasi Kernel meningkatkan probabilitas kondisi perlombaan yang muncul saat runtime dengan menyisipkan penundaan acak dalam berbagai panggilan fungsi API di kernel. Misalnya, jika kondisi lomba balap menyebabkan driver mengakses IRP setelah dibatalkan, opsi fuzzing penundaan sinkronisasi Kernel meningkatkan kemungkinan kondisi lomba balap ini sehingga Driver Verifier akan mendeteksi kesalahan selama pengujian. Opsi fuzzing penundaan sinkronisasi Kernel meningkatkan daya dan efektivitas Driver Verifier.