Programowanie współbieżne. Systemy czasu rzeczywistego - Helion

232 Programowanie wspóbiene. Systemy czasu rzeczywistego
Producenci i konsumenci, którzy chc — odpowiednio — umieci lub pobra porcje
danych z bufora, wywouj procedury monitora Bufor.Wstaw(...) i Bufor.Pobierz(...).
Zmienne warunkowe Miejsca i Dane pozwalaj na wywaszczenie z monitora producentów
(operacja wait(Miejsca)), jeeli bufor jest peny, oraz konsumentów (operacja
wait(Porcje)), jeeli bufor jest pusty. Producenci s zawieszeni w kolejce zmiennej
warunkowej Miejsca, konsumenci natomiast w kolejce zmiennej warunkowej Dane.
Ostatnie instrukcje procedur Wstaw i Pobierz wznawiaj potencjalnie zawieszone procesy
w kolejkach zmiennych warunkowych, wykonujc operacje — odpowiednio —
signal(Dane), która wznawia jednego z konsumentów, i signal(Miejsca), która wznawia
jednego z producentów. Funkcja empty(Miejsca) zapewnia, e operacja wznawiania
producentów zawieszonych w kolejce zmiennej jest wykonywana tylko wówczas,
gdy ta kolejka nie jest pusta. Analogiczne znaczenie ma funkcja empty(Dane) w stosunku
do konsumentów.
8.1.4. Obiekty chronione
Rozwizanie problemu producenta i konsumenta oparte na mechanizmie obiektu chronionego
jest nastpujce:
type Elementy is array(Integer range ) of Element;
n: constant Integer := 10;
protected type Bufor(n: Integer) is
entry Pobierz(E: out Element);
entry Wstaw(E: in Element);
private
IndexWej, IndexWyj: Integer := 0;
Ile: Integer := 0; -- liczba porcji danych w buforze
Buf: Elementy(1..n);
end Bufor;
protected body Bufor is
entry Pobierz(E: out Element) when Ile > 0 is
begin
IndexWyj := (IndexWyj mod n) + 1;
E := Buf(IndexWyj);
Ile := Ile - 1;
end Pobierz;
entry Wstaw(E: in Element) when Ile < n is
begin
Buf(IndexWej) := E;
IndexWej := (IndexWej mod n) + 1;
Ile := Ile + 1;
end Wstaw;
end Bufor;
procedure producenciKonsumenci is
B1: Bufor(5);
task type Producent;
task body Producent is
X:Element := 1;
begin
loop
-- produkuje
B1.Wstaw(X);