Polyspace Access ライセンスの構成

R2026b

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

NNU ライセンスの構成

前提条件

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

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

メモ

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

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

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

# Options file used by MATLAB vendor daemon (MLM).
# This file contains the INCLUDE lines necessary
# for a User Based license.
# If you change the user names listed here,
# you must restart the license manager
# for the changes to take effect.
# The frequency of user name changes may be limited
# by your software license agreement.
# If you have combined multiple license files into a
# single license file, you will need to change
# the INCLUDE lines to specify a particular INCREMENT
# line. You can do this using the "featurename Key=value"
# syntax in the INCLUDE line.
# See the FLEXnet Licensing End Users Guide for
# details on how to use options files.

# Make user names and host names case insensitive when
# listed in a GROUP or HOST_GROUP.  This is not
# required but it is here to prevent some common errors. 
GROUPCASEINSENSITIVE ON

# Define a group of users
GROUP ACCESS_users user1 user2 user3


# Grant right-to-use privileges to individual users
INCLUDE Polyspace_BF_Access USER user1
INCLUDE Polyspace_BF_Access USER user2
INCLUDE Polyspace_BF_Access USER admin
# Grant right-to-use privileges to group of users
INCLUDE Polyspace_BF_Access GROUP ACCESS_users

  • このファイルを使用して、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 (Polyspace as You Code)を参照してください。

手順 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 フォルダーに追加するなどして、ブート時に自動的に起動するようにライセンス マネージャーを構成します。

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

参考

トピック