Kl f K2 :Integer := 1;
2: task body PI is
3: begin
4: loop
5: Sekcja_lokalna_l ;
6: Kl:=0;
7: loop
8: if K2 = 1 then exit;
9: Kl:=1;
10: Kl:=0;
11: end loop;
12: Sekcja_krytyczna ;
13: Kl:=1;
14: end loop;
15 : end PI;
16: task body P2 is 17: begin 18: loop
19: Sekcja_lokalna_2;
20: K2:=0;
21: loop
22: if Kl = 1 then exit;
23: K2:=1;
24: K2:=0;
25: end loop;
26: Sekcja_krytyczna;
27: K2:=1;
28: end loop;
29 : end P2;
Dzi edzi ny zastosowa ń ... Wzajem ne wyki uczani e. 11