W dniu 11.01.2011 09:52, Wit Jakuczun pisze:
> W dniu 2011-01-10 22:53, Michoo pisze:
>> W dniu 10.01.2011 21:48, A.L. pisze:
>>> Podobnie z programowaniem, na przykald wspolbeiznym. Ktos to napisal
>>> ze "kazdy programista ma to w malym palcu". W odpowiedzi ja zadalem
>>> zadanko ktorego nikt nei rozwiazal.
>> Message-ID: <iedukm$6vb$1@news.onet.pl>
>> https://groups.google.com/group/pl.comp.programming/
msg/c4116dd834c7e975?hl=pl
>>
>>
>> Tylko się nie raczył Pan ustosunkować do tego rozwiązania.
>>
> A można Twoje rozwiązanie automatycznie sprawdzić pod kątem
> zakleszczenia czy zagłodzenia?

> No bo jeśli formalnie dowieść nie można
> to należy zawierzyć empirii. Czyli albo się wywali albo nie :).
Można go dowieść jeżeli chodzi o zakleszczenie, metod na zagłodzenie nie
znam, mogę pokazać, że go nie będzie, ale nie potrafię tego ubrać w
formę matematyczną.

Nie chciało mi się tego kończyć, ale na podstawie twierdzenia jakiegoś
tam jeżeli graf uszeregowalności konfliktowej dla dowolnych zestawów
transakcji nie będzie miał sprzeczności (traktujemy dostęp do sekcji
krytycznej jako transakcję sekwencyjną operującą na kolejnych zasobach -
stąd ustalony porządek pobierania blokad) to nie będzie zakleszczenia.
Powinno dać się to przetestować automatycznie, bo algorytm wyciągnałem z
dziedziny baz danych.


>>> A teraz zadam pytanie: ilu
>>> klepaczy kodu potrafi UDOWODNIC - scisle, matematycznie, ze ich
>>> rozwiazanie nie bedzie mialo "zakleszczenia" (deadlock) czy nie
>>> "umrze" (starvation).
>> "Klepacz" tego nie musi i pewnie nie potrafi.
>>
> Kto to jest wg Ciebie "klepacz"?
Osoba, której zadaniem jest wyprodukować produkt programistyczny dający
się sprzedać. Nie musi być bezpieczny, nie musi być bezawaryjny, nie
musi mieć dobrej jakości - ma dać się sprzedać. Zero złożonych
algorytmów, zero głębokiej analizy, dużo googlania i pozszywanie tego
tak aby dało się uruchomić.

--
Pozdrawiam
Michoo