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