Slajd15

UT₉y

Wzajemne wykluczanie za pomocą semafora -struktura programu - pseudokod Ady

1: S: Semaphore := 1;

2	bask body PI is	11	bask body P2 is
3	begin	12	begin
4	loop	13	loop
5	Sekcja, lokalna 1	14	Sekcja lokalna 2
6	Wait (S);	15	Waib (S) ;
7	Sekcja krytyczna 1	16	Sekcja krytyczna 2
8	Signal (S) ;	17	Signal (S);
9	end loop;	18	end loop;
10: end PI;		19	end P2;

Protokół wstępny: linie 6, 15 Protokół końcowy: linie 8, 17

Programowanie współbieżne z zastosowaniem semaforów 15