Монопольные приложения

целевой платформы;
поддерживается платформо-ориентированной (native) библиотекой драйверов устройств (драйвер осуществляет управление

устройством, реализует процедуры ввода/вывода);

Библиотека
драйверов

Целевая платформа

Standalone приложение

может включать в себя самостоятельные процедуры обработки прерываний и действия по вводу/выводу;
сильно зависит от платформы

Принятие решения
Вывод воздействия
Запрос на печать
Период = 180 s
WCET < 0,05

ms
Функции
Запуск печати:
ВыводНаПечать(Данное: X)

then
Управление;
flag_1:= false;
if flag_2 then
ВыводНаПечать(X);
flag_2:= false;
while(true)do end;



Часы:
реализует два счетчика,

значения которых увеличиваются на 1 при каждом обращении; когда
счетчик_1 = 1 flag_1:= true
счетчик_2 = 180 flag_2:= true

Таймер:
Запрос на прерывание каждую секунду

Драйвер печати:
Библиотечная программа

Управляющая программа

- вывод на печать время от времени “зависает”

Необходимо более детальное

рассмотрение работы системы

печати
Буфер печати
Запрос: ВыводНаПечать(Данное: X)
Секция запуска считывает Х в буфер вывода,

пересылает порцию Х1 на устройство и возвращает управление
Программа и устройство работают параллельно
Устройство закончило печать Х1,и формирует запрос на прерывание
Обработчик прерывания драйвера пересылает Х2 на устройство
Возврат в точку прерывания
Программа и устройство работают параллельно
И так далее для Х2 Х3 Х4 ...

Программа

1

2

3

4

5

7

6

запуска


3
Управление


4
5
1




2
2
1
2
6
6
6
3
7
7
8
Прерывания от таймера
Прерывания печати
Часы
Секция запуска драйвера печати
Управление
Занятое ожидание while(true) do

end
Обработка прерывания печати
Драйвер прерывается таймером (!)

Некорректно реализован возврат из процедуры обработки прерывания таймера (Управляющая программа). Вследствие этого зависает драйвер печати

5

6

flag_1 then
Управление;
flag_1:= false;
if flag_2 then

ВыводНаПечать(Данное: X);
flag_2:= false;
end;

Секция
запуска

Управляющая программа

не должено прерываться

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

R;
Возврат
Прерывание
b
A = 5; R = 5; R

= 5; R = 6; A = 6; R = 7; A = 7;
A = 5; R = 5; R = 6; R = 5; R = 6; A = 6; A = 6;

Возможное средство:
маскировать прерывания (CLI …… STI). Однако, КС не должна быть длинной – увеличение latancy (В предыдущем примере недопустимо целиком маскировать обработку прерывания печати)

a

false;
repeat until flag;
Работа с данным;
flag := false;
Программа Y:
Ввод данного;
flag :=

true;

Возможное средство: механизм флагов

setFlag(boolean value){
установить_маску;
flag := value;
сбросить_маску;
}

boolean getFlag(){
return flag;
}
}
Флаги реализуются на системном (аппаратном)

уровне и поддерживаются неделимыми примитивами доступа

выполняющихся процедур, обрабатывающих события от параллельно развивающихся физических процессов и

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