이 페이지는 기계 번역을 사용하여 번역되었습니다. 영어 원문을 보려면 여기를 클릭하십시오.

Polyspace Connector 문제 해결

문제

Polyspace® 명령을 실행하면 다음과 비슷한 내용이 포함된 오류 메시지와 함께 명령이 실패합니다.

polyspace:pscore:noPortForConnectorError

가능한 해결 방법

Polyspace는 내부 서버(Polyspace 커넥터)를 사용하여 서로 다른 Polyspace 구성 요소 간의 통신을 처리합니다. Polyspace를 시작하면 시스템에서 할당한 임의의 포트에서 커넥터 인스턴스가 시작됩니다.

커넥터가 열려 있는 포트에 연결되고 접근 가능한지 확인하려면:

  1. 모든 Polyspace 프로세스를 닫습니다.

  2. 명령줄에서 polyspaceroot/polyspace/bin/ARCH로 이동하고 polyspace-connector 바이너리를 실행하여 Polyspace 커넥터를 수동으로 시작합니다. 예를 들어, Linux에서는 다음 명령을 입력하세요.

    cd polyspaceroot/polyspace/bin/ARCH
./polyspace-connector
    여기서 polyspaceroot는 Polyspace 설치 폴더(예: /usr/local/Polyspace)이고 ARCH는 Linux의 glnxa64와 같이 플랫폼별 하위 폴더입니다.

  3. 커넥터가 시작되면 다음과 비슷한 메시지가 표시됩니다.

    Started ServerConnector@123a456b{HTTP/1.1, (http/1.1)}{0.0.0.0:portNum}
    여기서 portNum는 커넥터가 시작된 포트, 예를 들어 9991에 해당합니다.

  4. 포트가 열려 있는지 확인하려면 이 명령을 실행하세요.

    (echo >/dev/tcp/localhost/portNum) &>/dev/null && echo "open" || echo "closed"

    • (echo > ...) 명령이 closed를 반환하는 경우 포트가 열려 있지 않은 이유를 확인하세요. 예를 들어, 방화벽이 포트 portNum에서 트래픽을 허용하지 않도록 구성되어 있거나, 시스템 변수 http_proxy 또는 HTTP_PROXY가 설정되어서는 안 되는 곳에 설정되어 있는 경우입니다.

    • (echo > ...) 명령이 open를 반환하는 경우 다음 명령을 실행하여 커넥터에 도달할 수 있는지 확인하세요.

      curl http://127.0.0.1:portNum/metadata
      커넥터에 도달할 수 있으면 명령은 {"statusCode":"SUCCESS"를 포함하는 JSON 출력을 반환합니다.

      커넥터에 도달할 수 있다면 이전에 실패했던 Polyspace 명령을 실행해 보세요.

다음 중 하나라도 해당되는 경우, 커넥터에 대해 디버그 모드를 활성화하고 이전에 실패한 Polyspace 명령을 다시 실행한 다음 MathWorks® 서비스 요청을 생성합니다.

  • curl 명령을 실행하면 커넥터에 접근할 수 없습니다.

  • 커넥터에 접근할 수는 있지만 명령은 여전히 실패합니다.

    .

디버그 모드를 활성화하려면:

  1. 텍스트 편집기를 열고 connector.properties라는 파일을 만들고 이 줄을 파일에 저장합니다.

    application.debug=true

  2. 예를 들어, 다음과 같이 Polyspace 환경 설정 폴더에 파일을 복사합니다.

    • Windows® — %Appdata%\MathWorks\MATLAB\R2025b\Polyspace

    • Linux® — ~/.matlab/R2025b/Polyspace

  3. 이전에 실패한 Polyspace 명령을 다시 실행합니다. 명령을 실행한 후 커넥터는 Polyspace 기본 설정 폴더 이름 dmp_에 덤프 파일을 생성했습니다.

Polyspace 명령을 다시 실행한 후 커넥터는 Polyspace 기본 설정 폴더 이름 dmp_$number@$hostname.txt에 덤프 파일(예: dmp_12345@workstation.example.txt)을 생성했습니다. 이 파일을 서비스 요청에 첨부하세요.

환경 설정 폴더에는 여러 개의 덤프 파일이 들어 있을 수 있으므로 가장 최근에 만든 파일을 선택하세요.