Polyspace에서 License Manager 오류 -4가 발생하는 이유는 무엇입니까?

Polyspace Bug Finder에서 로컬 또는 원격 Code Prover 서버에서 작업을 실행할 때 License Manager 오류 -4가 발생하는 이유는 무엇입니까?

Answer 1

[MathWorks Support Team]

이 오류는 라이센스에 포함된 Polyspace Bug Finder 시트가 현재 사용 중임을 나타냅니다. Polyspace 라이센스에는 라이센스에 포함된 여러 종속성이 있습니다. 원격으로 병렬로 수행할 분석을 제출할 때 R2019a 이상에 대한 라이센스 요구 사항은 다음과 같습니다.

클라이언트 측

Polyspace_BF(Polyspace Bug Finder)

Polyspace_BF_Engine (Polyspace Bug Finder Engine, Polyspace Bug Finder에 포함됨)

클러스터 측

MATLAB_Distrib_Comp_Engine(MATLAB Parallel Server)

Polyspace_BF_Server (Polyspace Bug Finder Server)

Polyspace_CP_Server (Polyspace Code Prover Server)

Polyspace에서 프로세스 프로파일을 사용할 때 Polyspace Bug Finder, Polyspace Bug Finder Engine 및 MATLAB 라이선스가 체크아웃됩니다. Polyspace Code Prover를 사용하는 경우 해당 라이선스도 체크 아웃됩니다.

이 오류는 단일 머신에서 Polyspace 세션 2개를 열 때 가장 일반적으로 발생합니다.

참고: R2019a부터 다음과 같은 이름이 변경되었습니다.

• MATLAB Distributed Computing Server의 이름이 MATLAB Parallel Server로 변경

되었

• mdce_def mjs_def로 이름이 변경되었으며
• mdce 바이너리의 이름이 mjs로 변경되었습니다

.