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

Rozdzia 8. Problemy programowania wspóbienego 257
end Czytelnicy_Pisarze;
package body Czytelnicy_Pisarze is
procedure Czytaj_Plik(I: out Typ) is
begin
........
end Czytaj_Plik;
procedure Zapisz_Plik(I: Typ) is
begin
........
end Zapisz_Plik;
protected Kontrola is
entry Zacznij_Czytac;
procedure Zakoncz_Czytac;
entry Zacznij_Zapisywac;
procedure Zakoncz_Zapisywac;
private
Czytelnicy: Natural := 0;
Pisarze: Boolean := False;
end Kontrola;
procedure Czytaj(I: out Typ) is
begin
Kontrola.Zacznij_Czytac;
Czytaj_Plik(I);
Kontrola.Zakoncz_Czytac;
end Czytaj;
procedure Zapisz(I: Typ) is
begin
Kontrola.Zacznij_Zapisywac;
Zapisz_Plik(I);
Kontrola.Zakoncz_Zapisywac;
end Zapisz;
protected body Kontrola is
entry Zacznij_Czytac when not Pisarze and
Zacznij_Zapisywac'Count = 0 is
begin
Czytelnicy := Czytelnicy + 1;
end Zacznij_Czytac;
procedure Zakoncz_Czytac is
begin
Czytelnicy := Czytelnicy - 1;
end Zakoncz_Czytac;
entry Zacznij_Zapisywac when not Pisarze and Czytelnicy = 0 is
begin
Pisarze := True;
end Zacznij_Zapisywac;
procedure Zakoncz_Zapisywac is
begin
Pisarze := False;
end Zakoncz_Zapisywac;
end Kontrola;
end Czytelnicy_Pisarze;