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