[drs:2005] - Re: pitanje u vezi zadatka iz zbirke by "Simic" <simac@verat.net>

I ja mislim da treba. Tiketom se ogranicava max N-1 (tj. 4) filozofa u KS.
Dakle, pre svakog slanja poruke ok() procesu koji je uputio zahtev za ulazak
u KS treba inkrementirati tickets.
waiting postaje true kada i peti  pokusa da udje i pamti se njegov id.
Kada jedan (recimo phil(1)) napusti KS i smanji tickets (na N-2 = 3)
obavezno treba inc tickets pre pustanja u KS onog sto ceka , jer bez toga
phil(1) moze ponovo zatraziti pristup i bice mu dozvoljeno (3 < N-1 = 4) i
eto petorice u KS! - mogucnost deadlock-a zbog kruzne zavisnosti.

Pozdrav
Goran.


> imam pitanje u vezi
> zadatka 23,
> oblast csp,
> strana 97 u zbirci - Filozofi za ruckom
>
> mislim da u redu (pri samom kraju zadatka)
>
> [waiting -> waiting:=false; philosopher(id)!ok()]
>
> bi trebalo da stoji
>
> [waiting -> waiting:=false; tickets:=tickets + 1; philosopher(id)!ok()]
>
> bez tickets:=tickets + 1
> pusta se filozof u KS a tickets ostaje na N-2 a u Ks je N-1 filozofa

>
> Pozdrav
> rade
>
> -----------------------------------------------------------------
> unsubscribe:
>    minimalist@titan.etf.bg.ac.yu?subject=unsubscribe%20drs
> -----------------------------------------------------------------