Menggunakan Driver Verifier untuk mengidentifikasi masalah dengan driver Windows untuk pengguna tingkat lanjut

Verifier pengandar yang disertakan dalam Windows 7, Windows Server 2008 R2, Windows Vista, Windows Server 2008, Windows 2000, Windows XP, dan Windows Server 2003 untuk mempromosikan stabilitas dan keandalan; Anda dapat menggunakan alat ini untuk memecahkan masalah pengandar. Komponen kernel-mode Windows dapat menyebabkan sistem korupsi atau sistem kegagalan sebagai akibat dari pengandar yang tidak semestinya tertulis, seperti versi sebelumnya dari pengandar Model pengandar Windows (WDM). Artikel ini menjelaskan cara menggunakan Driver Verifier untuk mengisolasi dan memecahkan masalah pengandar dalam sistem.

Artikel ini membahas topik-topik berikut:

• Sopir Verifier kemampuan
• I/O Verifier
• Sopir Verifier persyaratan
• Memungkinkan Driver Verifier
• Debugging Driver Verifier pelanggaran
• Verifier sopir dan driver grafis
• Sopir Verifier Manager (Verifier.exe)
• Global Counter
• Renang pelacakan
• Tataan
• Pengaturan volatil
• Antarmuka baris perintah
• Informasi tambahan untuk pengembang Driver

Sopir Verifier kemampuan

Anda dapat menggunakan Driver Verifier dengan menjalankan Verifier.exe dan kemudian me-restart komputer Anda. Anda tidak perlu melakukan perubahan lain untuk mulai menganalisis driver dalam sistem.

Sopir Verifier menyediakan kemampuan berikut.

Kolam renang alokasi

Upaya untuk mengalokasikan semua driver's renang alokasi dari kolam khusus. Alih-alih berbagi kolam renang alokasi dengan seluruh sistem, alokasi pengandar ini terisolasi dan terikat oleh izin akses tidak. Kemampuan ini menentukan jika pengandar mengalokasikan lebih daripada berbagi kolam dan karena itu menyebabkan ketidakstabilan korupsi dan sistem sebagai hasilnya. Bila Anda mengaktifkan kemampuan ini dan komputer target memiliki cukup fisik dan memori virtual, semua pengemudi alokasi secara otomatis dialihkan ke kolam renang yang khusus.

Memberikan tekanan ekstrem memori

Tekanan ekstrim memori dapat disediakan pada driver tertentu tanpa mempengaruhi pembalap lain (terlepas dari ukuran memori sistem). Anda dapat melakukan ini dengan memerintahkan manajemen memori untuk membatalkan semua pengemudi model kode dan data, serta sistem paged renang, kode dan data. Hal ini memungkinkan Anda mendeteksi pengandar yang berpendapat salah spin kunci atau menimbulkan IRQL dan kemudian mendapatkan akses ke kode paged atau data. Anda dapat menggunakan ekstrim memori tekanan untuk mendeteksi masalah intermiten dan mengisolasi penyebab.

Parameter validasi

Semua berputar kunci, IRQL dan kolam renang alokasi panggilan sopir membuat menerima parameter otomatis validasi. Ini berarti bahwa cek yang dibuat untuk memastikan hal-hal berikut:

• IRQL mengangkat benar-benar adalah mengangkat IRQL (IRQL saat ini adalah kurang dari target IRQL).
• IRQL rendah benar-benar adalah IRQL lebih rendah.
• Ganda rilis Lock spin.
• Spin kunci akuisisi/rilis yang dibuat pada IRQL tepat.
• Renang paged alokasi/membebaskan dilakukan pada IRQL benar (APC_LEVEL atau di bawah ini).
• Non-paged renang alokasi/membebaskan dilakukan pada IRQL benar (DISPATCH_LEVEL atau di bawah ini).
• Nilai (uninitialized) tidak acak ditentukan untuk ini antarmuka pemrograman aplikasi (api).

Kolam renang alokasi injeksi kegagalan

Kolam renang alokasi yang tidak ditandai MUST_SUCCEED oleh pengemudi dapat secara acak gagal untuk memastikan driver dapat menangani situasi memori rendah.

Renang dibebaskan

Semua renang dibebaskan diperiksa untuk memastikan tidak ada timer tertunda di dalam kolam renang alokasi karena kasus ini akan menyebabkan sangat keras untuk melacak sistem crash.

Deteksi kebocoran kolam renang

