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

244 Programowanie wspóbiene. Systemy czasu rzeczywistego
........
I: Integer := 0;
protected S is
entry Czekaj;
procedure Sygnalizuj;
private
Dostepna: Boolean := True;
end S;
protected body S is
entry Czekaj when Dostepna is
begin
Dostepna := False;
end Czekaj;
procedure Sygnalizuj is
begin
Dostepna := True;
end Sygnalizuj;
end S;
protected Jadalnia is
entry BioreWidelce (j: in Integer);
........
end Jadalnia;
protected body Jadalnia is
entry BioreWidelce(j: in Integer) when Wolne(I) = 2 is
-- zmienna globalna I
begin
Wolne((j + 4) mod 5) := Wolne((j + 4) mod 5) - 1;
Wolne((j + 1) mod 5) := Wolne((j + 1) mod 5) - 1;
S.Sygnalizuj; -- zwalnia dostp do zmiennej I
end BioreWidelce;
..........
task type Filozof(Nr: Integer);
task body Filozof is
begin
loop
Filozof_myli;
S.Czekaj; -- blokuje dostp do zmiennej I
I := Nr;
Jadalnia.BioreWidelce(I);
Filozof_je;
Jadalnia.OddajeWidelce(I);
end loop;
end Filozof;
procedure glowna is
type Tablica is array(Integer range ) of Integer;
I: Integer := 0;
protected S is
entry Czekaj;
procedure Sygnalizuj;
private
Dostepna: Boolean := True;
end S;