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

230 Programowanie wspóbiene. Systemy czasu rzeczywistego
8.1.2. Spotkania
Ostatnie rozwizanie przypomina problem symulacji semafora dwustronnie ograniczonego
(zob. podrozdzia 6.5) w oparciu o mechanizm spotka. Innymi sowy, procedury
umieszczania porcji danych oraz pobierania porcji danych mogyby by przeniesione
w przestrze adresow poniszego zadania, wykonujcego instrukcj select
z dwoma wejciami Wstaw i Pobierz. Dozory wej zapewniaj, e dane nie bd umieszczane
w penym buforze i pobierane z pustego.
n: constant Integer := 10;
task Bufor is
entry Wstaw (X: in Typ);
entry Pobierz(X: out Typ);
end Bufor;
task body Bufor is
Buf: array (1..n) of Typ;
wskP, wskK: Integer := 1;
licznik: Integer := 0;
begin
loop
select
when licznik < n =>
accept Wstaw (X: in Typ) do
Buf(wskP) := X;
wskP := (wskP mod n) + 1;
licznik := licznik + 1;
end Wstaw;
or
when licznik > 0 =>
accept Pobierz(X: out Typ) do
X := Buf(wskK);
wskK := (wskK mod n) + 1;
licznik := licznik - 1;
end Pobierz;
end select;
end loop;
end Bufor;
Procesy producenta i konsumenta wstawiaj i pobieraj dane podczas spotkania z zadaniem
Bufor odpowiednio w wejciu Wstaw i Pobierz.
task body Producent is
info: Typ;
begin
loop
Produkuje_dane;
Bufor.Wstaw(info);
end loop;
end Producent;
task body Konsument is
info: Typ;
begin
loop
Bufor.Pobierz(info);