Fuzzing Penundaan Power Framework

Catatan

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

Opsi Power Framework Delay Fuzzing mengacak jadwal utas untuk membantu mendeteksi bug konkurensi pada driver yang menggunakan kerangka kerja manajemen daya (PoFx). Opsi ini tidak disarankan untuk driver yang tidak secara langsung menggunakan kerangka kerja manajemen daya (PoFx).

Catatan Opsi ini tersedia dimulai dengan Windows 8.

Saat opsi dipilih, Pemverifikasi Driver menyisipkan penundaan acak di berbagai titik di utas. Opsi Power Framework Delay Fuzzing menggunakan algoritma yang memberikan jaminan probabilistik untuk menemukan kesalahan dalam driver. Power Framework Delay Fuzzing 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.

Sebagian besar rutinitas pengemudi bersifat reentrant dan bersamaan. Bug 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, tetapi bisa lambat dan mahal, dan hasilnya tidak selalu dapat direproduksi. Opsi Power Framework Delay Fuzzing meningkatkan probabilitas kondisi balapan yang muncul pada runtime dengan menyisipkan penundaan acak pada berbagai panggilan fungsi API daya. Misalnya, jika kondisi balapan menghasilkan pembalap yang mengakses IRP setelah dibatalkan, opsi Power Framework Delay Fuzzing meningkatkan kemungkinan kondisi balapan ini sedemikian rupa sehingga Driver Verifier akan mendeteksi kesalahan selama pengujian. Opsi Power Framework Delay Fuzzing memperluas daya dan kegunaan Driver Verifier.

Mengaktifkan opsi ini

Anda dapat mengaktifkan fitur Power Framework Delay Fuzzing 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 Power Framework Delay Fuzzing meningkatkan probabilitas kondisi balapan yang muncul pada runtime dengan menyisipkan penundaan acak pada berbagai panggilan fungsi API daya. 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, Power Framework Delay Fuzzing diwakili oleh pemverifikasi /bendera 0x00008000 (Bit 15). Untuk mengaktifkan Power Framework Delay Fuzzing, gunakan nilai bendera 0x00008000 atau tambahkan 0x00008000 ke nilai bendera. Contohnya:

  verifier /flags 0x00008000 /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) Power Framework Delay Fuzzing.
  5. Mulai ulang komputer.