Задайте функции, которые представляют предпусковые прерывания
-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)