exponenta event banner

-max-процессы

Укажите максимальное количество процессоров для анализа

Синтаксис

-max-processes num

Описание

-max-processes num указывает максимальное количество процессов, которые требуется использовать в анализе. В многоядерной системе программное обеспечение выполняет параллельный анализ и создает указанное количество процессов для ускорения анализа. Допустимый диапазон num от 1 до 128.

Если этот параметр не задан, при проверке программы проверки кода используется до четырех процессов. При наличии менее четырех процессов проверка использует максимальное доступное количество. Этот параметр используется для увеличения или ограничения количества процессов.

Если этот параметр не задан, в анализе Bug Finder используется максимальное количество доступных процессов. Эта опция используется для ограничения числа используемых процессов.

Чтобы эффективно использовать эту опцию, определите количество доступных для использования процессоров. Если количество создаваемых процессов превышает количество доступных процессоров, анализ не получает преимуществ от распараллеливания. Проверьте сведения о системе в операционной системе.

Обратите внимание, что при запуске проверки в сообщении указывается количество логических процессоров, обнаруженных в системе. Однако анализ параллельен физическим ядрам процессора на машине. Многопоточные реализации, такие как hyper-threading, не учитываются.

Если анализ выполняется из пользовательского интерфейса (только для настольных продуктов Polyspace ®), на панели Конфигурация (Configuration) можно ввести этот параметр в поле Другое (Other). ПосмотритеOther.

Примеры

Отключить параллельную обработку во время анализа:

  • Поиск ошибок:

    polyspace-bug-finder -max-processes 1
  • Проверка кода:

    polyspace-code-prover -max-processes 1
  • Сервер поиска ошибок:

    polyspace-bug-finder-server -max-processes 1
  • Сервер проверки кода:

    polyspace-code-prover-server -max-processes 1

Совет

Для анализа необходимо иметь не менее 4 ГБ оперативной памяти на процессор. Например, если на компьютере имеется 16 ГБ оперативной памяти, не используйте этот параметр для указания более четырех процессов.

Этот параметр неприменим в анализе Polyspace as You Code.