Polyspace Access ライセンスの構成

Polyspace^®Access™ のライセンスはネットワークネームドユーザー (NNU) ライセンスであり、ライセンスマネージャーを使用して、ライセンスのチェックアウトとオプションファイルを管理し、使用権限を付与するネームドユーザーを指定する必要があります。

警告

エンタープライズライセンスをご利用のお客様については、Polyspace Access のユーザーログイン情報と、Polyspace as You Code が使用されているコンピューターのユーザーログイン情報が一致している必要があります。これら 2 つのログイン情報が一致していない場合、同じユーザーが Polyspace Access と Polyspace as You Code を使用するときに 2 つの異なるライセンスをチェックアウトすることになります。詳細については、MathWorks^® 営業担当者にお問い合わせください。

NNU ライセンスの構成

前提条件

ライセンスマネージャーをインストールします。ライセンスマネージャーのインストールを参照してください。

以下の手順に従って Polyspace Access ライセンスを構成します。ユーザーを追加または削除するには、Polyspace Access のネームドユーザーの管理を参照してください。

ライセンスを付与された Polyspace Access の各ユーザーは、最大 5 つの同時セッションにログインできます。

メモ

これらの手順は、エンタープライズライセンスをご利用のお客様には適用されません。Polyspace Access エンタープライズライセンスを構成する場合は、ライセンス管理者にお問い合わせください。

手順 1: ライセンスマネージャーのオプションファイルの構成

以下のテンプレートファイルをテキストエディターにコピーし、ライセンスマネージャーをインストールしたマシンに MLM.opt という名前で保存します。

テンプレート

このファイルを使用して、Polyspace Access の使用権限 (Polyspace_BF_Access) を付与するユーザーを指定します。Polyspace Access の使用権限をもつユーザーは、Bug Finder、Code Prover、および Ada の解析によって生成された結果のレビューやレポート作成を行うことができます。
Polyspace Access の使用権限をもつユーザーには、Polyspace as You Code の使用権限もあります。
ユーザーごとに、そのユーザーが Polyspace Access にログインするために指定するユーザー名を入力します。このユーザー名は、会社の LDAP サーバー内または User Manager の内部ディレクトリ内のユーザー名エントリに対応します。User Manager の構成を参照してください。
Polyspace as You Code のユーザーについては、このユーザー名が、Polyspace as You Code をインストールして実行するマシンにログインするために使用するユーザー名とも一致している必要があります。

Polyspace Access は、ライセンスオプションファイル (MLM.opt) 内で TIMEOUT feature seconds 構文を使用して設定されたライセンスのタイムアウト値をすべて無視します。ライセンスのタイムアウトを設定するには、User Manager の [Authentication token expiration] 設定を使用します。User Manager の構成を参照してください。

手順 2: サーバーライセンスの構成

ライセンスマネージャーをインストールしたサーバーマシンに Polyspace Access ライセンスをコピーして、license.dat という名前で保存します。このファイルをテキストエディターで開き、ファイルの先頭に以下の行を挿入します。

SERVER lmHostname HostID 27000 
DAEMON MLM pathTo_MLM_bin options=pathTo_MLM.opt port=27100

パラメーター	説明
`lmHostname`	ライセンスマネージャーをインストールしたマシンの完全修飾ドメイン名 (FQDN)。FQDN を取得するには、コマンドプロンプトウィンドウを開き、以下のコマンドを入力します。 Windows^® `net config workstation \| findstr /C:"Full Computer name"` Linux^® `hostname --fqdn`
`HostID`	Polyspace Access ライセンスのアクティベーションを行うために指定した MAC アドレス。この MAC アドレスは、ライセンスファイル内にリストされている Polyspace Access のホスト ID と一致している必要があります。`HostID` も、ライセンスマネージャーを実行するマシンの MAC アドレスと一致している必要があります。
`pathTo_MLM_bin`	MLM バイナリ (ベンダーデーモン) のパス。このバイナリは、`LM_Folder\etc\win64` (Windows) または `LM_Folder/etc/glnx64` (Linux) にあります。ここで、`LM_Folder` はライセンスマネージャーをインストールしたフォルダーです。
`pathTo_MLM.opt`	手順 1 で作成したオプションファイルのパス。

既定では次のようになります。

ライセンスマネージャーデーモンはポート 27000 で起動します。別のポートを使用するには、SERVER の行の末尾に別のポート番号を指定します。
DAEMON MLM の行でポートを指定しない場合、ベンダーデーモン (MLM) はシステムによってランダムに選択されたポートで起動します。別のポートを指定するには、DAEMON MLM の行の末尾に port=portNumber を追加します。たとえば、ベンダーデーモンをポート 27100 で起動する場合は、port=27100 を追加します。

たとえばライセンスマネージャーをファイアウォール経由で実行する場合、ファイアウォールで開かれているポートを使用するには、ライセンスマネージャーとベンダーデーモン用にカスタムポートを指定します。

MATLAB^® インストーラーを使用してライセンスマネージャーをインストールした場合、既に license.dat ファイルは matlabroot/etc フォルダー内にあり、ファイルに SERVER と DAEMON の行が含まれています。license.dat の DAEMON の行で、options=pathTo_MLM.opt 命令の追加が必要になる場合もあります。matlabroot は MATLAB インストールフォルダーです。Polyspace Access ライセンスの内容を license.dat ファイルの末尾に追加して、手順 3 に進みます。

