Задайте планировщик задания или кластер
-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
Программа автоматического доказательства кода:
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, когда Вы Кодируете.