Чтобы настроить проверку нескольких задач или потоков, которые выполняются одновременно, используйте параметры многозадачности. Polyspace ® интерпретирует некоторые семейства многозадачных функций. Если эти функции не используются, необходимо явно указать, какие функции в коде указывают точки входа, циклические задачи или прерывания. Необходимо также указать механизмы защиты для общих переменных. Bug Finder использует эти спецификации для обнаружения скачков данных, взаимоблокировок, двойных блокировок и других проблем параллелизма.
External multitasking configuration | Включить настройку многозадачности из определений внешних файлов |
OIL files selection (-osek-multitasking) | Настройка многозадачной конфигурации из определения файла OIL |
ARXML files selection (-autosar-multitasking) | Настройка многозадачности на основе определений файлов ARXML |
Configure multitasking manually | Учтите, что код предназначен для многозадачности |
Tasks (-entry-points) | Укажите функции, выполняющие функции многозадачного приложения |
Cyclic tasks (-cyclic-tasks) | Укажите функции, представляющие циклические задачи |
Interrupts (-interrupts) | Укажите функции, представляющие неразрушаемые прерывания |
Disabling all interrupts (-routine-disable-interrupts -routine-enable-interrupts) | Укажите процедуры отключения и повторного включения прерываний. |
Critical section details (-critical-section-begin -critical-section-end) | Укажите функции, начинающие и завершающие критические сечения |
Temporally exclusive tasks (-temporal-exclusions-file) | Укажите функции точек входа, которые не могут выполняться одновременно |
Задать параметры анализа в пространстве
Задайте параметры анализа Polyspace в интерфейсе пользователя Polyspace, других среде IDE или сценариях.
Анализ многозадачных программ в многозадачном пространстве
Обнаружение скачков или взаимоблокировок данных или просмотр комплексного анализа использования общих переменных.
Защита общих переменных в многозадачном коде
Защищайте общие переменные, используя критический раздел, временное исключение, приоритеты или отключение прерываний.