Release 2012a (R2012a) にて、ドキュメントに追加されました。それ以前のリリースに関しては、以下の追加情報をご確認ください。
PolySpace Server をアップグレードし、前のバージョンからのジョブを処理することが可能です。これはリリース R2007a から可能です。この更新により、準備ができるまでクライアント マシンの更新を防ぐことができます。この手順を実行するためには、最初に古いリリースをインストールし、その後、新しいリリースをインストールする必要があります。逆の手順でインストールすることはできません。既に新しいリリースをインストールしており、前のリリースに戻りたい場合は、一度、新しいバージョンをアンインストールし、以下の手順に従う必要があります。
この構成を設定するには、以下の指示に従います。
1) 最初に新しいバージョンの PolySpace Server をインストールする必要があり、同一の PolySpace Root フォルダーを選択します。
2) インストールが完了すると、PolySpace_Common フォルダーは上書きされますが、リリースごとに PolySpace の Rootフォルダー内に 2 つの PolySpaceForCandCpp フォルダーと PolySpaceForAda フォルダーがあります。
3) Queue Manager が両バージョンにおいて設定されているか確認する必要があります。これを行うには、Remote Launcher Manager を起動 (Windows) するか、/etc/PolySpace/polyspace.conf ファイルを開いて (Solaris/Linux) ください。
Remote Launcher Managerについては、PolySpace 製品下で両方のバージョンに両方のフォルダーがリストされているか確認してください。両方のフォルダーがリストされていない場合、[Folder] ボタンをクリックし、使用する PolySpace 製品のフォルダーを追加してください。更新後、[Apply] ボタンをクリックした後、[Start Daemon] ボタンをクリックして変更したサービスを再起動してください。
Solaris/Linux サーバーについては、polyspace.conf ファイル内に記述される両バージョンの "product=" 行を確認します。ない場合は、そのバージョンに新規の product= 行を追加します。更新後、root 権限で以下のコマンドを実行してデーモンを再起動してください。
/etc/init.d/polyspaced restart
更新後、PolySpace Server マシンは、クライアントとサーバーの対応するバージョンをベースに適切な製品のバージョンを自動的に選択します。
