Моделирование параллелизма

В представлении Concurrency Modeling отображаются все задачи и прерывания, которые анализ извлекает из вашего кода и вашего Polyspace® многозадачность строения.

в таблице функции перечислены в первом столбце по порядку уменьшения приоритета. Во втором столбце показано, как Polyspace обнаруживает каждую задачу или прерывание: автоматически, вручную из строения Polyspace или из внешнего файла.

Из этого представления можно:

  • Щелкните имя функции, чтобы перейти к ее определению в исходном коде.

  • Щелкните событие, чтобы перейти к соответствующему вызову примитива параллелизма в исходном коде, например pthread_create.

  • Щелкните Manually configured для функций, настроенных вручную, чтобы перейти к узлу Multitasking на панели Configuration.