Semua pengemudi renang alokasi otomatis dilacak. Saat membongkar sopir, cek bug terjadi jika salah satu alokasi tidak dibebaskan. Anda dapat menggunakan ! verifier 3 kernel-debugger perintah untuk menunjukkan semua alokasi yang tidak dibebaskan. Anda juga dapat menggunakan perintah ini sebelum pembongkaran untuk melihat alokasi luar biasa pengemudi memiliki pada setiap titik dalam waktu.

Sopir membongkar memeriksa

Sopir membongkar memeriksa dilakukan untuk menangkap driver yang membongkar dan tidak membersihkan sumber daya yang digunakan (yang akan meningkatkan kemungkinan cek bug sistem tak lama setelah driver unloads). Sumber daya yang tidak dapat menghapus pengandar termasuk selain tampilan daftar, tertunda ditangguhkan procedure calls (DPCs), pekerja benang, antrian, timer, dan sumber daya lainnya.

I/O Verifier

Jika Anda menghidupkan bendera I/O Verifier menggunakan alat Verifier atau kunci registri VerifyDriverLevel (untuk informasi lebih lanjut, lihat bagian "Memungkinkan Driver verifikasi" dari artikel ini), beberapa manajer IO verifikasi dihidupkan. Ini termasuk:

• Semua IRPS dialokasikan melalui IoAllocateIrp dialokasikan dari kolam khusus.
• Cek dibuat IoCallDriver, IoCompleteRequest, dan IoFreeIrp untuk menangkap pesan kesalahan driver.
• Semua i/O Verifier kegagalan cek bug dengan kode DRIVER_VERIFIER_IOMANAGER_VIOLATION (0xC9).

Sopir Verifier persyaratan

Satu-satunya persyaratan adalah bahwa Anda harus menginstal Windows 7, Windows Server 2008 R2, Windows Vista, Windows Server 2008, Windows 2000, Windows XP, atau Windows Server 2003. Anda dapat mengaktifkan Driver Verifier ritel dan versi Windows yang diperiksa. Lihat Basis Pengetahuan Microsoft artikel 251233 untuk informasi tentang apa yang harus dipertimbangkan sebelum Anda mengaktifkan Driver Verifier Manager di server produksi. Jika Norton Antivirus diinstal, mengaktifkan deteksi Deadlock Driver Verifier karena dari rekomendasi dalam Basis Pengetahuan Microsoft artikel 325672.

Memungkinkan Driver Verifier

Anda dapat mengaktifkan Driver Verifier dengan menggunakan Verifier.exe. Verifier.exe disertakan dengan setiap salinan Windows dan secara otomatis dipasang ke System32 folder. Verifier.exe memiliki kedua baris perintah dan grafis pengguna antarmuka (GUI) antarmuka, sehingga Anda dapat menentukan driver dan sesuai tingkat verifikasi. Anda juga dapat melihat Driver Verifier statistik secara real time. Untuk informasi tambahan, lihat bagian "Pengandar Verifier Manager" dari artikel ini.

Debugging Driver Verifier pelanggaran

Kedua ! verifier perintah kernel debugger dan alat Verifier.exe menunjukkan saat ini Driver Verifier konfigurasi dan statistik secara real time.

Semua Driver Verifier pelanggaran mengakibatkan cek bug, yang paling umum (walaupun tidak semua) adalah:

• IRQL_NOT_LESS_OR_EQUAL 0XA
• PAGE_FAULT_IN_NONPAGED_AREA 0X50
• PAGE_FAULT_IN_NONPAGED_AREA 0X50
• ATTEMPTED_WRITE_TO_READONLY_MEMORY 0XBE
• SPECIAL_POOL_DETECTED_MEMORY_CORRUPTION 0XC1
• DRIVER_VERIFIER_DETECTED_VIOLATION 0XC4
• DRIVER_CAUGHT_MODIFYING_FREED_POOL 0XC6
• TIMER_OR_DPC_INVALID 0XC7
• DRIVER_VERIFIER_IOMANAGER_VIOLATION 0XC9

Verifier sopir dan driver grafis

Kernel mode Windows driver grafis (seperti printer dan tampilan sopir dll) dilarang menelepon renang entry point langsung. Sebaliknya, kolam renang alokasi dilakukan langsung menggunakan pengandar perangkat grafis antarmuka (DDI) callback untuk Win32k.sys. Sebagai contoh, EngAllocMem adalah callback yang graphics driver panggilan secara eksplisit mengalokasikan memori kolam renang. Juga, callback lain khusus seperti EngCreatePalette dan EngCreateBitmap kembali memori kolam renang.

