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

250 Programowanie wspóbiene. Systemy czasu rzeczywistego
type Filozof is access Fil;
Widelce: array(Liczba_Filozofow) of Kontrola_Widelcow;
Filozofowie: array(Liczba_Filozofow) of Filozof;
-- pierwsze rozwizanie
task body Kontrola_Widelcow is
begin
loop
accept Podnies;
accept Odloz;
end loop;
end Kontrola_Widelcow;
task body Brak_Blokady is
Max: constant Integer := N - 1;
L_Jedzacy: Integer range 0..Max := 0; -- liczba jedzcych filozofów
begin
loop
select
when L_Jedzacy < Max =>
accept Wchodzi do
L_Jedzacy := L_Jedzacy + 1;
end Wchodzi;
or
accept Opuszcza do
L_Jedzacy := L_Jedzacy - 1;
end Opuszcza;
end select;
end loop;
end Brak_Blokady;
task body Fil is
Widelec1, Widelec2: Liczba_Filozofow;
use Czynnosci;
begin
Widelec1 := P;
Widelec2 := (Widelec1 + 1) mod N;
loop
Mysli;
Brak_Blokady.Wchodzi;
Widelce(Widelec1).Podnies;
Widelce(Widelec2).Podnies;
Je;
Widelce(Widelec1).Odloz;
Widelce(Widelec2).Odloz;
Brak_Blokady.Opuszcza;
end loop;
end Fil;
begin
for P in Liczba_Filozofow loop
Filozofowie(P) := new Fil(P);
end loop;
end Filozofow5;
W tego typu rozwizaniach opartych na specyfikacji zada typu serwer awaria jednego
z serwerów jest niedopuszczalna. Wykonanie zada klienta nie powinno mie natomiast
wpywu na poprawno dziaania programu, lecz co najwyej na jego efektywno.
Awaria jednego z zada filozofa w sekcji lokalnej (Mysli) nie ma wpywu na wykonanie
pozostaych, jednak awaria jednego z zada w sekcji krytycznej powoduje zabloko-