Представление Concurrency Modeling отображает все задачи и прерывания, которые анализ извлекает из вашего кода и вашей настройки многозадачности Polyspace®.
в таблице функции перечислены в первом столбце по приказу уменьшающегося приоритета. Второй столбец показывает, как Polyspace обнаруживает каждую задачу или прерывание: автоматически, вручную от настройки Polyspace, или из внешнего файла.
От этого представления вы можете:
Кликните по имени функции, чтобы перейти к его определению в исходном коде.
Кликните по событию, чтобы перейти к соответствующему вызову параллелизма, примитивного в исходном коде, например, pthread_create.
Нажмите Manually configured для функций, которые вручную сконфигурированы, чтобы перейти к узлу Multitasking на панели Configuration.
