Partilhar via

Campos de arquivo de opção

  • Artigo

Um arquivo opções SDV contém as configurações de SDV. Algumas dessas configurações você pode alterar. Outras configurações são reservadas pelo SDV.

Os campos no arquivo de opções que você pode alterar incluem o seguinte:

SDV_SlamConfig_Maximum_Driver_Size
Especifica o tamanho máximo de um driver que o SDV dará suporte (em termos de linhas de código). O valor padrão é 100 mil linhas de código.

SDV_SlamConfig_Timeout
Limita o tempo que o SDV pode gastar verificando cada regra. O valor dessa entrada é um inteiro que representa um número de segundos. O valor mínimo é 10, o valor máximo é 86400 e o valor padrão é 3000 (50 minutos).

Se o SDV exceder o limite de tempo por regra ao verificar uma regra, ele encerrará a verificação e relatará um Tempo limite na saída da linha de comando e no Verificador de Driver Estático na seção Resultados na guia Principal .

SDV_SlamConfig_Spaceout
Limita a quantidade de memória virtual que o SDV pode consumir ao verificar cada regra. O valor dessa entrada é um inteiro em unidades megabyte (MB). O valor mínimo é 100 e o valor padrão é 2500 MB (2,5 GB).)

Se o SDV exceder o limite de memória virtual ao verificar uma regra, ele encerrará a verificação e relatará um Spaceout na saída da linha de comando e no Verificador de Driver Estático na seção Resultados na guia Principal .

Se o SDV relatar um Spaceout, considere aumentar o valor de SDV_SlamConfig_Spaceout, interromper todos os outros processos no computador enquanto o SDV estiver em execução ou mover o SDV para um computador com mais memória. O valor ideal para um sistema é aproximadamente 200 MB menor que a quantidade de memória física no sistema.

SDV_SlamConfig_NumberOfThreads
Define o número de threads a serem usados durante uma verificação. Se o valor for 0, isso limitará o número de threads ao número de processadores no computador (isso inclui processadores hiper-threaded). Se o valor for definido como um número maior que 0, o valor especificará o número de threads que o SDV pode usar durante a verificação. Aumentar o número de threads pode aumentar o desempenho de tempo de execução do SDV, mas também pode aumentar o número de tempos limite que ocorrem. O valor padrão é 0. Se você estiver executando o SDV em um computador multiprocessador que usa o valor padrão, o SDV aproveitará automaticamente os processadores adicionais.