Укажите функции, представляющие неразрешимые задачи
-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 as 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)