Polyspace® Доступ к лицензии является лицензией Сетевого именованного пользователя (NNU), которая требует, чтобы менеджер лицензий управлял контролем лицензии и файлом опций, чтобы задать Именованных пользователей, которым вы предоставляете привилегии права на использование.
Предупреждение
Для клиентов Корпоративной лицензии вход в систему Пользователя доступа Polyspace должен совпадать с пользовательским входом в систему компьютера, где Polyspace, когда Вы Кодируете, используется. Если эти два имени для входа в систему не соответствуют, тот же пользователь проверяет две различных лицензии при использовании Polyspace доступ и Polyspace, как Вы Кодируете. Для получения дополнительной информации свяжитесь со своим MathWorks® торговый представитель.
Необходимые условия
Установите менеджер лицензий. См. менеджер лицензий Установки.
Выполните эти шаги, чтобы сконфигурировать Polyspace доступ к лицензии. Чтобы добавить или удалить пользователей, смотрите, Управляют Именованными пользователями для Polyspace доступ.
Примечание
Эти инструкции не применяются к клиентам Корпоративной лицензии. Свяжитесь со своим администратором лицензии, чтобы сконфигурировать Polyspace доступ к Корпоративной лицензии.
Скопируйте этот файл шаблона в текстовый редактор и сохраните его как MLM.opt на машине, где вы установили менеджер лицензий.
Используйте этот файл, чтобы идентифицировать пользователей, которым вы предоставляете привилегии права на использование для Polyspace Bug Finder™ Access™ (Polyspace_BF_Access) и Polyspace Code Prover™ доступ (к Polyspace_CP_Access).
У пользователя с привилегиями права на использование для Polyspace Bug Finder Access есть привилегии права на использование для Polyspace, когда Вы Кодируете.
Для каждого пользователя введите имя пользователя, которое пользователь задает, чтобы регистрировать в Polyspace доступ. Имена пользователей соответствуют записям имени пользователя в вашей компании сервер LDAP или User Manager внутренняя директория. Смотрите Конфигурируют Диспетчер пользователей.
Для Polyspace, когда Вы Кодируете пользователей, имя пользователя должно также соответствовать, имя пользователя раньше регистрировало в машину, где пользовательский Polyspace установок и запусков, когда Вы Кодируете.
Скопируйте свой Polyspace доступ к лицензии на машину, где вы установили менеджер лицензий, и сохраните его как license.dat. Затем откройте файл в текстовом редакторе и вставьте эти линии наверху файла.
SERVER lmHostname HostID 27000
DAEMON MLM pathTo_MLM_bin options=pathTo_MLM.opt| Параметр | Описание |
|---|---|
lmHostname | Полностью определенное доменное имя (FQDN) машины, где вы установили менеджер лицензий. Чтобы получить FQDN, откройте окно командной строки и войдите:
|
HostID | Мак адрес, который вы обеспечили, чтобы активировать Polyspace доступ к лицензии. Этот Мак адрес должен совпадать с идентификатором хоста, перечисленным для Polyspace доступ в файле лицензии. |
pathTo_MLM_bin | Путь к двоичному файлу MLM (демон поставщика). Можно найти этот двоичный файл в |
pathTo_MLM.opt | Путь к файлу опций, который вы создали на шаге 1. |
По умолчанию:
Демон менеджера лицензий запускает на порте 27000. Чтобы использовать различный порт, задайте различный номер порта в конце SERVER строка.
Демон поставщика (MLM) запускает на случайном порте, выбранном вашей системой. Чтобы задать различный порт, добавьте port= в конце portNumberDAEMON MLM строка. Например, чтобы запустить демона поставщика на порте 12345, добавьте port=12345.
Задайте пользовательские порты для менеджера лицензий и демонов поставщика, если, например, вы запускаете менеджер лицензий через брандмауэр, и вы хотите использовать порты, которые открыты в брандмауэре.
Если вы использовали MATLAB® инсталлятор, чтобы установить менеджер лицензий, файл license.dat уже существует в папке matlabroot/ и т.д.SERVER и DAEMON линии. Вам придется добавить options= инструкция относительно pathTo_MLM.optDAEMON линия license.datmatlabroot ваша папка установки MATLAB. Добавьте содержимое своего Polyspace доступ к лицензии на license.dat файл и переходит к шагу 3.
Скопируйте SERVER линия от license.dat файл и вставка это в новом файле в текстовом редакторе. Добавьте USE_SERVER ниже SERVER строка.
SERVER lmHostname HostID 27000
USE_SERVERnetwork.lic в месте, которое доступно от машины, где вы установили Polyspace доступ или Polyspace, когда Вы Кодируете. Это местоположение может быть на различной машине от той, где вы установили менеджер лицензий.
Для Polyspace доступ к веб-серверу задайте путь к этому файлу для поля License file: настроек Polyspace Access Web Server в Кластерном веб-интерфейсе Администратора. Смотрите Configure Polyspace Access App Services.
Убедитесь, что механизм докера может разрешить имя хоста lmHostname. В окне командной строки, введите:
docker run --rm -it alpine ping lmHostnamenetwork.lic, замените lmHostname с IP-адресом машины, где вы установили менеджер лицензий.Для Polyspace, когда Вы Кодируете, задаете путь к network.lic когда инсталлятор предлагает вам обеспечивать путь к файлу лицензии. Смотрите Polyspace Установки, когда Вы Кодируете Используя Инсталлятор.
В окне командной строки перейдите к папке, где вы установили менеджер лицензий, и затем запустите менеджер лицензий.
| Windows |
На Windows можно также использовать lmtool.exe и перейти к вкладке Start/Stop/Reread, чтобы запустить менеджер лицензий. |
| Linux |
|
LM_Folder папка, где вы установили менеджер лицензий.
pathToLicense путь к license.dat файл, что вы экономили на машине, где вы установили менеджер лицензий. Команда запускает менеджер лицензий и выводит файл журнала lm_log.log. Обратитесь к этому файлу журнала для отладки целей.
Примечание
Путь к файлу лицензии, перечисленный в журнале и сообщениях об ошибке менеджера лицензий, не может соответствовать pathToLicense. Сервис Polyspace Access Web Server повторно сопоставляет pathToLicense к внутреннему пути в контейнере докера.
После того, как вы запустите менеджер лицензий, гарантируете, что менеджер лицензий сконфигурирован, чтобы автоматически запуститься во время начальной загрузки.
| Windows | Используйте lmtool.exe и перейдите к вкладке Config Services, затем проверяйте, что Start Server at Power Up и Use Services выбраны. |
| Linux | Обратитесь к документации для своего дистрибутива Linux, чтобы сконфигурировать менеджер лицензий, чтобы запуститься автоматически во время начальной загрузки, например, путем добавления скрипта в Сконфигурируйте менеджер лицензий, чтобы запуститься в конце последовательности загрузки. |
Каждый лицензированный Пользователь доступа Polyspace может войти в систему до пяти параллельных сеансов.
Доступ к Polyspace игнорирует любое значение тайм-аута лицензии, которое вы устанавливаете в файле параметров лицензии (MLM.opt) при помощи синтаксиса TIMEOUT feature seconds. Чтобы установить тайм-аут лицензирования, используйте установку Authentication token expiration User Manager. Смотрите Конфигурируют Диспетчер пользователей.
Чтобы рассмотреть или сгенерировать отчеты для результатов, которые были сгенерированы с Polyspace Code Prover или Polyspace продукты Ады и которые хранятся на Polyspace доступ, вам нужна лицензия Polyspace Code Prover Access.
Менеджер лицензий поставляется с программным обеспечением Polyspace Access. Двоичные файлы менеджера лицензий и утилиты расположены в accessRoot/lm. accessROOT папка, где вы извлекли свой Polyspace доступ к изображению установки.
Чтобы запустить менеджер лицензий на отдельном сервере с сервера, куда вы запускаете Polyspace доступ, скопируйте папку, которая соответствует вашей платформе от accessRoot/lm, например, accessRoot/lm/glnxa64, к тому серверу. Папка менеджера лицензий включает эти двоичные файлы:
lmgrd: Базовый двоичный файл менеджера лицензий. Используйте этот двоичный файл, чтобы запустить менеджер лицензий с командной строки. Для списка полезных команд введите lmgrd -h.
mlm: Демон поставщика MATLAB.
lmutil: набор инструментов для администрирования менеджера лицензий в командной строке. Для списка полезных команд введите lmutil -h.
lmtools.exe (Только Windows): Графический интерфейс пользователя для администрирования менеджера лицензий.
Для систем Linux папка менеджера лицензий также включает утилиты командной строки. Смотрите Используя Утилиты Командной строки.
Чтобы избежать любых потенциальных проблем с операцией файла лицензии, убедитесь, что вы запускаете последнюю версию программного обеспечения менеджера лицензий. Чтобы просмотреть последнюю доступную версию программного обеспечения менеджера лицензий, смотрите FlexNet® Версия на этой странице.
Чтобы проверять вашу текущую версию программного обеспечения менеджера лицензий, в командной строке, в зависимости от вашей операционной системы, вводят команды, перечисленные в эту таблицу.
| Windows |
|
| Linux |
|
LM_Folder папка, где вы установили менеджер лицензий. См. также Update Network License Manager Software.