Quiz dla bystrzaków w C

i co 'chebel' się nie zainteresował?

a przy okazji... i widzisz... wygadałeś się...

dziwnym trafem ten Twój post zbiegł się z miazgą newsem, że grupa popis/eu rozpoczyna szkolenie na gigantyczną skalę programistów, żeby wyeliminować tych co nie zostali zaproszeni do pracy w eu...

w razie gdyby Ktoś zabłądził to podam wniosek końcowy: nie zostali bo nie zasłużyli... nie, mandziejewicz?

Użytkownik "Marek" napisał w wiadomości grup dyskusyjnych: snipped-for-privacy@news.neostrada.pl...

Podsumowanie jest ciekawe:

"The pivoting moment came in 2013, when I’ve got myself involved with some safety critical PLC programming. It was a research project in nuclear power plant automation, where absolutely no underspecification was tolerable. I had to learn that, while I did knew a lot about C programming, absolute majority of what I knew was false. And I had to learn it the hard way too"

Ale ... jak sprawdzic kompilator i wszystkie biblioteki, czy dzialaja zgodnie ze standardem ?

J.

Kompilator: compcert.inria.fr/

Na bibliteki trzeba uwazac -- jesli nie masz dowodu ze sa poprawne to musisz sam napisac (bibliteke+dowod).

dzialaja

Przeczytać manual do kompilatora?

Quiz troszkę jest prowokacją. Gdyby użył "nie wiadomo" zamiast "nie wiem" każdy by był ostrożniejszy i wybrałby tą odpowiedź w każdym przypadku. A "nie wiem" prowokuje ambicjonalne odpowiedzi czyli zgodne z kompilatorem jaki się zna i używa, nie zwracając uwagi na brak istotnych założeń brzegowych.

Użytkownik "Marek" napisał w wiadomości grup dyskusyjnych: snipped-for-privacy@news.neostrada.pl... On Mon, 14 Nov 2016 13:06:44 +0100, "J.F."

Przeczytac to jedno, my tu o powaznym projekcie, trzeba sprawdzic a nawet zagwarantowac :-)

Ja juz taka anegdote slyszalem: powazny projekt, a projektan proponuje uzyc 8008. Czemu ? Bo ja jego wszystkie bledy znam. O innych procesorach nie moge tego powiedziec.

Z tego ponoc wyrosl projekt "bezpiecznego uP", gdzie od poczatku sprawdzano poprawnosc realizacji zalozen, ale ponoc projekt upadl.

J.

sugerujesz że popularnie współcześnie używane procesory w miliardach egzemplarzy są słabo przetestowane? Historia którą opowiedziałeś robiła wrażenie 30 lat temu ale nie teraz.

A oczywiscie ze sugeruje, zobacz chocby to:

Tym niemniej - nie robimy komputera dla gracza, robimy komputer sterujacy elektrownia atomowa, gdzie kazdy blad moze byc tragiczny w skutkach. I chcemy sie zabezpieczyc mozliwie dobrze.

Tu taki stary przypadek, gdy blad programisty zabil kilka osob

Brzmi to komicznie w świetle ataków wirusowo/hackerskich na takie instalacje.

A mógłbyś podesłać coś współczesnego? Foofa osobiście.patchowałem zanim wyszła oficjalna lata, w 95 roku chyba.

J.F. <jfox snipped-for-privacy@poczta.onet.pl> napisał(a):

Jakoś ich tam niewiele, biorąc pod uwagę mnogość typów procesorów i skalę produkcji.

Jeśli każdy błąd może być tragiczny w skutkach, to nie jest to dobrze zaprojektowana elektrownia.

Ale mówimy o sprzęcie, nie o błędach programistów.

Użytkownik "Grzegorz Niemirowski" napisał w wiadomości grup dyskusyjnych:o0cv0a$fk0$ snipped-for-privacy@node1.news.atman.pl... J.F. <jfox snipped-for-privacy@poczta.onet.pl> napisał(a):

Ale to tylko niektore. Tak czy inaczej - procesory miewaja bledy.

Zrob lepsza :-)

Procesory dawniej mikrokodowane, teraz z kolei w VHDL - miejsca na blad programistow duzo :-)

J.

Piszę programy w C od 16 lat na różne platformy i powyższy test nie był dla mnie niespodzianką, C++ większość problemów z testu eliminuje, np mamy większy i bardziej precyzyjny wachlarz typu danych, dlatego też na część z tych pytań można podać prawidłową odpowiedź niezależnie od platformy.

W dniu wtorek, 15 listopada 2016 18:04:08 UTC+1 użytkownik bobofrut napisał:

Ja jeszcze przed załadowaniem się strony w przeglądarce zgadłem, że będzie o sizeof i paddingu structów;) Także mogli się bardziej postarać żeby znaleźć coś naprawdę egzotycznego.

Pozdrawiam,