Чтобы настроить проверку нескольких задач или потоков, которые выполняются одновременно, используйте параметры многозадачности. Polyspace ® интерпретирует некоторые семейства многозадачных функций. Если эти функции не используются, необходимо явно указать, какие функции в коде указывают точки входа, циклические задачи или прерывания. Необходимо также указать механизмы защиты для общих переменных.
Enable automatic concurrency detection for Code Prover (-enable-concurrency-detection) | Автоматическое обнаружение определенных семейств многопоточных функций |
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) | Укажите функции, представляющие неразрушаемые прерывания |
Critical section details (-critical-section-begin -critical-section-end) | Укажите функции, начинающие и завершающие критические сечения |
Temporally exclusive tasks (-temporal-exclusions-file) | Укажите функции точек входа, которые не могут выполняться одновременно |
Задать параметры анализа в пространстве
Задайте параметры анализа Polyspace в интерфейсе пользователя Polyspace, других среде IDE или сценариях.
Анализ многозадачных программ в многозадачном пространстве
Обнаружение скачков или взаимоблокировок данных или просмотр комплексного анализа использования общих переменных.
Защита общих переменных в многозадачном коде
Защищайте общие переменные, используя критический раздел, временное исключение, приоритеты или отключение прерываний.