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

248 Programowanie wspóbiene. Systemy czasu rzeczywistego
procedure Je;
end Czynnosci;
package body Czynnosci is
procedure Mysli is
begin
delay 2.0;
end Mysli;
procedure Je is
begin
delay 3.0;
end Je;
end Czynnosci;
N: constant := 5;
type Liczba_Filozofow is range 0..N - 1;
task type Fil(P: Liczba_Filozofow);
task type Kontrola_Widelcow is
entry Podnies;
entry Odloz;
end Kontrola_Widelcow;
Zapewnienie ywotnoci globalnej (brak blokady) jest realizowane poprzez negacj
warunku cyklicznego czekania — dopuszczonych jest jedynie czterech filozofów do
jednoczesnego wspózawodnictwa o dostp do widelców.
task Brak_Blokady is
entry Wchodzi;
entry Opuszcza;
end Brak_Blokady;
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;