配置 Polyspace Access 许可证

R2026b

Polyspace® Access™ 许可证是一种网络指定用户 (NNU) 许可证，需要通过许可证管理器来管理许可证签出，并且需要通过选项文件来指定您要向其授予使用权的指定用户。

配置 NNU 许可证

前提条件

按照以下步骤配置 Polyspace Access 许可证。要添加或删除用户，请参阅管理 PolyspaceAccess 的指定用户。

每个许可 Polyspace Access 用户都最多可以登录五个并发会话。

注意

这些说明不适用于企业许可证客户。要配置 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 使用权的用户也拥有对 Polyspaceas You Code™ 的使用权。

  • 对于每个用户，请输入该用户指定的用于登录 Polyspace Access 的用户名。用户名对应于您的公司 LDAP 服务器或 User Manager 内部目录中的用户名条目。请参阅配置 User Manager。

  • 对于 Polyspaceas You Code 用户，用户名还必须与登录到用户安装和运行 Polyspaceas 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
将此文件作为 network.lic 保存到可从您安装了 Polyspace Access 或 Polyspace as You Code 的计算机访问的位置。此位置可以位于与安装许可证管理器的计算机不同的计算机上。

  • 对于 Polyspace Access Web 服务器，请在 Cluster Admin Web 界面中为 Polyspace Access Web Server 设置的 License file: 字段指定此文件的路径。请参阅配置 Polyspace Access App 服务。

    检查 Docker Engine 能否解析主机名 lmHostname。在命令行提示符窗口中，输入以下命令：

    docker run --rm -it alpine ping lmHostname
    如果 Docker Engine 无法解析此主机名，请在 network.lic 中将 lmHostname 替换为安装了许可证管理器的计算机的 IP 地址。

  • 对于 Polyspaceas 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 并转至 Stop/Start/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 并转至配置服务选项卡，然后检查是否选中了 Start Server at Power Up 和 Use Services。

Linux

要将许可证管理器配置为在系统启动时自动启动（例如，通过向 /etc/inti.d 文件夹添加脚本），请参阅适用于您的 Linux 发行版的文档。

将许可证管理器配置为在启动序列结束时启动。

另请参阅

主题