Úvod do spolehlivých systémů 10. 1. 2017
Napsal: 15. 1. 2017 20:22
Zápočtová písemka s uzavřenými odpověďmi, z nichž je vždy alespoň jedna správně. Otázek je deset, bodování dohlížející Jan Kofroň nechtěl specifikovat ("napište to, jak nejlépe umíte"), časový limit byl 60 minut. Test probíhal od 09:00 do 10:00, druhý den před polednem mi dorazil zápočet v SISu. V půl třetí pak dorazil ještě mail ze SISu, že pro ty, kdo na test nedorazili nebo v něm neuspěli, je náhradní termín další týden (9 dní po původním termínu) a tento termín je poslední.
Před testem bylo řečeno, že tento předmět nedovoluje velkou variabilitu v otázkách; je to jenom jedna přednáška za čtrnáct dní. Jde tedy čekat, že na náhradním termínu bude prakticky stejný test, a nejspíš se nebude test moc lišit ani mezi ročníky přednášky.
Dvě otázky jsem si stihl zaznamenat téměř doslova, včetně odpovědí, u zbytku jen rámcově znění otázky. Tučné odpovědi jsou ty, kterém jsem zvolil, kurzívou jsou mé komentáře.
Odpovědi se snažily být koncipované tak, aby bylo potřeba trochu přemýšlet. Ne všechno zaznělo na přednášce explicitně, často bylo potřeba domyslet jednoduché důsledky.
Před testem bylo řečeno, že tento předmět nedovoluje velkou variabilitu v otázkách; je to jenom jedna přednáška za čtrnáct dní. Jde tedy čekat, že na náhradním termínu bude prakticky stejný test, a nejspíš se nebude test moc lišit ani mezi ročníky přednášky.
Dvě otázky jsem si stihl zaznamenat téměř doslova, včetně odpovědí, u zbytku jen rámcově znění otázky. Tučné odpovědi jsou ty, kterém jsem zvolil, kurzívou jsou mé komentáře.
- Mechanismy RPC zpravidla generují proxy/stub podle signatury volané procedury. Jak ji lze pro tyto účely popsat?
- deklarace z jazyka aplikace (Tímhle si nejsem jistý. V principu to ale smysl dává.)
- speciální jazyk pro popis signatur
- deklarace z jazyka aplikace, doplněná o nezbytné anotace
- deklarace v obecném datovém formátu (např. XML)
- introspekce přeloženého kódu
- Jaké funkce jsou typicky dostupné v middleware pro komunikaci zprávami v distribuovaném prostředí?
- zaslání zprávy typované jako strukturovaný datový typ
- otevření streamu bytů mezi procesy
- odeslání zprávy s čekáním na doručení
- odeslání zprávy bez čekání na doručení
- odeslání zprávy zašifrované pro příjem konkrétním procesem
- Co je to throughput?
- Jaké druhy performance counters neexistují?
- Co neplatí pro model určený pro verifikaci? (Určitě nepostihuje všechny detaily. Model pro generování kódu by naopak musel.)
- Jaké jsou problematické aspekty model checkingu? (Model checking není inherentně exponenciálně těžký, problematická je exponenciální velikost stavového prostoru.)
- Jaké existují behavior diagrams v UML? (Výběr z konkrétních.)
- Jaké charakteristiky mají interní DSL?
- Co platí o hard RT systémech?
- Která z tvrzení platí pro periodické plánování úloh?
Odpovědi se snažily být koncipované tak, aby bylo potřeba trochu přemýšlet. Ne všechno zaznělo na přednášce explicitně, často bylo potřeba domyslet jednoduché důsledky.