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

Rozdzia 8. Problemy programowania wspóbienego 235
-- definicje bufora, semaforów ogólnych i binarnych
-- oraz ich pocztkowa inicjalizacja jak w poprzednich przykadach
task body Producent is
wsklok: Integer := 0;
info: Typ;
begin
loop
Produkuje;
Miejsca.wait;
SP.wait;
wskP := (wskP mod n) + 1;
wsklok := wskP;
SP.signal;
-- semafor nie wyklucza jednoczesnego wstawiania danych do rónych elementów bufora
Bufor(wsklok) := info;
Dane.signal;
end loop;
end Producent;
task body Konsument is
wsklok: Integer := 0;
info: Typ;
begin
loop
Dane.wait;
SK.wait;
wskK := (wskK mod n) + 1;
wsklok := wskK;
SP.signal;
-- semafor nie obejmuje operacji pobierania porcji
Info := Bufor(wskK);
Miejsca.signal;
Konsumuje;
end loop;
end Konsument;
Du rol w tym rozwizaniu peni zmienne lokalne. Gwarantuj one zapamitanie
przez kadego z producentów indeksu wolnego miejsca w buforze oraz przez konsumenta
indeksu miejsca, w którym s zapisane dane. Rozwamy stan programu, w którym
dwóch producentów Producent1 i Producent2 próbuje jednoczenie umieszcza porcje
danych w buforze. Zaómy, e drugi i trzeci element bufora jest wolny, std w rozwaanym
stanie wskP = 1, tzn. wskazuje na pierwszy element bufora.
Przeplot operacji wykonywanych przez zadania Producent1 i Producent2 moe by
nastpujcy:
zadanie Producent1 przypisuje wskP = 2 oraz zapamituje warto wskP w zmiennej
lokalnej wsklok = wskP (semafor gwarantuje niepodzielno tych dwóch operacji);
zadanie Producent1 rozpoczyna operacj zapisywania danych do bufora
— Bufor(2);
zadanie Producent2 przypisuje wskP = 3 oraz zapamituje warto zmiennej
wskP w zmiennej lokalnej wsklok = wskP;