|
Task snapshoting in HelenOS
Brambora, Tomáš ; Děcký, Martin (vedoucí práce) ; Babka, Vlastimil (oponent)
HelenOS je moderním mikrokernelovým operačním systémem vyvíjeným na Matematicko-Fyzikální fakultě Univerzity Karlovy v Praze. Checkpointing je technika běžně používaná pro zajištění určité úrovně chybové tolerance pro aplikace, může však být použita i jako stavební kámen pro implementaci migrace procesů. HelenOS nebyl navržen s ohledem na tuto funkčnost; cílem této práce je proto prozkoumat možnosti, jak by se tato technika dala do HelenOS přidat, a navrhnout a implementovat prototyp.
|
|
History and Backup Support for zlomekFS
Wartiak, Rastislav ; Babka, Vlastimil (vedoucí práce) ; Marek, Lukáš (oponent)
zlomekFS je distribuovaný souborový systém, který umožnuje práci se sdílenými soubory i bez aktivního pripojení, s využitím lokální kopie. Behem synchronizace lokálních zmen nabízí jednoduchý mechanizmus rešení konfliktních zmen. Dalším vývojem se stal souborovým systémem bez specifického kódu v jádru. Muže si tak v budoucnu získat popularitu mezi uživateli. Jelikož muže být obsah tohoto souborového systému aktualizován více uživateli, muže být ukládání historie zmen užitecnou vlastností. Tato práce realizuje verzování souboru v zlomekFS, vyrešením otázek jako zpusob uložení verzí a prístup k nim. Systém je dále rozšíren o možnost zálohování s využitím verzování. Nová funkcionalita je odvozena z analýzy jiných soborových systému s obdobnými možnostmi a výberu nejvhodnejšího zpusobu pro zlomekFS.
|
|
Slabikové PPM
Unger, Lukáš ; Babka, Vlastimil (oponent) ; Lánský, Jan (vedoucí práce)
PPM je adaptivní metoda pro komprimaci dat využívající kontext. V průběhu PPM komprese se na základě již zkomprimované části souboru staví strom kontextů maximální délky k, pomocí něhož se predikují pravděpodobnosti výskytu dalších znaků s použitím kontextu proměnlivé délky nejvýše řádu k. Jednotlivým znakům jsou přiřazovány kódy na základě takto získaných pravděpodobností. Cílem této bakalářské práce je implementace slabikové verze algoritmu PPM a porovnání jejích výsledků s verzí písmennou a slovní. Práce vychází z implementace slabikového parseru popsaného v [7].
|
|
Interactive Data Visualization Tool
Fabian, Peter ; Babka, Vlastimil (oponent) ; Parízek, Pavel (vedoucí práce)
Cílem této práce bylo navrhnout a vytvořit nástroj IVP pro interaktivní a snadnou práci s grafickou reprezentací statistických dat. Nástroj podporuje základní úpravy grafu a také operace, které jsou v existujících nástrojích těžko proveditelné, nebo tam chybí úplně. Důležitou vlastností nástroje je rozšiřitelnost - jednotlivé typy grafů a interaktivní operace jsou implementovány ve formě modulů, které jádru aplikace zprostředkovávají danou funkčnost. Součástí textu práce je popis implementace nástroje IVP, uživatelská dokumentace, a také přehled existujících nástrojů pro práci s grafy a jejich srovnání s nástrojem IVP.
|
|
Influence of Resource Sharing on Performance
Babka, Vlastimil ; Bulej, Lubomír (oponent) ; Tůma, Petr (vedoucí práce)
Sdílení prostředků nastává v případech, kdy několik současně aktivních procesů či softwarových komponent využívá stejné systémové prostředky, což ovlivňuje výkon v porovnání s individuálním během. Izolované měření dob trvání klíčových operací pro řešení modelů predikce výkonu tudíž může přinášet nepřesné výsledky. Sdílení prostředků také nastává mezi měřeným kódem a měřící infrastrukturou, která sbírá a ukládá výsledky, což nepřímo zvyšuje její režii. Tato práce kvantifikuje vlivy sdílení na výkon pro několik často sdílených prostředků, jmenovitě procesorových caches a souborových systémů. Horní odhad možného ovlivnění výkonu sdílením caches je stanoven pomocí syntetických testů. Účinky na praktický kód a jejich závislosti na různých faktorech, jako frekvence a intenzita trashování cache, jsou poté změřeny pomocí experimentů s existujícími implementacemi algoritmů FFT a LZW a aplikací pro zpracování videa. Efekty sdílení souborového systému na rychlost jsou změřeny pomocí experimentů provádějících hromadný zápis a čtení z několika souborů. Za určitých okolností lze pozorovat významné dopady sdílení u každého z uvažovaných prostředků. Na základě výsledků těchto měření je nadále navrženo několik rad pro řešení problému režie měřící infrastruktury. Také je zde diskutována použitelnost provedených experimentů a...
|
|
Automated detection of vulnerabilities in web applications
Tomori, Rudolf ; Babka, Vlastimil (oponent) ; Parízek, Pavel (vedoucí práce)
Významným a častým problémom webových aplikácií sú bezpečnostné chyby, z ktorých vel'ká část' sa dá pomerne presne deterministickým algoritmom identifikovat' pomocou na to určeného špecializovaného softwaru. Nástroj WebCop vyvinutý v rámci tejto práce dokáže lokalizovat' vo webových aplikácíách vybrané bezpečnostné zranitel'nosti. Jeho výhoda oproti bežne dostupnému softwaru spočíva v konfigurovatel'nosti prevádzaných testov, kde samotný užvatel' definuje podmienky urujúce prítomnost' konkrétnej zranitel'nosti. Nástroj je implementovaný v jazyku C++ a je určený pre platformu Unix/Linux.
|
|
Využití simulačních a výpočtových prostředí ve výuce fyziky
Dekar, Martin ; Babka, Vlastimil (oponent) ; Holub, Viliam (vedoucí práce)
Předložená práce se zabývá problematikou tvorby interaktivních fyzikálních simulací (současného trendu v e-learningu) z pohledu programátora. Úvod práce čtenáři představuje interaktivní výukovou simulaci a poskytuje vodítka pro výběr vývojového prostředí vhodného k tvorbě většího množství takovýchto simulací. Práce dále podrobněji rozebírá čtyři existující vývojové nástroje, ověřuje jejich vhodnost implementací reálné úlohy - tlumeného harmonického oscilátoru a tuto implementaci popisuje. Dále je v práci představena vzdělávací simulace většího rozsahu, implementovaná v prostředí Adobe Flash CS3, která představuje nový směr v e-learningu - možností získání datových výstupů, kterým se simulace blíží skutečnému experimentu. K této simulaci patří i knihovna více než stovky gra ckých objektů znovupoužitelných při tvorbě dalších simulací. Práci uzavírá kritické zhodnocení výsledk· a naznaení východisek pro dalí práci.
|
|
IMAP E-mail Client
Kundrát, Jan ; Peterka, Jiří (oponent) ; Babka, Vlastimil (vedoucí práce)
Předložená práce popisuje implementaci pokročilého klienta pro práci s poštou pomocí protokolu IMAP. Hlavním zaměřením je podpora relevantních standardů s důrazem na efektivní implementaci; využívá se pokročilých vlastností IMAPu, jako například IDLE notifikací, parsování zpráv na straně serveru či lokálního ukládání e-mailů s možností práce off-line. Spojení s IMAP serverem je realizováno protokolem TCP s volitelnou možností TLS šifrování či přes lokálně běžící proces. Projekt umožňuje psaní a odesílání jednoduchých mailů, proporováno je odesílání pomocí protokolu SMTP a sendmailem. Cílová platforma je framework Qt na Linuxu, avšak aplikace je portovatelná i na jiné platformy.
|
|
Influence of Resource Sharing on Performance
Babka, Vlastimil
Sdílení prostředků nastává v případech, kdy několik současně aktivních procesů či softwarových komponent využívá stejné systémové prostředky, což ovlivňuje výkon v porovnání s individuálním během. Izolované měření dob trvání klíčových operací pro řešení modelů predikce výkonu tudíž může přinášet nepřesné výsledky. Sdílení prostředků také nastává mezi měřeným kódem a měřící infrastrukturou, která sbírá a ukládá výsledky, což nepřímo zvyšuje její režii. Tato práce kvantifikuje vlivy sdílení na výkon pro několik často sdílených prostředků, jmenovitě procesorových caches a souborových systémů. Horní odhad možného ovlivnění výkonu sdílením caches je stanoven pomocí syntetických testů. Účinky na praktický kód a jejich závislosti na různých faktorech, jako frekvence a intenzita trashování cache, jsou poté změřeny pomocí experimentů s existujícími implementacemi algoritmů FFT a LZW a aplikací pro zpracování videa. Efekty sdílení souborového systému na rychlost jsou změřeny pomocí experimentů provádějících hromadný zápis a čtení z několika souborů. Za určitých okolností lze pozorovat významné dopady sdílení u každého z uvažovaných prostředků. Na základě výsledků těchto měření je nadále navrženo několik rad pro řešení problému režie měřící infrastruktury. Také je zde diskutována použitelnost provedených experimentů a...
|
|
History and Backup Support for zlomekFS
Wartiak, Rastislav ; Babka, Vlastimil (vedoucí práce) ; Obdržálek, David (oponent)
zlomekFS je distribuovaný souborový systém, který umožňuje práci se sdílenými soubory i bez aktivního připojení, s využitím lokální kopie. Během synchronizace lokálních změn nabízí jednoduchý mechanizmus řešení konfliktních změn. Dalším vývojem se stal souborovým systémem bez specifického kódu v jádru. Může si tak v budoucnu získat popularitu mezi uživateli. Jelikož může být obsah tohoto souborového systému aktualizován více uživateli, může být ukládání historie změn užitečnou vlastností. Tato práce realizuje verzování souboru v zlomekFS, vyřešením otázek jako způsob uložení verzí a přístup k nim. Systém je dále rozšířen o možnost zálohování s využitím verzování. Nová funkcionalita je odvozena z analýzy jiných soborových systémů s obdobnými možnostmi a výběru nejvhodnejšího způsobu pro zlomekFS.
|