手順 3: クライアントライセンスの構成

license.dat ファイルから SERVER の行をコピーし、テキストエディターで新しいファイルに貼り付けます。SERVER の行の下に USE_SERVER を追加します。

SERVER lmHostname HostID 27000
USE_SERVER

Polyspace Access または Polyspace as You Code をインストールしたマシンからアクセス可能な場所に、このファイルを network.lic という名前で保存します。この場所は、ライセンスマネージャーをインストールしたマシンとは異なるマシン上にあってもかまいません。

Polyspace Access Web サーバーの場合、Cluster Admin Web インターフェイスの [Polyspace Access Web Server] 設定にある [License file:] フィールドに、このファイルのパスを指定します。Polyspace Access アプリサービスの構成を参照してください。
Docker Engine がホスト名 lmHostname を解決できることを確認します。コマンドプロンプトウィンドウで、次のコマンドを入力します。
```
docker run --rm -it alpine ping lmHostname
```
Docker Engine がこのホスト名を解決できない場合は、network.lic 内の lmHostname を、ライセンスマネージャーをインストールしたマシンの IP アドレスに置き換えます。
Polyspace as You Code の場合、インストーラーからライセンスファイルのパスを指定するよう求められたら、network.lic のパスを指定します。Install Polyspace as You Code Using Installerを参照してください。

手順 4: ライセンスマネージャーの起動

コマンドプロンプトウィンドウで、ライセンスマネージャーをインストールしたフォルダーに移動して、ライセンスマネージャーを起動します。

Windows

cd LM_Folder\etc\win64
lmgrd.exe -c pathToLicense -l lm_log.log

Windows では lmtool.exe を使用して、[Start/Stop/Reread] タブに移動し、ライセンスマネージャーを起動することもできます。

Linux

cd LM_Folder/etc/glnx64
./lmgrd -c pathToLicense -l lm_log.log

LM_Folder は、ライセンスマネージャーをインストールしたフォルダーです。

pathToLicense は、ライセンスマネージャーをインストールしたマシンに保存した license.dat ファイルのパスです。上記のコマンドによってライセンスマネージャーが起動され、ログファイル lm_log.log が出力されます。デバッグを行うには、このログファイルを参照します。

メモ

ライセンスマネージャーのログやエラーメッセージにリストされるライセンスファイルのパスは、pathToLicense とは一致していない可能性があります。Polyspace Access Web Server サービスにより、pathToLicense が Docker コンテナー内の内部パスに再マッピングされます。

手順 5: ブート時に起動するようにライセンスマネージャーを構成する

ライセンスマネージャーを起動した後、ライセンスマネージャーがブート時に自動的に起動するように構成されていることを確認します。

Windows

lmtool.exe を使用して、[Config Services] タブに移動し、[Start Server at Power Up] と [Use Services] が選択されていることを確認します。

Linux

ご使用の Linux ディストリビューションに対応するドキュメントを参照して、たとえばスクリプトを /etc/inti.d フォルダーに追加するなどして、ブート時に自動的に起動するようにライセンスマネージャーを構成します。

ブートシーケンスの終了時に起動するようにライセンスマネージャーを構成します。

ライセンスマネージャーのインストール

ライセンスマネージャーは Polyspace Access ソフトウェアに同梱されています。ライセンスマネージャーのバイナリとユーティリティは accessRoot/lm 内にあります。accessROOT は、Polyspace Access インストールイメージを抽出したフォルダーです。

Polyspace Access を実行しているサーバーとは別のサーバーでライセンスマネージャーを実行するには、accessRoot/lm 内にあるプラットフォームに対応するフォルダー (たとえば accessRoot/lm/glnxa64) をそのサーバーにコピーします。

License Manager Download からライセンスマネージャーをダウンロードすることもできます。

ライセンスマネージャーのフォルダーには、以下のバイナリが格納されています。

lmgrd:ライセンスマネージャーのコアバイナリ。このバイナリを使用して、コマンドラインからライセンスマネージャーを起動します。有用なコマンドのリストを表示するには、lmgrd -h を入力します。
mlm:MATLAB ベンダーデーモン。
lmutil: コマンドラインでライセンスマネージャーを管理するための一連のツール。有用なコマンドのリストを表示するには、lmutil -h を入力します。
lmtools.exe (Windows のみ):ライセンスマネージャーを管理するためのグラフィカルユーザーインターフェイス。
Linux システムの場合、ライセンスマネージャーのフォルダーにはコマンドラインユーティリティも格納されています。コマンドラインユーティリティの使用を参照してください。

ライセンスファイルの操作で問題が発生するのを回避するために、最新のライセンスマネージャーソフトウェアバージョンを実行するようにしてください。利用可能な最新のライセンスマネージャーソフトウェアバージョンを確認するには、このページで FlexNet^® バージョンを参照してください。

現在のライセンスマネージャーソフトウェアバージョンを確認するには、コマンドラインで以下の表に記載されている、オペレーティングシステムに応じたコマンドを入力します。

Windows

cd LM_Folder\etc\win64
lmgrd.exe -v

Linux

cd LM_Folder/etc/glnx64
./lmgrd -v

LM_Folder は、ライセンスマネージャーをインストールしたフォルダーです。ネットワークライセンスマネージャーソフトウェアの更新も参照してください。