Operativni Sistemi - Univerzitet u Novom Sadu

Rešenje je sledeć e: svakoj uslovnoj promenljivoj pridružujemo po jedan semafor koji se
inicijalizuje na nulu.
U treć em sluč aju, jednostavno treba pozvati proceduru LeaveNormally, koja ć e probuditi jednog
procesa koji č eka na ulazak u k.o, ako takav proces postoji (i ostavić e mutex odgovarajuć eg monitora na
nuli), a ako takav proces ne postoji poveć ava vrednost mutexa (pošto je mutex binarni semafor, bić e
mutex=1), što ć e znač iti da nema nikoga unutar k.o.
PROCEDURE LeaveNormally ( mutex ) ;
BEGIN
Up ( mutex )
END LeaveNormally;
U sluč aju poziva naredbe Wait (c), treba pozvati sledeć u proceduru:
PROCEDURE Wait ( mutex,c ) ;
BEGIN
Up ( mutex ) ;
Down ( c )
END Wait;
Naredba Up ( mutex ) radi sledeć e: ako postoji neki proces koji spava na mutexu, bić e
probuđen, ako ne, mutex postaje 1, što označ ava da se ni jedan proces ne nalazi “ unutar” odgovarajuć eg
monitora. Naredbom Down ( c ) dobijamo da se proces blokira na semaforu c.
U sluč aju da se procedura završava naredbom Signal (c), potrebno je pozvati sledeć u proceduru:
PROCEDURE LeaveWithSignal ( c ) ;
BEGIN
Up ( c )
END LeaveWithSignal ;
Ova procedura probuđuje procesa koji č eka na signal c. Pažnja!! Ovde se pretpostavlja sledeće:
iz procedure monitora izlazimo sa operacijom Signal (c), samo ako je to potrebno, tj. samo ako smo
sigurni da postoji neki proces koji čeka na taj signal. U tom sluć aju, ne treba nam Up ( mutex ), tj, ne
treba javiti da nema nikoga unutar kritič ne oblasti, jer je to netač no: kako neko č eka na signal c, to znač i
da je pozvao proceduru Wait ( mutex,c ) unutar kritič ne oblasti i taj proces ć e nastaviti svoj rad unutar
k.o., pa mora ostati mutex=0.
Implementacija semafora pomoću monitora
Sada ć emo pretpostaviti da operativni sistem podržava monitore i uslovne promenljive za
sinhronizaciju lakih procesa, pa ć emo na osnovu njih implementirati semafore. Ideja je sledeć a: za svaki
semafor treba nam po jedan brojač buđenja i jedna uslovna promenljiva. Rešenje je dat u obliku pseudokoda
koji se oslanja na karakteristike programskog jezika Modula-2:
41