-
Data: 2012-09-28 10:17:24
Temat: Re: Dlaczego software to F35 jest pisany w C++ a nie w Ada
Od: Maciej Sobczak <s...@g...com> szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]W dniu czwartek, 27 września 2012 19:01:36 UTC+2 użytkownik Sebastian Biały napisał:
> > powiedz moze jak wyobrazasz sobie bezpieczny
> > jezyk
>
> Taki którym nie jest możliwe *wyłączenie* procedur zapewniających
> bezpieczeństwo? Tak na początek ...
Tak na początek to leżysz. Znowu.
Zastanów się najpierw *po co* istnieją bezpieczne języki.
Otóż wbrew temu co sądzą teoretycy z uniwersytetów, bezpieczne języki nie służą do
tego, żeby w nich drukować rekurencyjne choinki, tylko do tego, żeby czymś
*sterować*. W większości przypadków tam, gdzie mówi się o bezpieczeństwie, chodzi o
szeroko rozumiane interakcje z procesami fizycznymi.
Istnieje oczywiście też rynek bezpiecznych systemów informacyjnych, np. związanych z
finansami, gdzie fakapy powodują straty pieniężne, ale ponieważ główni aktorzy tych
rynków regularnie udowadniają, że im to wisi, więc w praktyce nie jest to target dla
bezpiecznych technologii. Targetem dla bezpiecznych technologii są systemy
sterowania. Samolotami, elektrowniami, hamulcami, rozrusznikami serca, itd.
I teraz zastanów się, jakie cechy musi mieć język programowania, żeby się w ogóle to
tego nadawał - czyli do interakcji ze sterowanikami urządzeń albo wręcz do
bezpośrednich odwołań do pamięci, bo właśnie tak wyglądają te interakcje na
odpowiednio niskim poziomie.
Otóż żeby dany język w ogóle się do tego nadawał, to musi udostępnić wszystkie
narzędzia z rodziny memset, memcpy, reinterpret_cast oraz link z dowolnym symbolem.
Tylko tyle i aż tyle.
Ada to wszystko umożliwia, ale trzeba o te rzeczy poprosić bardziej, niż w C. I to
"bardziej" jest właśnie miarą bezpieczeństwa, bo w C te rzeczy spadają programiście
na głowę same.
Język, który tych narzędzi nie udostępnia *nie nadaje się do tworzenia bezpiecznych
systemów*.
Proste?
--
Maciej Sobczak * http://www.msobczak.com * http://www.inspirel.com
Następne wpisy z tego wątku
- 28.09.12 10:54 Roman W
- 28.09.12 13:33 Maciej Sobczak
- 28.09.12 14:08 Edek Pienkowski
- 28.09.12 16:54 Roman W
- 28.09.12 16:57 Roman W
- 28.09.12 19:35 Sebastian Biały
- 28.09.12 22:39 Maciej Sobczak
- 28.09.12 23:32 Edek Pienkowski
- 29.09.12 00:19 Roman W
- 29.09.12 00:37 Edek Pienkowski
- 29.09.12 07:52 Sebastian Biały
- 29.09.12 10:33 Edek Pienkowski
- 29.09.12 11:22 Marek Borowski
- 29.09.12 11:45 Sebastian Biały
- 29.09.12 12:23 AK
Najnowsze wątki z tej grupy
- Do czego nadaje się QDockWidget z bibl. Qt?
- Bibl. Qt jest sztucznie ograniczona - jest nieprzydatna do celów komercyjnych
- Co sciaga kretynow
- AEiC 2024 - Ada-Europe conference - Deadlines Approaching
- Jakie są dobre zasady programowania programów opartych na wtyczkach?
- sprawdzanie słów kluczowych dot. zła
- Re: W czym sie teraz pisze programy??
- Re: (PDF) Surgical Pathology of Non-neoplastic Gastrointestinal Diseases by Lizhi Zhang
- CfC 28th Ada-Europe Int. Conf. Reliable Software Technologies
- Młodzi programiści i tajna policja
- Ada 2022 Language Reference Manual to be Published by Springer
- Press Release - AEiC 2023, Ada-Europe Reliable Softw. Technol.
- Ada-Europe - AEiC 2023 early registration deadline approaching
- Ada-Europe Int.Conf. Reliable Software Technologies, AEiC 2023
- Ile cykli zajmuje mnożenie liczb 64-bitowych?
Najnowsze wątki
- 2024-07-05 eSIM na czym polega
- 2024-07-15 Roaming poza unią
- 2024-07-16 Jak tanio dzwonic do Wielkiej Brytani?
- 2024-07-16 Dzień bez ICE
- 2024-07-15 Spalinówki płoną doszczętnie
- 2024-07-15 Pojemność akumulatora
- 2024-07-15 Elektryk8i dalej płoną.
- 2024-07-15 Motodziennik #284 NOWY MG HS z hybrydą oraz wraca FORD CAPRI (jako SUV)
- 2024-07-14 [FILM] SAMOCHODY ELEKTRYCZNE DO WIELKIE ŚCIEMA? TYLKO FAKTY!
- 2024-07-14 Znieczulica w narodzie
- 2024-07-13 Protect Your PC with IObit Malware Fighter Pro 11.3.0.1346 Multilingual
- 2024-07-13 Advanced SystemCare Pro 17.5.0.255: Complete Performance and Health Optimization
- 2024-07-15 stara idea nowe hardware
- 2024-07-14 Dzwonek gong z transformatorem
- 2024-07-14 espnow przerywa na jeziorze?