Operativni Sistemi - Univerzitet u Novom Sadu

Down ( mutex ) ;
states [ i ] := thinking ;
Test ( left ( i ) ) ;
Test ( right ( i ) ) ;
Up ( mutex )
END PutForks ;
// ulazak u k.o.
// filozof prestaje da jede,
// počinje razmišljati
// javimo levom filozofu
// javimo desnom filozofu
// izlaz iz k.o.
PROCEDURE Test ( i : CARDINAL ) ;
// i označava redni broj filozofa
BEGIN
IF ( states [ i ] = hungry ) AND // ako je naš filozof gladan,
( states [ left ( i ) ] eating ) AND // a ni levi filozof,
(states[ right ( i ) ] eating) // ni desni filozof ne jede,
THEN
states[i] := eating ; // naš filozof može slobodno jesti
END
END Test ;
Up ( s [ i ] )
BEGIN
Init ( mutex,0 );
Init ( s[1],1 ); states[1]:=thinking;
...
Init ( s[n],1 ); states[n]:=thinking;
PARBEGIN ;
Philosopher ( 1 ) ;
...
Philosopher ( n ) ;
PAREND
END Philosophers.
// pa ga treba probuditi
Analiza: Posmatrajmo rad programa. Neka neki filozof (A) postane gladan, tada pogleda levog i
desnog suseda, ako ni jedan od njih ne jede, to znač i da je i leva i desna viljuška slobodna, pa može da
jede (to se odvija u proceduri Test) i pošalje signal na svoj semafor, da ne bi zaspao pri izlasku iz
procedure TakeForks. Ako bar jedan od suseda jede, ne može uzeti obe viljuške, pa ne može ni jesti, zato
ć e č ekati na svom semaforu – to obezbeđuje Down operacija na kraju procedure TakeForks.
Pretpostavimo sada da je ovaj naš filozof (A) uspeo da uzme obe viljuške i poč eo da jede. Neka sada
ogladi filozof (B) pored njega. Taj isto javi da je gladan i ode da testira susede. Vidi da filozof (A) pored
njega jede, pa ne može uzeti viljušku (filozofi su vrlo miroljubivi, pa neć e silom oduzeti viljušku od
suseda) zato ć e da zaspi na svom semaforu. Nakon izvesnog vremena filozof A prestaje da jede, i kaže
ostalima: idem ja da razmišljam. Ali pre nego što izađe iz procedure PutForks, javi susedima da mu
viljuške više nisu potrebne, tako što ć e pozvati Test i za levog i za desnog suseda. Kada pozove Test za
filozofa B (koji gladan č eka na svom semaforu), uz pretpostavku da ni drugi sused od B ne jede, B ć e
poč eti da jede (state[B]:=eating) i dobija signal na svom semaforu da može izać i iz procedure
TakeForks i nastaviti svoj rad.
Problem jedućih filozofa je koristan za modeliranje procesa koji se takmiče za ekskluzivan
pristup nekim resursima (tj. datim resursima istovremeno može pristupiti samo jedan proces).
45