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

246 Programowanie wspóbiene. Systemy czasu rzeczywistego
Najprostszym rozwizaniem jest specyfikacja w obiekcie chronionym Jadalnia procedury
BioreWidelce i OddajeWidelce dla kadego filozofa.
type Tablica is array(Integer range ) of Integer;
protected type Jadalnia is
entry BioreWidelce1;
entry BioreWidelce2;
entry BioreWidelce3;
entry BioreWidelce4;
entry BioreWidelce5;
procedure OddajeWidelce1;
........
entry OddajeWidelce5;
private
Wolne: Tablica(0..4) := (others => 2);
end Jadalnia;
protected body Jadalnia is
entry BioreWidelce1 when Wolne(0) = 2 is
begin
Wolne(1) := Wolne(1) - l;
Wolne(4) := Wolne(4) - l;
end BioreWidelce1;
entry BioreWidelce2 when Wolne(1) = 2 is
begin
Wolne(0) := Wolne(0) - l;
Wolne(2) := Wolne(2) - l;
end BioreWidelce2;
........
procedure OddajeWidelce1 is
begin
Wolne(4) := Wolne(4) + 1;
Wolne(1) := Wolne(1) + 1;
end OddajeWidelce1;
........
procedure OddajeWidelce5 is
begin
Wolne(0) := Wolne(0) + 1;
Wolne(3) := Wolne(3) + 1;
end OddajeWidelce5;
end Jadalnia;
Jak wida, powysze rozwizanie jest mao elastyczne i nie jest reprezentatywne dla
modelu programowania serwerów, poniewa zmiana liczby filozofów (klientów) wymaga
znacznych zmian w specyfikacji i treci obiektu chronionego. Poprawnym i naturalnym
rozwizaniem jest zastpienie powyszej deklaracji 10 wej deklaracj dwóch
rodzin wej. Poniej zaprezentowano ogóln struktur tego rozwizania, szczegóy
implementacji pozostawiono Czytelnikowi.
subtype Numer is Integer Range 1..5;
protected Jadalnia is
entry BioreWidelce(Numer);
entry OddajeWidelce(Numer);
private
........
end Jadalnia;