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