Seçenek Dosyası Alanları

SDV Seçenekleri dosyası SDV ayarlarını içerir. Bu ayarlardan bazılarını değiştirebilirsiniz. Diğer ayarlar SDV tarafından ayrılmıştır.

Seçenekler dosyasındaki değiştirebileceğiniz alanlar şunlardır:

SDV_SlamConfig_Maximum_Driver_Size
SDV'nin destekleyeceği bir sürücünün en büyük boyutunu belirtir (kod satırları açısından). Varsayılan değer 100.000 kod satırıdır.

SDV_SlamConfig_Timeout
SDV'nin her kuralı doğrulamak için harcayabileceği süreyi sınırlar. Bu girdinin değeri, saniye sayısını temsil eden bir tamsayıdır. En düşük değer 10, maksimum değer 86400 ve varsayılan değer 3000 'dir (50 dakika).

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
SDV'nin her kuralı doğrularken kullanabileceği sanal bellek miktarını sınırlar. Bu girdinin değeri megabayt (MB) birim cinsinden bir tamsayıdır. En düşük değer 100, varsayılan değer ise 2500 MB (2,5 GB) olur.

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. Sistem için en uygun değer, sistemdeki fiziksel bellek miktarından yaklaşık 200 MB daha azdır.

SDV_SlamConfig_NumberOfThreads
Doğrulama sırasında kullanılacak iş parçacığı sayısını ayarlar. Değer 0 ise, iş parçacığı sayısını bilgisayardaki işlemci sayısıyla sınırlar (bu, hiper iş parçacıklı işlemcileri içerir). Değer 0'dan büyük bir sayıya ayarlanırsa, değer SDV'nin doğrulama sırasında kullanabileceği iş parçacığı sayısını belirtir. İş parçacığı sayısını artırmak SDV'nin çalışma süresi performansını artırabilir, ancak oluşan zaman aşımlarının sayısını da artırabilir. Varsayılan değer 0'dır. Varsayılan değeri kullanan çok işlemcili bir bilgisayarda SDV çalıştırıyorsanız, SDV otomatik olarak ek işlemcilerden yararlanacaktır.