Untuk menyediakan sama jenis pengujian otomatis untuk driver grafis, dukungan untuk beberapa fungsi Driver Verifier dimasukkan ke dalam Win32k.sys. Namun, karena driver grafis lebih terbatas daripada pengandar kernel mode lain, mereka memerlukan hanya sebuah subset dari fungsi Driver Verifier. Secara khusus, IRQL memeriksa dan verifikasi I/O tidak diperlukan. Fungsi lainnya, yaitu menggunakan khusus renang, acak kegagalan dari kolam renang alokasi, dan renang pelacakan, didukung untuk derajat yang bervariasi dalam callback DDI grafis yang berbeda.

Kegagalan acak yang didukung untuk grafis berikut DDI fungsi panggilan balik:

• EngAllocMem
• EngAllocUserMem
• EngCreateBitmap
• EngCreateDeviceSurface
• EngCreateDeviceBitmap
• EngCreatePalette
• EngCreateClip
• EngCreatePath
• EngCreateWnd
• EngCreateDriverObj
• BRUSHOBJ_pvAllocRbrush
• CLIPOBJ_ppoGetPath

Selain itu, penggunaan khusus kolam renang dan kolam renang pelacakan didukung untuk EngAllocMem.

Memungkinkan Driver Verifier untuk driver grafis identik dengan pengemudi lain (lihat bagian "Memungkinkan Driver Verifier" dari artikel ini untuk informasi tambahan). Bendera tidak didukung seperti IRQL memeriksa diabaikan. Selain itu, Anda dapat menggunakan ! gdikdx.verifier kernel-debugger perintah untuk memeriksa Driver Verifier saat ini negara dan kolam renang jejak untuk driver grafis.

CATATAN: Anda hanya menggunakan acak alokasi kegagalan pengaturan untuk ketahanan pengujian. Gunakan pengaturan ini dapat menyebabkan pesan galat render, sehingga Anda tidak harus menggunakan pengaturan ini dengan verifikasi tes untuk memeriksa kebenaran pelaksanaan graphics driver (misalnya, dengan membandingkan grafik driver output untuk gambar referensi).

Sopir Verifier Manager (Verifier.exe)

Alat Driver Verifier Manager (Verifier.exe) adalah cara untuk membuat dan mengubah pengaturan Driver Verifier dan untuk mengumpulkan statistik dari Driver Verifier. Verifier.exe terletak di map %WinDir%\System32 untuk setiap instalasi Windows.

Sopir Status

The Sopir Status Halaman properti memberi Anda gambaran tentang status Driver Verifier. Anda dapat melihat apa driver verifier mendeteksi. Status dapat menjadi salah satu dari berikut ini:

• Dimuat: Driver adalah saat ini dimuat dan dilakukan verifikasi.
• Diturunkan: Pengemudi tidak dimuat saat ini tapi itu penuh setidaknya sekali karena Anda me-restart komputer.
• Tidak pernah dimuat: Pengemudi tidak pernah dimuat. Status ini dapat menunjukkan bahwa pengemudi gambar berkas rusak atau bahwa Anda tentukan pengandar nama yang hilang dari sistem.

Anda dapat mengklik Daftar header untuk menyortir daftar berdasarkan nama sopir atau status. Di daerah kanan kotak dialog, Anda dapat melihat saat ini jenis verifikasi yang berlaku. Status driver diperbarui secara otomatis jika Anda tidak beralih ke mode ?Refresh manual. Anda dapat mengubah kecepatan refresh menggunakan tombol radio di daerah kiri kotak dialog. Anda juga dapat memaksa pembaruan status dengan mengklik Perbarui sekarang.

Jika Anda mengaktifkan bendera renang khusus dan kurang dari 95 persen dari alokasi renang pergi ke kolam renang khusus, pesan peringatan akan ditampilkan pada Halaman ini. Ini berarti bahwa Anda perlu untuk memilih seperangkat kecil pengandar untuk memverifikasi atau menambahkan memori fisik lebih ke komputer untuk mendapatkan lebih baik cakupan verifikasi alokasi kolam renang.

Global Counter

The Global Counter Halaman properti menunjukkan nilai sekarang dari beberapa Counter yang dikelola oleh Driver Verifier. Nilai nol untuk counter dapat menunjukkan bahwa bendera Driver Verifier terkait tidak diaktifkan. Sebagai contoh, nilai 0 untuk yang lain / kesalahan counter menunjukkan bahwa sumber-daya rendah simulasi bendera tidak diaktifkan. Anda dapat memantau aktivitas verifier karena nilai-nilai counter diperbarui secara otomatis (secara default). Anda dapat mengubah kecepatan refresh, beralih ke ?Refresh manual, atau memaksa refresh yang menggunakan kelompok kontrol dalam bidang kiri kotak dialog.

