Bidang File Opsi

File Opsi SDV berisi pengaturan SDV. Beberapa pengaturan ini dapat Anda ubah. Pengaturan lain dicadangkan oleh SDV.

Bidang dalam file opsi yang bisa Anda ubah menyertakan yang berikut ini:

SDV_SlamConfig_Maximum_Driver_Size
Menentukan ukuran maksimum driver yang akan didukung SDV (dalam hal baris kode). Nilai defaultnya adalah baris kode 100K.

SDV_SlamConfig_Timeout
Membatasi waktu yang dapat dihabiskan SDV untuk memverifikasi setiap aturan. Nilai entri ini adalah bilangan bulat yang mewakili sejumlah detik. Nilai minimum adalah 10, nilai maksimum adalah 86400, dan nilai defaultnya adalah 3000 (50 menit).

If SDV exceeds the per-rule time limit while verifying a rule, it terminates the verification and reports a Timeout in the command-line output and in Static Driver Verifier under the Results section on the Main tab.

SDV_SlamConfig_Spaceout
Membatasi jumlah memori virtual yang dapat dikonsumsi SDV saat memverifikasi setiap aturan. Nilai entri ini adalah bilangan bulat dalam unit megabyte (MB). Nilai minimum adalah 100, dan nilai defaultnya adalah 2500 MB (2,5 GB.)

If SDV exceeds the virtual memory limit while verifying a rule, it terminates the verification and reports a Spaceout in the command-line output and in Static Driver Verifier under the Results section on the Main tab.

If SDV reports a Spaceout, consider increasing the value of SDV_SlamConfig_Spaceout, stopping all other processes on the computer while SDV is running, or moving SDV to a computer with more memory. Nilai optimal untuk sistem adalah sekitar 200 MB kurang dari jumlah memori fisik pada sistem.

SDV_SlamConfig_NumberOfThreads
Mengatur jumlah utas yang akan digunakan selama verifikasi. Jika nilainya adalah 0, ini membatasi jumlah utas ke jumlah prosesor di komputer (ini termasuk prosesor hyper-threaded). Jika nilai diatur ke angka yang lebih besar dari 0, nilai menentukan jumlah utas yang dapat digunakan SDV selama verifikasi. Meningkatkan jumlah utas dapat meningkatkan performa run time SDV, tetapi mungkin juga meningkatkan jumlah waktu habis yang terjadi. Nilai defaultnya adalah 0. Jika Anda menjalankan SDV pada komputer multiprosesor yang menggunakan nilai default, SDV akan secara otomatis memanfaatkan prosesor tambahan.