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