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

256 Programowanie wspóbiene. Systemy czasu rzeczywistego
begin
Lczyt := Lczyt - 1;
if Lczyt = 0 then
signal(Pisanie);
end if;
end WychodziCzytelnik;
procedure Pisze is
begin
if Lczyt > 0 or Lpisz > 0 then
wait(Pisanie);
end if;
Lpisz := 1;
-- pisze
Lpisz := 0;
if not empty(Czytanie) then signal(Czytanie);
else signal(Pisanie);
end if;
end Pisze;
end Czytelnia;
task Czytelnik;
task body Czytelnik is
begin
loop
Czytelnia.WchodziCzytelnik;
-- czyta
Czytelnia.WychodziCzytelnik;
-- sekcja lokalna
end loop;
end Czytelnik;
task Pisarz;
task body Pisarz is
begin
loop
-- sekcja lokalna
Czytelnia.Pisze;
end loop;
end Pisarz;
W powyszym rozwizaniu dwie zmienne warunkowe pisanie i czytanie okrelaj stan
czytelni — to, czy jest ona zajta przez czytelników, czy przez pisarza. Jeeli czytelnicy
nie mog wej do czytelni, to s zawieszani w kolejce warunku czytanie (wykonuj
instrukcj wait(czytanie)) i reaktywowani przez wychodzcego z czytelni pisarza instrukcj
signal(czytanie). Analogicznie, jeeli czytelnicy przebywaj w czytelni, to pisarz
jest zawieszany w kolejce warunku pisanie i wznawiany (signal(Pisanie)) przez
ostatniego czytelnika wychodzcego z czytelni.
8.3.4. Obiekty chronione
Jeszcze bardziej naturalne i przede wszystkim efektywniejsze rozwizanie (ze wzgldu
na liczb operacji synchronizujcych dostp do czytelni) zapewnia obiekt chroniony.
package Czytelnicy_Pisarze is
procedure Czytaj(I: out Typ);
procedure Zapisz(I: Typ);