Описание

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

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

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

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

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

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