Задайте планировщик задания или кластер
-scheduler
schedulingOption
-scheduler
задает главный узел кластера MATLAB® Parallel Server™, который справляется с аналитическими представлениями Polyspace® от нескольких клиентов и выделяет анализ узлам рабочего. Вы используете эту опцию наряду с опцией schedulingOption
Run Bug Finder or Code Prover analysis on a remote cluster (-batch)
(Polyspace Code Prover), чтобы разгрузить анализ от рабочего стола до удаленного кластера. Обратите внимание на то, что вы используете эту опцию с командами в десктопных решениях (polyspace-bug-finder
(Polyspace Bug Finder) и polyspace-code-prover
(Polyspace Code Prover)) а не команды в серверных продуктах (polyspace-bug-finder-server
и polyspace-code-prover-server
).
Для получения дополнительной информации смотрите продукты Установки для Представления Анализа Polyspace с Рабочих столов на Удаленный сервер.
Запустите пакетный анализ удаленного сервера с помощью одного из этих синтаксисов для планировщика задания:
Средство поиска ошибки:
polyspace-bug-finder -batch -scheduler NodeHost polyspace-bug-finder -batch -scheduler 192.168.1.124:12400 polyspace-bug-finder -batch -scheduler MJSName@NodeHost
Программа автоматического доказательства кода:
polyspace-code-prover -batch -scheduler NodeHost polyspace-code-prover -batch -scheduler 192.168.1.124:12400 polyspace-code-prover -batch -scheduler MJSName@NodeHost
Для получения дополнительной информации смотрите, Отправляют Анализ Polyspace с Рабочего стола на Удаленные серверы Используя Скрипты.
Можно отследить состояние задания с помощью polyspace-jobs-manager
команда:
polyspace-jobs-manager listjobs -scheduler NodeHost
Run Bug Finder or Code Prover analysis on a remote cluster (-batch)
(Polyspace Code Prover)