Goto page 1, 2 Next
Marek
Guest
Sat Nov 12, 2016 1:15 am
Trochę hermetyczne, ale co tam:
https://hackernoon.com/so-you-think-you-know-c-8d4e2cd6f6a6#.nd8iw4g4r
--
Marek
w systemie siĹa 'PO/EU
Guest
Sun Nov 13, 2016 1:28 pm
i co 'chebel' się nie zainteresował?
w systemie siĹa 'PO/EU
Guest
Sun Nov 13, 2016 4:53 pm
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 systemie siĹa 'PO/EU
Guest
Sun Nov 13, 2016 5:00 pm
w razie gdyby Ktoś zabłądził to podam wniosek końcowy: nie zostali bo
nie zasłużyli... nie, mandziejewicz?
J.F.
Guest
Mon Nov 14, 2016 1:06 pm
Użytkownik "Marek" napisał w wiadomości grup
dyskusyjnych:almarsoft.3773759807938787005@news.neostrada.pl...
Quote:
Podsumowanie jest ciekawe:
"The pivoting moment came in 2013, when I
Marek
Guest
Mon Nov 14, 2016 3:04 pm
On Mon, 14 Nov 2016 13:06:44 +0100, "J.F."
<jfox_xnospamx@poczta.onet.pl> wrote:
Quote:
Ale ... jak sprawdzic kompilator i wszystkie biblioteki, czy
dzialaja
zgodnie ze standardem ?
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.
--
Marek
J.F.
Guest
Mon Nov 14, 2016 3:19 pm
Użytkownik "Marek" napisał w wiadomości grup
dyskusyjnych:almarsoft.922483885624318827@news.neostrada.pl...
On Mon, 14 Nov 2016 13:06:44 +0100, "J.F."
Quote:
Ale ... jak sprawdzic kompilator i wszystkie biblioteki, czy
dzialaja zgodnie ze standardem ?
Przeczytać manual do kompilatora?
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.
Marek
Guest
Mon Nov 14, 2016 3:26 pm
On Mon, 14 Nov 2016 15:19:07 +0100, "J.F."
<jfox_xnospamx@poczta.onet.pl> wrote:
Quote:
Czemu ? Bo ja jego wszystkie bledy znam. O innych procesorach nie
moge
tego powiedziec.
Z tego ponoc wyrosl projekt "bezpiecznego uP", gdzie od poczatku
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.
--
Marek
J.F.
Guest
Mon Nov 14, 2016 3:47 pm
Użytkownik "Marek" napisał w wiadomości grup
dyskusyjnych:almarsoft.6824394979592826262@news.neostrada.pl...
On Mon, 14 Nov 2016 15:19:07 +0100, "J.F."
<jfox_xnospamx@poczta.onet.pl> wrote:
Quote:
Czemu ? Bo ja jego wszystkie bledy znam. O innych procesorach nie
moge tego powiedziec.
Z tego ponoc wyrosl projekt "bezpiecznego uP", gdzie od poczatku
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:
http://wiki.osdev.org/CPU_Bugs
To sa bledy wykryte, ale czy wszystkie ?
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
https://en.wikipedia.org/wiki/Therac-25
J.
Guest
Mon Nov 14, 2016 3:55 pm
J.F. <jfox_xnospamx@poczta.onet.pl> wrote:
Quote:
U?ytkownik "Marek" napisa? w wiadomo?ci grup
dyskusyjnych:almarsoft.3773759807938787005@news.neostrada.pl...
Troch? hermetyczne, ale co tam:
https://hackernoon.com/so-you-think-you-know-c-8d4e2cd6f6a6#.nd8iw4g4r
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 ?
Kompilator: compcert.inria.fr/
Na bibliteki trzeba uwazac -- jesli nie masz dowodu ze sa poprawne
to musisz sam napisac (bibliteke+dowod).
--
Waldek Hebisch
Marek
Guest
Mon Nov 14, 2016 6:17 pm
On Mon, 14 Nov 2016 15:47:21 +0100, "J.F."
<jfox_xnospamx@poczta.onet.pl> wrote:
Quote:
Tym niemniej - nie robimy komputera dla gracza, robimy komputer
sterujacy elektrownia atomowa, gdzie kazdy blad moze byc tragiczny
w
skutkach.
Brzmi to komicznie w świetle ataków wirusowo/hackerskich na takie
instalacje.
--
Marek
Marek
Guest
Mon Nov 14, 2016 6:19 pm
On Mon, 14 Nov 2016 15:47:21 +0100, "J.F."
<jfox_xnospamx@poczta.onet.pl> wrote:
Quote:
A mógłbyś podesłać coś współczesnego? Foofa osobiście.patchowałem
zanim wyszła oficjalna lata, w 95 roku chyba.
--
Marek
Grzegorz Niemirowski
Guest
Mon Nov 14, 2016 7:15 pm
J.F. <jfox_xnospamx@poczta.onet.pl> napisał(a):
Quote:
Jakoś ich tam niewiele, biorąc pod uwagę mnogość typów procesorów i skalę
produkcji.
Quote:
Tym niemniej - nie robimy komputera dla gracza, robimy komputer sterujacy
elektrownia atomowa, gdzie kazdy blad moze byc tragiczny w skutkach.
Jeśli każdy błąd może być tragiczny w skutkach, to nie jest to dobrze
zaprojektowana elektrownia.
Quote:
Ale mówimy o sprzęcie, nie o błędach programistów.
--
Grzegorz Niemirowski
http://www.grzegorz.net/
J.F.
Guest
Tue Nov 15, 2016 10:25 am
Użytkownik "Grzegorz Niemirowski" napisał w wiadomości grup
dyskusyjnych:o0cv0a$fk0$1@node1.news.atman.pl...
J.F. <jfox_xnospamx@poczta.onet.pl> napisał(a):
Quote:
A oczywiscie ze sugeruje, zobacz chocby to:
http://wiki.osdev.org/CPU_Bugs
To sa bledy wykryte, ale czy wszystkie ?
Jakoś ich tam niewiele, biorąc pod uwagę mnogość typów procesorów i
skalę produkcji.
Ale to tylko niektore.
Tak czy inaczej - procesory miewaja bledy.
Quote:
Tym niemniej - nie robimy komputera dla gracza, robimy komputer
sterujacy elektrownia atomowa, gdzie kazdy blad moze byc tragiczny
w skutkach.
Jeśli każdy błąd może być tragiczny w skutkach, to nie jest to dobrze
zaprojektowana elektrownia.
Zrob lepsza :-)
Quote:
Procesory dawniej mikrokodowane, teraz z kolei w VHDL - miejsca na
blad programistow duzo :-)
J.
bobofrut
Guest
Tue Nov 15, 2016 7:04 pm
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.
Goto page 1, 2 Next