eGospodarka.pl
eGospodarka.pl poleca

eGospodarka.plGrupypl.comp.programming[newbie] Test porównawczy języków programowaniaRe: Test porównawczy j?zyków programowania
  • Path: news-archive.icm.edu.pl!news.rmf.pl!agh.edu.pl!news.agh.edu.pl!news.onet.pl!.PO
    STED!not-for-mail
    From: Michoo <m...@v...pl>
    Newsgroups: pl.comp.programming
    Subject: Re: Test porównawczy j?zyków programowania
    Date: Tue, 11 Jan 2011 10:35:55 +0100
    Organization: http://onet.pl
    Lines: 46
    Message-ID: <igh89s$9tk$1@news.onet.pl>
    References: <6...@w...googlegroups.com>
    <q...@4...com>
    <3...@j...googlegroups.com>
    <igaetq$hub$1@news.onet.pl> <g...@4...com>
    <igd793$rjj$1@news.onet.pl> <igfhpt$icn$1@news.onet.pl>
    <f...@4...com> <igfk49$qlq$1@news.onet.pl>
    <igfm1s$bnh$1@news.net.icm.edu.pl> <igfpnh$g70$1@news.onet.pl>
    <igfqbs$e0q$1@inews.gazeta.pl>
    <l...@4...com> <igfrkj$n17$1@news.onet.pl>
    <igh5pd$au3$1@news.net.icm.edu.pl>
    NNTP-Posting-Host: smaug.int.pl
    Mime-Version: 1.0
    Content-Type: text/plain; charset=ISO-8859-2; format=flowed
    Content-Transfer-Encoding: 8bit
    X-Trace: news.onet.pl 1294738556 10164 83.238.197.12 (11 Jan 2011 09:35:56 GMT)
    X-Complaints-To: n...@o...pl
    NNTP-Posting-Date: Tue, 11 Jan 2011 09:35:56 +0000 (UTC)
    User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.1.16) Gecko/20101227
    Icedove/3.0.11
    In-Reply-To: <igh5pd$au3$1@news.net.icm.edu.pl>
    Xref: news-archive.icm.edu.pl pl.comp.programming:188059
    [ ukryj nagłówki ]

    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

Podziel się

Poleć ten post znajomemu poleć

Wydrukuj ten post drukuj


Następne wpisy z tego wątku

Najnowsze wątki z tej grupy


Najnowsze wątki

Szukaj w grupach

Eksperci egospodarka.pl

1 1 1

Wpisz nazwę miasta, dla którego chcesz znaleźć jednostkę ZUS.

Wzory dokumentów

Bezpłatne wzory dokumentów i formularzy.
Wyszukaj i pobierz za darmo: