Champs de fichier d’options

Un fichier Options SDV contient les paramètres SDV. Certains de ces paramètres que vous pouvez modifier. D’autres paramètres sont réservés par SDV.

Les champs du fichier d’options que vous pouvez modifier sont les suivants :

SDV_SlamConfig_Maximum_Driver_Size
Spécifie la taille maximale d’un pilote pris en charge par SDV (en termes de lignes de code). La valeur par défaut est 100 000 lignes de code.

SDV_SlamConfig_Timeout
Limite le temps que SDV peut consacrer à la vérification de chaque règle. La valeur de cette entrée est un entier qui représente un nombre de secondes. La valeur minimale est 10, la valeur maximale est 86400 et la valeur par défaut est 3000 (50 minutes).

Si SDV dépasse la limite de temps par règle lors de la vérification d’une règle, il met fin à la vérification et signale un délai d’attente dans la sortie de la ligne de commande et dans le vérificateur de pilote statique sous la section Résultats de l’onglet Principal .

SDV_SlamConfig_Spaceout
Limite la quantité de mémoire virtuelle que SDV peut consommer lors de la vérification de chaque règle. La valeur de cette entrée est un entier en unités de mégaoctet (Mo). La valeur minimale est 100 et la valeur par défaut est de 2500 Mo (2,5 Go).

Si SDV dépasse la limite de mémoire virtuelle lors de la vérification d’une règle, il met fin à la vérification et signale un espacement dans la sortie de la ligne de commande et dans le vérificateur de pilote statique sous la section Résultats de l’onglet Principal .

Si SDV signale un Spaceout, envisagez d’augmenter la valeur de SDV_SlamConfig_Spaceout, d’arrêter tous les autres processus sur l’ordinateur pendant que SDV est en cours d’exécution ou de déplacer SDV vers un ordinateur avec plus de mémoire. La valeur optimale d’un système est inférieure d’environ 200 Mo à la quantité de mémoire physique sur le système.

SDV_SlamConfig_NumberOfThreads
Définit le nombre de threads à utiliser pendant une vérification. Si la valeur est 0, le nombre de threads est limité au nombre de processeurs sur l’ordinateur (cela inclut les processeurs hyper thread). Si la valeur est définie sur un nombre supérieur à 0, la valeur spécifie le nombre de threads que SDV peut utiliser pendant la vérification. L’augmentation du nombre de threads peut augmenter les performances d’exécution de SDV, mais elle peut également augmenter le nombre de délais d’attente qui se produisent. La valeur par défaut est 0. Si vous exécutez SDV sur un ordinateur multiprocesseur qui utilise la valeur par défaut, SDV tire automatiquement parti des processeurs supplémentaires.