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