«« ( Date ) »» // «« ( Thread ) »» // drs - 2007

Re: za asistenta

by Sasa Vitorovic
četvrtak, 03. maj 2007 - 17:15.

Postovanje,

Koliko ja vidim, greska u 6b resenju Dinning Philosofersa je drugacije prirode nego 4. i 5. resenje.
Kada se vracaju viljuske, i Filozofu koji je gladan se signalizira da jede, nigde se ne smanjuje broj viljuski niti se njegovo stanje menja u eating.

Ispravite me ako gresim.

Pozdrav,
Sasa Vitorovic

----- Original Message ----- From: "Zaharije Radivojevic" <zaki@galeb.etf.bg.ac.yu>
To: <drs@rti.etf.bg.ac.yu>
Sent: Thursday, May 03, 2007 3:47 PM
Subject: Re: [drs] za asistenta




Postovani,

U zborci postoji greska u resenju koje se odnosi na filozofe koji
rucavaju varijante 4, 5 i 6b.
Bice ispravljene u sledecem izdanju zbirke.

Pozdrav
Zaharije

On Sun, 29 Apr 2007, Momir Djekic wrote:

Postovani,
imam za vas jedno pitanje u vezi Dining Philosophers problem, resenja broj 4
i 5 iz knjige Ikodinovic/Jovanovic.
U pitanju su resenja koja omogucuju vracanje viljuske na stol ukoliko ona
nije na njemu (realizovano pomocu fork[] koje dobia vrednosti true ako je
viljuska na stolu i false ukoliko nije)
Kod je:
procedure Philosopher(i:0..N-1);
var left, right, first, second:0..N-1;
begin
left:=i;
right:=(i+1)modN;
while(true) do begin
think;
wait(mutexfork[left]);
fork[left]:=false;
signal(mutexfork[left]);
pause(random);
wait(mutexfork[right]);
if (fork[right]) then begin
fork[right]:=false;
signal(mutexfork[right]);
eat;
dalje vracamo viljusku...


Pitanje je:
Filozof B sedi desno od filozofa A. Filozof A uzima levu, uzima desnu i
krece da jede. Filozof B pocinje sa radom i posto je mutexfork njegove leve
viljuske (a desne filozofa A) slobodan on dobija pravo pristupa, proglasava
da je viljuska uzeta sa stola... i sada i jedan i drugi imaju viljusku.
Sta previdjamo?

Zahvalni
Momir i Mihailo




-----------------------------------------------------------------
unsubscribe:
minimalist@rti.etf.bg.ac.yu?subject=unsubscribe%20drs
-----------------------------------------------------------------