Slajd11

Alg. Dekkera - Czwarta próba

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