Pozor na rolling updates :-)

13.1.2007 16:20 | Přečteno: 1782× | Ani zbla

Tak se zdá, že NASA přišla o marsovský satelit MGS kvůli chybě v softwaru. V červnu 2006 tam nahráli nějaké updaty. Bohužel tam zanesli chybu, která způsobila, že se natáčení solárních panelů zastavilo až o mechanickou zarážku. Tento incident způsobil přechod sondy do "safe-módu". Naneštěstí sonda byla zrovna natočena tak, že jí sluníčko přehřálo a zničilo baterie.

slashdot.org, spaceref.com

MGS je deset let stará a její údržba měla pro NASA nízkou prioritu. Dokonce se uvažovalo o jejím odstavení, aby nepožírala peníze novějším misím (MRO, Spirit, Oportunity). Na jednu stranu je pozoruhodné, že i přes veškerou péči, kterou v NASA věnují palubnímu softwaru, se v něm vyskytují takovéhle chyby. Na druhou stranu je jasné, že u mise, která už dávno splnila své cíle si dovolí provádět nějaké divočejší věci.

Jinak stále žasnu, že vozítka Spirit a Oportunity fungují i po čtyřech letech. To je fakt nádhera. Na Wikipedii jsem zjistil, že sondy Viking ze 70 let, taky vydržely docela dlouho - přes 6 respektive 3 roky.

Mimochodem, kontakt se sondou Viking 1 byl ztracen 13 listopadu 1982, 2245. marťanský den, po updatu softwaru k nabíjení baterií. Výsledkem bylo přepsání oblasti paměti, kde byla data o pozici antény. Smůla :)

       

Komentáře

[kotrcka]

no ale veď pioneer ešte stále funguje, nie? a to je už tiež pár rokov.

[alblaho]

Jo.

Ale sonda zamrzlá někde ve vesmíru je trochu něco jihého, než modul vystaveny planetárnímu prostředí.

[kotyz]

voyagery pokud vim taky porad este vysilaji. a to uz opustili slunecni soustavu pred par lety.

[vencour]

Aby ne, jeden z nich má před sebou ještě dlouhých tři sta let života

[Kyosuke]

Jak to myslíš? Radioizotopický zdroj se vyčerpá podstatně dřív – i když to je vlastně jedno, ještě mnohem dřív dojde hydrazin v nádržích.

[kotrcka]

ale to nie pionier.. ale voyager.. ten bol v ster treku, nie?

[kotyz]

voyager byl minimalne ve dvou celovecernich star trekach (star trek: motion picture a start trek: the final frontier). pak jeste jako lod v serialu star trek: voyager, ten se me dost libil. a jinak tahle sonda i fakt existuje. a ta zlata deska tam fakt je.

believe it!

[Kyosuke]

Ale to byl Voyager 6…

[kotyz]

tjn, a ono jich nasa vyslala kolik? asi 4? no ale byl tam. to se poprit neda

a v tom final frontier nakej voyager sestrelili klingoni kdyz nemeli do ceho pichnout ...

[Kyosuke]

Hehe, Voyagery byly jen dva. A určitě nepřeskakovaly pořadová čísla.

[Kyosuke]

Jo a ten „nakej voyager“ byl Pioneer 10, když už jsme u toho. Což taky znamená, že ta klingonská loď musela letět nebezpečně blízko Sluneční soustavy.

[kotyz]

musite do vseho rejpat a zkazit me tu detskou radost co z toho mam ... ?

[Kyosuke]

Přece si nebudu kazit vlastní dětskou radost?

[vencour]

Ano, byl to šestka. Dá se to brát tak, že první dva Voyagery byly vypuštěny v roce 1977 a Star Trek byl natočen v roce 1979, nějakou dobu se pracovalo na scénáři a tak se snad předpokládalo, že nezůstane jen u dvou?

P.S. mám rád jinotaje a dobírání si = nucení namáhání mozku. Proto i ty "moje" fórky.

[Kyosuke]

Ale jo, vždyť to je tradiční klišé… Voyager 6, Součkův Voschod 14, raketoplán Enterprise v Silver Tower…

[vencour]

Hm, tak na to už nepamatuju

[srigi]