Renang pelacakan

Halaman properti ini menunjukkan lebih statistik yang dikumpulkan dari Driver Verifier. Semua Counter yang ditampilkan pada Halaman ini berkaitan dengan kolam renang pelacakan bendera verifier. Kebanyakan dari mereka adalah per pengandar counter (misalnya, alokasi saat ini, saat ini dialokasikan byte, dan seterusnya). Ini berarti Anda harus memilih nama pembalap dari kombinasi atas kotak untuk melihat counter untuk pengandar yang khusus.

Tataan

Anda dapat menggunakan halaman ini untuk membuat dan mengubah pengaturan Driver Verifier. Pengaturan akan disimpan dalam registri dan Anda harus me-restart komputer untuk pengaturan untuk mengambil efek. Anda dapat menggunakan daftar untuk melihat pengandar yang diinstal. Setiap mobil dapat di salah satu negara berikut:

• Memverifikasi Enabled: Driver saat ini diverifikasi.
• Memverifikasi penyandang cacat: Driver saat ini tidak diverifikasi.
• Memverifikasi Enabled (Reboot diperlukan): Driver diverifikasi hanya setelah restart berikutnya.
• Memverifikasi penyandang cacat (Reboot diperlukan): Driver saat ini diverifikasi tetapi tidak terverifikasi setelah restart berikutnya.

Anda dapat memilih satu atau beberapa driver dari daftar dan menukar status menggunakan dua tombol di bawah daftar. Anda juga dapat klik-kanan pengandar nama untuk menampilkan menu konteks, yang memungkinkan Anda melakukan negara toggling.

Di bagian bawah kotak dialog, Anda dapat menentukan driver tambahan (dipisah dengan spasi) bahwa Anda ingin diverifikasi setelah restart berikutnya. Anda biasanya menggunakan kontrol edit ini ketika Anda ingin menginstal driver baru yang tidak sudah penuh.

Jika tombol radio grup di daftar diatur ke Memverifikasi semua driver, daftar dan Verifikasi dan Tidak memverifikasi tombol dan kontrol edit tidak tersedia. Ini berarti bahwa setelah restart berikutnya, semua driver dalam sistem diverifikasi.

Anda dapat mengatur jenis verifikasi yang menggunakan kotak centang di daerah kanan kotak dialog. Anda dapat mengaktifkan I/O verifikasi pada tingkat 1 atau pada tingkat 2. Tingkat 2 verifikasi lebih kuat daripada tingkat 1.

Anda harus menyimpan setiap modifikasi untuk pengaturan dengan mengklik Menerapkan. Ada dua tombol lebih dalam Halaman ini:

• Pengaturan pilihan: Ini memilih beberapa pengaturan yang sering digunakan (dengan semua driver diverifikasi).
• Me-reset semua: Ini membersihkan semua pengaturan Driver Verifier sehingga driver tidak diverifikasi.

Setelah Anda mengklik Menerapkan, Anda harus me-restart komputer agar perubahan berlaku.

Pengaturan volatil

Anda dapat menggunakan halaman properti ini untuk mengubah bendera Driver Verifier segera. Anda hanya dapat beralih keadaan beberapa Driver Verifier bendera dan Anda tidak dapat mengubah daftar pembalap yang menjadi diverifikasi. Setelah Anda mengubah status beberapa kotak centang, Anda harus meng-klik Menerapkan agar perubahan berlaku. Perubahan berlaku segera dan mereka terakhir sampai Anda membuat perubahan tambahan atau hingga Anda me-restart komputer.

Antarmuka baris perintah

Anda juga dapat menjalankan Verifier.exe dari baris perintah (untuk informasi lebih lanjut, jenis Verifier.exe /? pada prompt perintah). Daftar berikut menunjukkan yang paling umum digunakan bendera baris perintah:

• Verifier.exe /flags nilai [/ iolevel 2]
  Menentukan nilai desimal bendera Driver Verifier dan mungkin tingkat untuk verifikasi I/O (untuk daftar tersedia bendera, jenis Verifier.exe /? pada prompt perintah atau merujuk kepada "Memungkinkan Driver Verifier" bagian dari artikel ini).
  
  Menggantikan nilai parameter dengan salah satu berikut verifikasi sedikit nilai:
  0 - Kolam khusus memeriksa
  1 - Force IRQL memeriksa
  2 - Rendah sumber daya simulasi
  3 - Kolam pelacakan
  4 - I/O verifikasi
  5 - Kebuntuan deteksi
  6 - Enhanced I/O verifikasi
  7 - DMA verifikasi
  Sebagai contoh, ketik perintah berikut:
  c:\verifier /flags 3 /iolevel 2
  CATATAN: I/O verifikasi level standar adalah 1. Nilai akan diabaikan jika I/O verifikasi bit tidak ditetapkan di bendera.
