Trochę hermetyczne, ale co tam:

https://hackernoon.com/so-you-think-you-know-c-8d4e2
cd6f6a6#.nd8iw4g4r

--
Marek

do góry

i co 'chebel' się nie zainteresował?

do góry

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

do góry

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

do góry

Użytkownik "Marek" napisał w wiadomości grup
dyskusyjnych:a...@n...neos
trada.pl...
>Trochę hermetyczne, ale co tam:
>https://hackernoon.com/so-you-think-you-know-c-8d4e
2cd6f6a6#.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 ?

J.

do góry

J.F. <j...@p...onet.pl> wrote:
> U?ytkownik "Marek" napisa? w wiadomo?ci grup
> dyskusyjnych:a...@n...neos
trada.pl...
> >Troch? hermetyczne, ale co tam:
> >https://hackernoon.com/so-you-think-you-know-c-8d4e
2cd6f6a6#.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

do góry

On Mon, 14 Nov 2016 13:06:44 +0100, "J.F."
<j...@p...onet.pl> wrote:
> 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

do góry

Użytkownik "Marek" napisał w wiadomości grup
dyskusyjnych:a...@n...neost
rada.pl...
On Mon, 14 Nov 2016 13:06:44 +0100, "J.F."
>> 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.

do góry

On Mon, 14 Nov 2016 15:19:07 +0100, "J.F."
<j...@p...onet.pl> wrote:
> 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

do góry

Użytkownik "Marek" napisał w wiadomości grup
dyskusyjnych:a...@n...neos
trada.pl...
On Mon, 14 Nov 2016 15:19:07 +0100, "J.F."
<j...@p...onet.pl> wrote:
>> 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.

do góry