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

Rozdzia 8. Problemy programowania wspóbienego 229
with ADA.Text_IO; use ADA.Text_IO;
with ADA.Integer_Text_IO; use ADA.Integer_Text_IO;
with Semafory; use Semafory;
procedure ProducentKonsument is
Max:Integer := 50;
LProducentow: Integer := 5; LKonsumentow: Integer := 5;
task type Producent(nr: Integer := 0);
task type Konsument(nr: Integer := 0);
type WskProducent is access Producent;
type WskKonsument is access Konsument;
producenci: array(1..LProducentow) of WskProducent;
konsumenci: array(1..LKonsumentow) of WskKonsument;
SP, SK: SemBin; Miejsca, Dane: Sem;
n: constant Integer := 10;
Bufor: array(1..n) of Integer;
wskP, wskK: Integer := 0;
task body Producent is
info: Integer := 1;
begin
loop
Put("produkuje producent nr :"); Put(nr); New_Line;
Miejsca.wait;
SP.wait;
wskP := (wskP mod n) + 1;
Bufor(wskP) := info;
SP.signal;
Dane.signal;
end loop;
end Producent;
task body Konsument is
info: Integer := 1;
begin
loop
Dane.wait;
SK.wait;
wskK := (wskK mod n) + 1;
info := Bufor(wskK);
SK.signal;
Miejsca.signal;
Put("konsumpcja konsumenta nr :"); Put(nr);
end loop;
end Konsument;
procedure start is
i, j: Integer;
begin
for i in 1..LProducentow loop
producenci(i) := new Producent(i); end loop;
for j in 1..LKonsumentow loop
konsumenci(j) := new Konsument(j); end loop;
end start;
begin
Miejsca.init(n); -- warto pocztkowa N
Miejsca.init(0); -- warto pocztkowa 0, bo bufor pusty
Start;
end ProducentKonsument;