A ja ze budes pisat nieco o Arch alebo Gentoo

[kotyz]

pokud vim tak v nasa tam davaji nejakej upravenej linux (realtime patche na jadro a tak). ale ne na vsechno, nekde pouzivaji jeste nakej special jehoz jmono me bohuzel vypadlo ...

[Kyosuke]

Ehm, VxWorks. A Pathfinder byl napůl vyvinutý v Tcl, i když by Pythonisté asi prskali, co je to za blbost, dělat v Tcl software pro kosmickou sondu. (Vtip je v tom, že „NASA Tcl“ má asi 1200 řádků Cčka, což se pochopitelně dá docela odladit. )

[Michal Vyskočil]

1200 řádků v C? Pokud to není něco jako tohle, tak to zní zajímavě

[alblaho]

obfuskovaný syntax error?

nejde to ani přeložit

[Michal Vyskočil]

Je to z roku 1985. Dneska už asi preprocesor nesežere

#define o define
#o

Jinak, i po drobných úpravách (curl http://www.de.ioccc.org/1985/lycklama.c | sed 's/#o/#define/' | cpp | indent - | grep -v ^#) ten zdroják pořád vypadá hrůzostrašně

[alblaho]

No a pak ještě odladit ty skripty v Tcl

Pokud vím, tak Spirit a Oportunity mají nějakou část palubního softu v Javě. To je asi opačný přístup, protože tu JVM asi nijak podstatně neprověří - prostě jí věří.

Naopak na soft v Javě pouští JavaPathfinder, což je explicitní model chcecker. Takže jsou schopni ten soft otestovat na trochu jiné úrovni, než je obvyklé. Obzvláště na hledání deadlocků je to bomba.

[Kyosuke]

Teď je otázka, jestli zrovna Java je na formální verifikaci vhodný jazyk… :-p

[alblaho]

No, oni mají modelchecker bajtkódu. Ale jinak model checking je na jazyce celkem nezávislý - za předpokladu, že skutečně zkontroluješ všechny stavy kontrolovaného programu (což se povede málokdy , dostaneš buď "důkaz" nebo chybu s protipříkladem.

[Kyosuke]

„JPF is especially well-suited to finding hard-to-test concurrency defects in multithreaded programs.“

Aha. Takže do vesmírné sondy dáme platformu, která má vážné problémy už na Zemi. Pěkná logika. V tomhle světle mi přijde RTX 2000 a typický SW nad ním podstatně sympatičtější a elegantnější. S těmi stavy tak nějak nevím. U integrovaných obvodů to návrháři od MSI nahoru vzdali. U softwaru to prostě nejde, pokud na to jazyk není stavěný a nevěřím, že Java je. Java není stavěná ani na mnohem jednodušší věci.

V téhle souvislosti mě docela láká představa, že bych si vyzkoušel (až bude čas … jestli vůbec … ) lineární Lisp. (Samozřejmě mě okamžitě nařknete, že žiju ve slonovinové věži – ale pomněte: Já mám rád i Forth, to nejde se slonovinovou věží dohromady. )

[Heron]

Vážné problémy?

No nevím, ale o problému odložené inicializace jsem četl snad v první knížce o javě v kapitole o vláknech a už tam bylo uvedeno, proč nefunguje dvojitá kontrola a jak se to má dělat správně.

[Kyosuke]

Hehe, čekal jsem, že se ozveš. Mno jo. Problémy se vždycky vynoří tam, kde to člověk nečeká, proto to jsou problémy. Já se obávám, že Java prostě trpí programovacojazykovou obdobou akromegalie. Ono za deset let skočit od krabičky k televizi do podnikového informačního systému není žádná sranda. Hmm. Když se kouknu na nějaké ty javovské zdrojáky, tak ta akromegalie celkem sedne.

[Michal Vyskočil]

Pro lenochy: akromegalie

[Filip Jirsák]

Aha. Takže do vesmírné sondy dáme platformu, která má vážné problémy už na Zemi. Pěkná logika.

Ona existuje nějaká platforma (programovací jazyk), která nemá problémy se špatně napsaným programem? To, že se programátor vykašle na synchronizaci ve vícevláknovém prostředí přeci není problém platformy, ale programátora.