-enable-concurrency-detection)Автоматически обнаруживайте определенные семейства многопоточных функций
Эта опция влияет только на анализ Code Prover.
Эта опция недоступна для кода, сгенерированного из MATLAB® код или Simulink® модели.
Укажите, должен ли анализ автоматически обнаруживать POSIX®, VxWork®, Windows®, uC/OS II и другие многопоточные функции.
Пользовательский интерфейс (только для настольных продуктов): В строении проекта опция доступна на узле Multitasking. Другие опции, которые необходимо включить или отключить, см. в разделе Зависимости (Polyspace Code Prover).
Командная строка и файл опций: Используйте опцию -enable-concurrency-detection. См. «Информация о командной строке».
Если вы используете эту опцию, Polyspace® определяет вашу многозадачную модель из использования многопоточных функций. В Bug Finder автоматическое обнаружение параллелизма включено по умолчанию. В Code Prover вы должны явным образом включить автоматическое обнаружение параллелизма.
В некоторых случаях использование автоматического обнаружения параллелизма может замедлить анализ Code Prover. В этих случаях можно принять решение не включать эту опцию и явным образом задать свою модель многозадачности. Смотрите Настройку многозадачного анализа Polyspace вручную.
НаЕсли вы используете одну из поддерживаемых функций для многозадачности, анализ автоматически обнаруживает вашу модель многозадачности из вашего кода.
Список поддерживаемых функций многозадачности и ограничений в автоматическом обнаружении потоков см. в разделах «Автоматическое обнаружение создания потоков» и «Критическое сечение» в Polyspace.
Off (по умолчанию)Анализ не пытается обнаружить многозадачную модель из вашего кода.
Если вы хотите вручную сконфигурировать модель многозадачности, см. «Настройка анализа многозадачности Polyspace вручную».
Если вы включите эту опцию, ваш код должен содержать main функция. Вы не можете использовать опции Code Prover для генерации main.
Параметр: -enable-concurrency-detection |
| По умолчанию: Off |
Пример (Code Prover): Polyspace Code Prover -sources |
Пример (Код Prover Server):
Полипространство -code-prover-server -sources file_name |