-batch)Включить пакетный удаленный анализ
Укажите, что анализ должен быть выгружен на удаленный сервер.
Для разгрузки анализа Polyspace ® необходимы следующие продукты:
Продукт Polyspace на стороне клиента для отправки задания анализа. Обычно для отправки заданий используется настольный продукт, такой как Polyspace Bug Finder™, но для разгрузки анализа с одного сервера на другой можно также использовать серверный продукт, такой как Polyspace Bug Finder Server™.
Серверный продукт Polyspace (Polyspace Bug Finder Server или Polyspace Code Prover™ Server) на стороне сервера для выполнения анализа.
MATLAB ® Parallel Server™ для хранения заданий от нескольких клиентов в очереди и выделения заданий по мере доступности экземпляров Polyspace Server.
Дополнительные сведения см. в разделе Установка продуктов для отправки анализа Polyspace с настольных компьютеров на удаленный сервер.
Пользовательский интерфейс (только для настольных ПК): в конфигурации проекта этот параметр находится в узле Run Settings. Имеются отдельные опции для поиска ошибок и проверки кода.
файл командной строки и параметров: Использовать параметр -batch. См. раздел Сведения о командной строке.
Используйте этот параметр, если требуется, чтобы анализ выполнялся на удаленном кластере вместо локального рабочего стола.
Например, удаленный анализ можно выполнить в следующих случаях:
Необходимо завершить работу локального компьютера, но не прерывать анализ.
Вы хотите освободить время выполнения на локальном компьютере.
Вы хотите перенести анализ на более мощный компьютер.
НаВыполнить пакетный анализ на удаленном компьютере. В этом режиме удаленного анализа анализ ставится в очередь в кластере после этапа компиляции. Поэтому на локальном компьютере после постановки анализа в очередь:
При выполнении анализа из интерфейса пользователя Polyspace можно закрыть интерфейс пользователя.
При выполнении анализа из командной строки можно закрыть окно командной строки.
Управлять очередью можно с помощью монитора заданий Polyspace. Для использования монитора заданий Polyspace:
В интерфейсе пользователя Polyspace выберите «Сервис» > «Открыть монитор заданий». См. раздел Отправка анализа Polyspace с рабочего стола на удаленные серверы.
В командной строке DOS или UNIX ® используйте polyspace-jobs-manager команда. Дополнительные сведения см. в разделе Отправка анализа Polyspace с рабочего стола на удаленные серверы с помощью сценариев.
В командной строке MATLAB используйте команду polyspaceJobsManager функция.
После анализа может потребоваться вручную загрузить результаты из кластера.
При использовании продукта Polyspace Server для разгрузки анализа с одного сервера на другой результаты автоматически загружаются после анализа.
Выкл. (по умолчанию)Не выполнять пакетный анализ на удаленном компьютере.
Если вместо планировщика заданий MATLAB используется сторонний планировщик, добавьте опцию -no-credentials-check. Проверка учетных данных, выполненная в продукте, совместима только с планировщиком заданий MATLAB. В интерфейсе пользователя Polyspace добавьте эту опцию в Other поле.
Не выполняйте анализ программы проверки кода на удаленном кластере, если выполняется проверка уровня Source Compliance Checking. Для локального и удаленного анализа на локальном компьютере выполняется этап проверки соответствия или компиляции исходного кода. Поэтому, если вы работаете только до этого этапа, запустите программу на локальном компьютере.
При использовании продукта Polyspace Server для разгрузки анализа с одного сервера на другой выгрузка использует планировщик заданий MATLAB, который по умолчанию поставляется с параллельным сервером MATLAB. Нельзя использовать сторонний планировщик.
Чтобы выполнить удаленный анализ из командной строки, используйте с -scheduler вариант.
Параметр: -batch |
Значение: -scheduler если не задано имя узла планировщика заданий в интерфейсе пользователя Polyspace |
| По умолчанию: Откл. |
Пример (поиск ошибок):
polyspace-bug-finder -batch -scheduler NodeHost или polyspace-bug-finder -batch -scheduler MJSName@NodeHost |
Пример (проверка кода):
polyspace-code-prover -batch -scheduler NodeHost или polyspace-code-prover -batch -scheduler MJSName@NodeHost |
Пример (сервер поиска ошибок):
polyspace-bug-finder-server -batch -scheduler NodeHost |
Пример (сервер проверки кода):
polyspace-code-prover-server -batch -scheduler NodeHost |