В Disabling routine введите стандартную программу, которая отключает все прерывания.

В Enabling routine введите стандартную программу, которая повторно включает все прерывания.

Щелкните, чтобы добавить поле и ввести имя функции.

Щелкните, чтобы перечислить функции в вашем коде. Выберите функции из списка.

Стандартная программа, которую вы задаете для опции, отключает вытеснение всеми:

Другими словами, анализ полагает, что орган по операциям между стандартной программой отключения и стандартной программой включения является атомарным и не прерываемым вообще.

Защита через отключение прерываний концептуально отличается от защиты через критические разделы.

В модели многозадачности Polyspace^®, чтобы защитить два раздела кода друг от друга через критические разделы, необходимо встроить их в тот же критический раздел. Другими словами, необходимо поместить два раздела между вызовами той же блокировки и разблокировать функцию.

Например, предположите, что вы используете критические разделы можно следующим образом:

void isr1() {
   begin_critical_section();
   x = 0;
   end_critical_section();
}

void isr2() {                                                                                                          
   x = 1;
}

void task() {
   begin_critical_section();
   x++;
   end_critical_section();
}

Как правило, вы используете одну пару стандартных программ в вашем коде, чтобы отключить и повторно включить прерывания, но вы можете иметь много пар блокировки и разблокировать функции, которые реализуют критические разделы.

Стандартные программы, которые отключают и включают прерывания, должны быть функциями. Например, если вы задаете подобный функции макрос:

#define disable_interrupt() interrupt_flag=0