Polyspace Client が Polyspace Metrics サーバーと通信する際​、デフォルトで使用さ​れているポート番号は​何ですか？またポート​番号を変更はどのよう​に行いますか？

Polyspace Client が Polyspace Metrics サーバーと通信する際、デフォルトで使用されているポート番号は何ですか？またポート番号を変更はどのように行いますか？

Answer 1

[MathWorks Support Team]

次の 4 つの異なるポート番号を通信に利用します。

1. Polyspace Metrics の Server/Client or Desktop/Cluster 間で通信する既定のポート番号は 12427 です。

2. Polyspace Metrics Server から Polyspace Client/Desktop に結果をダウンロードする際に使用する既定のポート番号は 12428 です。

3. Polyspace Server/Cluster および FlexLM サーバー マネージャー（ライセンスマネージャー）が通信する既定のポート番号は 27000 です。

4. tomcat server が利用する既定のポート番号は 8080 です。

！！！注意！！！

Polyspace Metrics を提供している最後のリリースは R2021a です。HPCクラスタでPolyspaceを使用する場合（バッチジョブを送信する場合）、MATLAB Parallel Server で使用するポートを許可する必要があります。詳細については以下のリンクを参照してください。

MATLAB ジョブ スケジューラ を使用して MATLAB Parallel Server を ファイアウォール 内で動作させるにはどのような設定が必要ですか?

A.  Polyspace Metrics を使用して、Polyspace Server/Cluster とClient/Desktop が通信するポート番号を変更する。

===========================================

・インストール中にサーバーのポートを変更する

Polyspace Server ソフトウェアのインストールが終了すると、[Polyspace Remote Launcher Manager] ダイアログ ボックスが開きます。

ここで、Polyspace Server が Polyspace Client マシンとの通信に使用するポート番号を変更できます。

通信ポートは、[Common Settings] の下の画面の最上部にある Polyspace Server の Polyspace Remote Launcher Manager で設定されます。

・クライアントのポートを変更する

既定の設定で、PolySpace Client は、ポート番号 12427 で Polyspace Server ホストを自動的に検出しようとします。

この設定を、特定のホスト名とポート番号に変更するには、次の手順に従います。

(R2013a以前)：

1. Polyspace の User Interface を開きます。
2. [Options] メニューの [Preferences...] を開きます。(R2010a 以前：EditメニューのPreferences...を開きます)
3. [Server configuration] タブを開きます。(R2010a 以前：Remote Launcher タブを開きます)
4. [Use the following server and port] オプションを選択し、PolySpace Server のホスト名およびポート番号を入力します。
5. [OK] をクリックして PolySpace Server を設定します。

(R2013b 以降​​​​​​)：

1. Polyspace Code Prover(Polyspace Bug Finder) を開きます。
2. [ツール] メニューから [設定]に移動します。※R2013bとR2014aでは[オプション]＞[設定]に移動します。
3. [サーバー設定] タブに移動します。
4. [次のサーバーとポートを使用] オプションを選択し、PolySpace Server のホスト名およびポート番号を入力します。
5. [OK] をクリックして PolySpace Server を設定します。

注：クライアントがサーバーを検出できない場合、"No QueueManager server found" というエラーが表示されます。

・インストール後サーバーのポートを変更する

サーバーのポート番号を、インストール後の既定の設定以外に変更する場合は、polyspace.conf ファイルを編集できます。\n

cpu=hostname:portnumber
例:
cpu=polyserver:12490

polyspace.conf ファイルは、既定の設定で次の場所にあります。Windows：

C:\Polyspace\Polyspace_RLDatas\

Linux:

/etc/Polyspace/

変更を有効にするには、Polyspace デーモンを停止し、再起動する必要があります。

B. Polyspace Client/Desktop と Polyspace Metrics が通信するポート番号の変更

===================================================

既定の設定では、Polyspace Client と Polyspace Metrics はポート番号 12428 で通信します。

この設定を特定のポート番号に変更するには、次の手順に従います。

(R2013a以前)：

1. Client Graphical User Interface (あるいは PVE) を開きます。
2. [Options] メニューから [Preferences…] に移動します。R2010a 以前のバージョンでは、[Edit] メニューから [Options]、[Preferences…] の順に移動します。
3. [Server configuration] タブに移動します。R2010a 以前のバージョンでは、[Remote Launcher] タブに移動します。
4. [Port used to communicate with the Polyspace Metrics web interface] オプションを選択し、ポート番号を入力します。
5. [OK] をクリックして、Polyspace の新しい設定をセットします。

(R2013b以降)：

1. Polyspace Code Prover(Polyspace Bug Finder) を開きます。
2. [ツール] メニューから [設定]に移動します。※R2013bとR2014aでは[オプション]＞[設定]に移動します。
3. [サーバー設定] タブに移動します。
4. [Polyspace Metrics web インターフェースとの通信に使用するポートです。]にて、ポート番号を入力します。
5. [OK] をクリックして PolySpace Server を設定します。

C. Polyspace Server/Cluster および FlexLM サーバー マネージャー（ライセンスマネージャー）が通信するポート番号の変更

=====================================================

すべての MathWorks 製品は同じ方法で ライセンスマネージャーと通信します。

関連ソリューション:「MATLAB ライセンス マネージャーが使用するポートと、その設定方法を教えてください。」をご参考ください。

https://www.mathworks.com/matlabcentral/answers/99198