Optiebestandsvelden

Een SDV-optiesbestand bevat de SDV-instellingen. Sommige van deze instellingen kunt u wijzigen. Andere instellingen zijn gereserveerd door SDV.

De velden in het optiesbestand dat u kunt wijzigen, zijn onder andere:

SDV_SlamConfig_Maximum_Driver_Size
Hiermee geeft u de maximale grootte van een stuurprogramma dat SDV ondersteunt (in termen van regels code). De standaardwaarde is 100.000 regels code.

SDV_SlamConfig_Timeout
Limieten voor de tijd die SDV kan besteden aan het verifiëren van elke regel. De waarde van dit item is een geheel getal dat een aantal seconden aangeeft. De minimumwaarde is 10, de maximumwaarde is 86400 en de standaardwaarde is 3000 (50 minuten).

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
Beperkt de hoeveelheid virtueel geheugen die SDV kan gebruiken bij het verifiëren van elke regel. De waarde van deze vermelding is een geheel getal in megabyteeenheden (MB). De minimumwaarde is 100 en de standaardwaarde is 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. De optimale waarde voor een systeem is ongeveer 200 MB kleiner dan de hoeveelheid fysiek geheugen op het systeem.

SDV_SlamConfig_NumberOfThreads
Hiermee stelt u het aantal threads in dat tijdens een verificatie moet worden gebruikt. Als de waarde 0 is, beperkt dit het aantal threads tot het aantal processors op de computer (inclusief hyperthreaded processors). Als de waarde is ingesteld op een getal dat groter is dan 0, geeft de waarde het aantal threads op dat SDV tijdens de verificatie kan gebruiken. Het verhogen van het aantal threads kan de runtimeprestaties van SDV verhogen, maar het kan ook het aantal time-outs verhogen dat optreedt. De standaardwaarde is 0. Als u SDV uitvoert op een multiprocessorcomputer die gebruikmaakt van de standaardwaarde, profiteert SDV automatisch van de extra processors.