Укажите функции, представляющие прерываемые прерывания
-preemptable-interrupts function1[,function2[,...]]
-preemptable-interrupts указывает функции, представляющие прерываемые прерывания.function1[,function2[,...]]
Функция действует как прерывание всеми способами, за исключением того, что она может быть прервана другими прерываниями, вытесняемыми или неразрушаемыми. Прерывания указываются с помощью опции 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)