Укажите кластер или планировщик заданий
-scheduler schedulingOption
-scheduler указывает главный узел кластера MATLAB ® Parallel Server™, который управляет отправлениями анализа Polyspace ® от нескольких клиентов и назначает анализ рабочим узлам. Эта опция используется вместе с опциейschedulingOptionRun Bug Finder or Code Prover analysis on a remote cluster (-batch) для разгрузки анализа с рабочего стола на удаленный кластер. Обратите внимание, что эта опция используется с командами в настольных продуктах (polyspace-bug-finder и polyspace-code-prover), а не команд в серверных продуктах (polyspace-bug-finder-server(сервер поиска ошибок Polyspace) и polyspace-code-prover-server(Сервер проверки кода Polyspace)).
Дополнительные сведения см. в разделе Установка продуктов для отправки анализа 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
Невозможно отправить задания анализа в удаленный кластер с кодом Polyspace.