옵션 파일 필드

SDV 옵션 파일에는 SDV 설정이 포함되어 있습니다. 이러한 설정 중 일부는 변경할 수 있습니다. 다른 설정은 SDV에서 예약합니다.

변경할 수 있는 옵션 파일의 필드에는 다음이 포함됩니다.

SDV_SlamConfig_Maximum_Driver_Size
SDV에서 지원할 드라이버의 최대 크기(코드 줄)를 지정합니다. 기본값은 100K 코드 줄입니다.

SDV_SlamConfig_Timeout
SDV가 각 규칙을 확인하는 데 소요되는 시간을 제한합니다. 이 항목의 값은 초 수를 나타내는 정수입니다. 최소값은 10, 최대값은 86400, 기본값은 3000(50분)입니다.

SDV가 규칙을 확인하는 동안 규칙별 시간 제한을 초과하면 확인을 종료하고 주 탭의 결과 섹션 아래의 명령줄 출력 및 정적 드라이버 검증 도구에서 시간 제한을 보고합니다.

SDV_SlamConfig_Spaceout
각 규칙을 확인할 때 SDV에서 사용할 수 있는 가상 메모리의 양을 제한합니다. 이 항목의 값은 MB(메가바이트) 단위의 정수입니다. 최소값은 100이고 기본값은 2500MB(2.5GB)입니다.

SDV가 규칙을 확인하는 동안 가상 메모리 제한을 초과하는 경우 확인을 종료하고 명령줄 출력 및 주 탭의 결과 섹션 아래의 정적 드라이버 검증 도구에서 Spaceout을 보고합니다.

SDV가 Spaceout을 보고하는 경우 SDV_SlamConfig_Spaceout 값을 높이거나, SDV가 실행되는 동안 컴퓨터의 다른 모든 프로세스를 중지하거나, 메모리가 더 많은 컴퓨터로 SDV를 이동하는 것이 좋습니다. 시스템의 최적 값은 시스템의 실제 메모리 양보다 약 200MB 적습니다.

SDV_SlamConfig_NumberOfThreads
확인 중에 사용할 스레드 수를 설정합니다. 값이 0이면 스레드 수가 컴퓨터의 프로세서 수로 제한됩니다(하이퍼 스레드 프로세서 포함). 값이 0보다 큰 숫자로 설정된 경우 이 값은 확인 중에 SDV가 사용할 수 있는 스레드 수를 지정합니다. 스레드 수를 늘리면 SDV의 런타임 성능이 향상될 수 있지만 발생하는 시간 제한 횟수도 증가할 수 있습니다. 기본값은 0입니다. 기본값을 사용하는 다중 프로세서 컴퓨터에서 SDV를 실행하는 경우 SDV는 추가 프로세서를 자동으로 활용합니다.