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

Rozdzia 8. Problemy programowania wspóbienego 245
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);
-- ........
private
Wolne: Tablica(0..4) := (others => 2);
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;
--..........
end Jadalnia;
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;
begin
null;
end glowna;
Powysze rozwizanie gwarantuje bezpieczestwo programu, jednak nie mona go
uzna za poprawne, poniewa zawieszone zadanie na wejciu BioreWidelce bdzie blokowao
dostp do zmiennej I dla innych zada. Oznacza to, e moe wystpi przeplot,
w którym jeden filozof je, drugi oczekuje na wejcie do jadalni (atwo zauway,
e jest to ssiad filozofa obecnie jedzcego), a pozostali nie mog konkurowa o dostp
do obiektu chronionego Jadalnia (pomimo e dwa z trzech widelców w jadalni s wolne),
poniewa s zawieszeni na operacji S.Czekaj. W tym wypadku nie jest spenione nastpujce
wymaganie: jeeli s wolne dwa odpowiednie widelce, to przy braku wspózawodnictwa
filozof powinien mie moliwo natychmiastowego ich pobrania.