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