Описание

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

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

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

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

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