Operativni Sistemi - Univerzitet u Novom Sadu

END
END Reader ;
BEGIN
Init ( mutex,1 ) ;
Init ( db, 1 ) ;
rc := 0 ;
PARBEGIN ;
Writer ;
Reader ;
...
PAREND
END RW ;
// niko još nije pristupio rc-u
// niko još nije pristupio bazi
Analiza: kada č italac poželi da č ita iz baze podataka, najpre proveri da li može pristupiti
globalnoj promenljivoj rc koja označ ava broj onih č itaoca koji istovremeno (u datom trenutku) č itaju iz
baze. Ako ne može, č eka na semaforu mutex. Ako može, onda gleda: ako je on prvi od č itaoca koji žele
č itati iz baze, onda mora zatražiti pristup bazi podataka preko semafora db. Ako pisac već piše, onda ć e
č ekati na tom semaforu. Ako ne, onda ć e dopustiti ostalim č itaocima pristup rc-u. Zatim ć e č itati iz baze.
Posle toga ponovo traži pristup rc-u, kada dobije pristup, onda proverava da li je on možda zadnji od
č itaoca, ako jeste, onda nikom (iz skupa č itaoca) više nije potrebna baza, pa ć e javiti da može neko drugi
pristupiti.
Znač i prvi č itaoc ć e zatražiti pristup bazi (to istovremeno ne mogu uraditi i više njih zbog
semafora mutex), kada dobije pristup, baza ć e biti “ otvorena” za sve č itaoce. Poslednji č itaoc ima zadatak
da “ zatvori” bazu i time omoguć i piscu (ili možda nekom č itaocu koji ponovo želi č itati) pristup.
Nedostatak ovog reš enja je u tome što favorizuje č itaoce: ako pisac poželi da upiše nešto u bazu,
mora sač ekati da svi č itaoci odustanu od č itanja, pa se može desiti da jako dugo ne dobije pristup. Ova
pojava se zove izgladnjivanje (starvation).
Problem uspavanog berberina
(The Sleeping Barber Problem)
U frizerskom salonu radi jedan berberin. U prostoriji imamo jednu stolicu za šišanje i n stolica za
mušterije koji č ekaju da dobiju novu frizuru. Ako nema ni jedne mušterije, berber sedi na svoju stolicu i
spava. Kada uđe prva mušterija, budi berberina, sedi na stolicu za šišanje i berber ga šiša. Sledeć a
mušterija koja dođe, sedi na jednu od tih n stolica za č ekanje, ako ima mesta, i č eka svoj red, ako nema
mesta odustaje od šišanja.
CONST n = 5 ;
VAR barber : Semaphore ;
customers : Semaphore ;
mutex : Semaphore ;
waiting : CARDINAL ;
PROCEDURE Barber ;
BEGIN
// broj stolica za čekanje
// da li je berberin slobodan za šišanje
// da li ima mušterija
// za kontrolu pristupa promen. waiting
// broj mušterija koja čekaju na šišanje
// berberin
47