Compartir a través de

Campos de archivo de opción

  • Artículo

Un archivo de opciones de SDV contiene la configuración de SDV. Algunas de estas opciones de configuración se pueden cambiar. Otras configuraciones están reservadas por SDV.

Los campos del archivo de opciones que puede cambiar incluyen lo siguiente:

SDV_SlamConfig_Maximum_Driver_Size
Especifica el tamaño máximo de un controlador que SDV admitirá (en términos de líneas de código). El valor predeterminado es 100 000 líneas de código.

SDV_SlamConfig_Timeout
Limita el tiempo que el SDV puede dedicar a comprobar cada regla. El valor de esta entrada es un entero que representa un número de segundos. El valor mínimo es 10, el valor máximo es 86400 y el valor predeterminado es 3000 (50 minutos).

Si SDV supera el límite de tiempo por regla al comprobar una regla, finaliza la comprobación e informa de un tiempo de espera en la salida de la línea de comandos y en el Comprobador de controladores estáticos en la sección Resultados de la pestaña Principal .

SDV_SlamConfig_Spaceout
Limita la cantidad de memoria virtual que puede consumir SDV al comprobar cada regla. El valor de esta entrada es un entero en unidades de megabyte (MB). El valor mínimo es 100 y el valor predeterminado es 2500 MB (2,5 GB).

Si SDV supera el límite de memoria virtual al comprobar una regla, finaliza la comprobación e informa de un espaciado en la salida de la línea de comandos y en el Comprobador de controladores estáticos en la sección Resultados de la pestaña Principal .

Si SDV informa de un espaciador, considere la posibilidad de aumentar el valor de SDV_SlamConfig_Spaceout, detener todos los demás procesos en el equipo mientras se ejecuta SDV o mover SDV a un equipo con más memoria. El valor óptimo para un sistema es aproximadamente de 200 MB menos que la cantidad de memoria física en el sistema.

SDV_SlamConfig_NumberOfThreads
Establece el número de subprocesos que se van a usar durante una comprobación. Si el valor es 0, esto limita el número de subprocesos al número de procesadores del equipo (esto incluye procesadores hiperprocesos). Si el valor se establece en un número mayor que 0, el valor especifica el número de subprocesos que sdV puede usar durante la comprobación. Aumentar el número de subprocesos podría aumentar el rendimiento en tiempo de ejecución de SDV, pero también podría aumentar el número de tiempos de espera que se producen. El valor predeterminado es 0. Si está ejecutando SDV en un equipo multiprocesador que usa el valor predeterminado, SDV aprovechará automáticamente los procesadores adicionales.