• Verifier.exe/semua
  Memverifikasi semua driver dalam sistem.
• Verifier.exe /volatile/bendera nilai
  Verifier perubahan bendera segera.
• Verifier.exe /reset
  Menghapus semua pengaturan Driver Verifier saat ini.
• Verifier /query
  Membuang status Driver Verifier saat ini dan Counter output standar.
• Verifier.exe/log LOG_FILE_NAME [/interval detik]
  Log Driver Verifier status dan Counter untuk log file (di mana detik adalah periode waktu yang Anda tentukan).

Informasi tambahan untuk pengembang Driver

Bagian yang mengikuti menggambarkan rincian tambahan tentang pengaturan verifier pengandar yang mungkin menarik untuk pengembang sopir. Pengaturan ini umumnya tidak diperlukan oleh profesional TI.
Penting Bagian ini, metode, atau tugas yang memuat langkah-langkah yang memberitahu Anda bagaimana memodifikasi registri. Namun, masalah yang serius dapat terjadi apabila Anda salah memodifikasi registri. Oleh karena itu, pastikan Anda mengikuti langkah-langkah tersebut dengan seksama. Untuk perlindungan tambahan, buat cadangan registri sebelum Anda memodifikasi. Kemudian, Anda dapat memulihkan registri apabila terjadi masalah. Untuk informasi selengkapnya tentang cara membuat cadangan dan memulihkan registri, klik nomor artikel berikut ini untuk melihat artikel di Pangkalan Pengetahuan Microsoft:
Untuk mengaktifkan Driver Verifier dengan mengedit registri, ikuti langkah berikut:

1. Jalankan Registry Editor (Regedt32).
2. Temukan kunci registri berikut:
   HKEY_LOCAL_MACHINE SYSTEM CurrentControlSet Control Session Manager Memory Management\VerifyDrivers
3. Mengedit tombol REG_SZ.

Tetapkan kode kunci REG_SZ untuk nama-nama case-insensitive pengandar yang ingin Anda tes. Anda dapat menetapkan beberapa driver, tetapi hanya menggunakan satu driver. Dengan demikian, Anda dapat memastikan bahwa sumber daya sistem yang tersedia tidak sebelum waktunya habis. Prematur kelelahan sumber daya tidak menyebabkan sistem keandalan masalah, tetapi dapat menyebabkan beberapa pengandar yang memeriksa yang akan dilewati.

Daftar berikut menunjukkan contoh-contoh dari nilai-nilai untuk REG_SZ kunci:

• NTFS.sys
• Win32k.sys ftdisk.sys
• *.sys

Anda dapat menentukan tingkat sopir verifikasi dalam kunci registri berikut:Daftar berikut menunjukkan nilai-nilai medan bit untuk kunci ini. Anda dapat dengan bebas menggabungkan nilai-nilai ini:

• 0x01: mencoba untuk memuaskan semua alokasi dari kolam khusus.
• 0x02: berlaku memori tekanan untuk pengandar ini untuk memvalidasi penggunaan IRQL tentang mengakses model kode dan data.
• 0x04: secara acak gagal berbagai alokasi permintaan. Tindakan ini hanya dilakukan setelah sistem telah dimulai dan mencapai titik di mana masalah dapat diperlakukan sebagai masuk akal situasi yang harus ditangani.
• 0x08: mengaktifkan pelacakan alokasi kolam renang. Alokasi setiap harus dibebaskan sebelum driver unloads atau sistem melakukan cek bug.
• 0x10: Aktifkan I/O verifier.

CATATAN: Nilai default adalah 3 jika kunci tidak ada, atau jika Anda tidak menentukan tingkat sopir verifikasi. Nilai default adalah 0x1B jika Anda menggunakan pengaturan pilihan dalam Verifier Utility. Untuk melacak kebocoran memori, cobalah nilai 0xB. Nilai ini adalah paling mudah diperoleh dengan mengklik untuk memilih pengaturan pilihan Periksa kotak dan mengklik untuk mengosongkan Verifikasi I/O kotak centang.