A.L. wrote:
> On Thu, 16 Dec 2010 04:37:10 -0800 (PST), Andrzej Jarzabek
> <a...@g...com> wrote:
>
>> 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.
>
> Owszem. Dlatego tzreba wiedziec jak takie problemy rozwiazywac. A
> akurat rozwiazanei tego zadanka ktore zadalem nie jest takie proste
>
> A.L.

Widze, ze nie jest trywialne... Pomysle wieczorem.

Ale w F# / Scali to niby kilka linijek bedzie?