В представлении «Моделирование параллелизма» отображаются все задачи и прерывания, извлеченные при анализе из кода и многозадачной конфигурации Polyspace ®.
в таблице функции перечислены в первом столбце по порядку уменьшения приоритета. Во втором столбце показано, как Polyspace обнаруживает каждую задачу или прерывание: автоматически, вручную из конфигурации Polyspace или из внешнего файла.
В этом представлении можно выполнить следующие действия:
Щелкните имя функции, чтобы перейти к ее определению в исходном коде.
Щелкните событие, чтобы перейти к соответствующему вызову примитива параллелизма в исходном коде, например pthread_create.
Нажмите Настроить вручную для функций, настроенных вручную, чтобы перейти к узлу Многозадачность на панели Конфигурация.