Задайте функции, которые представляют незапускаемые задачи
-non-preemptable-tasks function1[,function2[,...]]
-non-preemptable-tasks задает функции, которые представляют незапускаемые задачи.function1[,function2[,...]]
Функции не могут быть прерваны другими нециклическими задачами и циклическими задачами, но могут быть прерваны прерываниями, предварительно или не предварительно освобождаемыми. Нециклические задачи задаются опцией Tasks (-entry-points), циклические задачи с опцией Cyclic tasks (-cyclic-tasks) и прерывается с опцией Interrupts (-interrupts). Для примеров смотрите Задать предпусковые прерывания и незапускаемые задачи.
Чтобы задать функцию как непередаваемую циклическую задачу, необходимо сначала задать функцию как циклическую или нециклическую задачу. Функции, которые вы задаете, должны иметь прототип:
void function_name(void);
Если вы запускаете анализ из пользовательского интерфейса (Polyspace® только для продуктов), на панели Configuration, можно ввести эту опцию в поле Other. См. Other.
Эта опция не используется в анализе Polyspace во время You Code.
-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)
