On Thu, 16 Dec 2010 15:33:12 +0100, "R. P."
<r...@w...to.wp.pl> wrote:

>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?

Nie

A.L.