On Dec 16, 1:07 am, A.L. <l...@a...com> wrote:
> On Thu, 16 Dec 2010 01:02:07 +0000, Andrzej Jarzabek
>
> <a...@g...com> wrote:
> >On 15/12/2010 23:03, A.L. wrote:
> >> No dobrze. Jak to takie proste, to proponuje zadanko:
>
> >> Dane sa sekcje krytyczne A, B, C, D, E, F
>
> >> Maja one nastepujace wlasiciwosci
>
> >> A ~ B (gdzie ~ nalezy czytac "wzajemnie sie wyklucza"
>
> >Ja bym w og le postawi spraw inaczej. To, co jest opisane to jest
> >starsznie niskopoziomowe i jednocze nie do abstrakcyjne.
>
> To nie jest ani niskopoziomowe ani abstarkcyjne. To jest
> wyabstrachowany model problemu rzeczywisctego do rozwizania ktorego
> "programista bez doktoratu" uzyl jednego semafora, za kazdym razem
> blokuajc wszystko jak leci.

Inna z kolei możliwość jest taka, że programista bez doktoratu użyje
wielu semaforów (czy czego tam) i program zrobi deadlocka.