Exponenta Banner

-scheduler

Задайте планировщик задания или кластер

Синтаксис

-scheduler schedulingOption

Описание

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

Смотрите также

Темы

Документация Polyspace Bug Finder Server
Поддержка