Описание

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

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

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

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

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

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