Задайте функции, которые представляют nonpreemptable задачи
-non-preemptable-tasks function1[,function2[,...]]
-non-preemptable-tasks задает функции, которые представляют nonpreemptable задачи.function1[,function2[,...]]
Функции не могут быть прерваны другими нециклическими задачами и циклическими задачами, но могут быть прерваны прерываниями, выгружаемыми или nonpreemptable. Нециклические задачи заданы с опцией Tasks (-entry-points), циклические задачи с опцией Cyclic tasks (-cyclic-tasks) и прерывания с опцией Interrupts (-interrupts). Для примеров смотрите, Задают Прерывания Preemptable и Задачи Nonpreemptable.
Чтобы задать функцию как nonpreemptable циклическую задачу, необходимо сначала задать функцию как циклическую или нециклическую задачу. Функции, которые вы задаете, должны иметь прототип:
void function_name(void);
Если при запуске анализ от пользовательского интерфейса (только десктопные решения Polyspace®) на панели Configuration, можно ввести эту опцию в поле Other. Смотрите Other.
Эта опция не полезна в Polyspace как Вы Анализ кода.
-non-preemptable-tasks | -preemptable-interrupts | Critical section details (-critical-section-begin -critical-section-end) | Cyclic tasks (-cyclic-tasks) | Interrupts (-interrupts) | Tasks (-entry-points) | Temporally exclusive tasks (-temporal-exclusions-file)
