-
Data: 2017-04-25 14:19:59
Temat: Re: 22nd Int.Conf. Reliable Software Technologies, Ada-Europe 2017
Od: m...@k...org szukaj wiadomości tego autora
[ pokaż wszystkie nagłówki ]On Monday, April 24, 2017 at 11:24:30 PM UTC+1, Maciej Sobczak wrote:
> W dniu poniedziałek, 24 kwietnia 2017 16:16:31 UTC+2 użytkownik Michal napisał:
>
> > > > 1) Ariane5 z Overflow Space Agency
> > >
> > > Program zrobił dokładnie to, do czego został zaprojektowany. To, że został
użyty *w kontekście*, do którego nie został zaprojektowany, było winą złej integracji
systemu a nie błędów w kodzie. Polecam lekturę raportu z fakapu.
> >
> > Ciekawe.
> > Nie chce mi sie calego czytac. Moglbys krotko napisac, czy aby na pewno
> > uzycie jezyka z mocniejszym systemem typow ( np. dependent typing ) nie pomogloby
> > zapobiec katastrofie?
>
> Katastrofa wynikała z tego, że z pośpiechu wzięto moduł z mniejszej rakiety i po
prostu trzymając kciuki wsadzono go do większej rakiety, której większa prędkość w
czasie startu (zdaje się, że pozioma składowa) nie zmieściła się w założonym
zakresie. Wynikający z tego wyjątek (nie ma znaczenia, że z powodu wyłączenia
wyjątków software'owych był to wyjątek hardware'owy) trafił do procedury obsługi
polegającej na wysadzeniu całej rakiety w p*zdu.
> Lepszy język? Tu nie było żadnego buga a program zachował się tak jak miał się
zachować. Błąd był po stronie inżynierów systemowych, którzy złożyli do kupy rakietę
z klocków z niewłaściwego pudełka. Żaden język przed tym specjalnie nie chroni.
>
No właśnie tu jest pytanie - czy może pomóc uchronić. Diabeł tkwi w szczegółach.
Przecież nie wzięli chyba kompilatu (binarki) z jednej maszyny i nie zainstalowali
tego na drugiej "jak leci". Podejrzewam, że _jakiś_ proces kompilacji/budowania i
testowania itp jednak był.
Czy dobry język (i - co najwazniejsze - wiążąca się z takim językiem metodyka )
pozwoliłby uniknąć tego rodzaju błędu (przepełnienie zakresu) - chociażby poprzez
"kłucie w oczy" ewidentnym problemem (zgłaszanym przez kompilator).
> > > > 2) Nadmiarowe zuzycie klawiatury
> > >
> > > W Notepadzie. Programiści używają lepszych edytorów.
> >
> > Ciekawe, ze ciagle slysze narzekania, ze trzeba wiecej pisac.
> > Ale ni cholery nikt nie narzeka, ze im mniej trzeba pisac, tym trudniej
> > sie czyta.
>
> Jest jeszcze gorzej. Średnia szybkość klepania kodu w takich systemach to 1
(słownie: jedna) linia kodu na inżyniera na dzień.
W przypadku "web apps" to rzędy wielkości więcej. Codziennie się przepisuje to, co
napisało się wczoraj - zgodnie z zasada "refactor mercilessly" i generalnie "agile".
--
Michal
Następne wpisy z tego wątku
- 25.04.17 19:21 Sebastian Biały
- 26.04.17 08:58 Tomasz Kaczanowski
- 26.04.17 15:46 Maciej Sobczak
- 26.04.17 15:53 Maciej Sobczak
- 26.04.17 18:23 Sebastian Biały
- 26.04.17 22:59 m...@k...org
- 27.04.17 15:16 Maciej Sobczak
- 27.04.17 19:53 Sebastian Biały
- 28.04.17 08:09 Maciej Sobczak
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-05-18 Katowice => Head of Virtualization Platform Management and Operating S
- 2024-05-18 Warszawa => SAP WM Consultant / Execution <=
- 2024-05-18 Wrocław => Consultant/Implementer Comarch ERP XL <=
- 2024-05-18 Gdańsk => Head of International Freight Forwarding Department <=
- 2024-05-18 Warszawa => Account Manager (Recruitment Services) <=
- 2024-05-18 Łódź => Salesperson - CRM Systems <=
- 2024-05-18 Łódź => Handlowiec - Systemy CRM <=
- 2024-05-17 ZŁOMNIK o pracy w TVN TURBO, nowych przepisach i współczesnej motoryzacji. Turbo Taryfa!
- 2024-05-17 Białystok => DevOps Engineer Conexa First (Contractor) <=
- 2024-05-17 Warszawa => Starszy inżynier oprogramowania (Rust) <=
- 2024-05-17 Zabrze => Junior HelpDesk <=
- 2024-05-17 Bieruń => Administrator i wdrożeniowiec Lotus Notes/Domino <=
- 2024-05-17 Warszawa => Senior Software Engineer PHP (BillPro) Contractor <=
- 2024-05-17 Warszawa => International freight forwarder <=
- 2024-05-17 Warszawa => Fullastack (Java) Developer <=