|
|
VMA merging in Linux
Matěna, Jakub ; Babka, Vlastimil (vedoucí práce) ; Bulej, Lubomír (oponent)
Tato práce se zaobírá se správou virtuální paměti v Linuxovém ker- nelu. Soubory nebo zařízení mohou být mapována do virtuální paměti pomocí systémového volání mmap(), které je také schopné vytvořit takzvané anonymní mapování. Ty nic nemapují a slouží pouze jako metoda alokace paměti, která může specifikovat ochranu paměti a příznaky pro vytvořenou anonymní oblast virtuální paměti (VMA). Mapování lze sloučit nebo rozdělit v závislosti na jeho příznacích, ochraně paměti, umístění ve virtuální paměti a dalších parametrech. Nicméně v některých případech, i když dvě VMA mají prakticky identické parametry, nemůžou být úspěšně sloučeny kvůli omezení implementace. Tato práce se zaměřuje na anonymní VMA a jejich parametry page offset a anon vma, které v některých případech brání sloučení v současném mainline kernelu. Je demonstrováno, že ve většině případů lze s přiměřeným úsilím odstranit překážky a dojde k sloučení. vi
|
|
|
Stability and Security of ZlomekFS
Záloha, Jan ; Babka, Vlastimil (vedoucí práce) ; Podzimek, Andrej (oponent)
- česká verze ZlomekFS je distribuovaný souborový systém, který umožňuje sdílet data mezi jednotlivými uzly. Tyto uzly mohou spolupracovat ve několika módech. Tyto módy se liší v cachování lokálních dat na klientském uzlu a způsobu synchronizace mezi klientským a serverovým uzlem. Tato synchronizace byla doposud implementována pomocí nedůvěryhodného nezabezpečeného síťového spojení. Současná implementace používá FUSE rozhraní pro komunikaci mezi jádrem souborového systému a uživatelem. K synchronizaci dat dochází během jednotlivých událostí vyvolaných operacemi nad souborovým systémem. Pro funkci v moderním síťovém prostředí je nezbytné, aby komunikující partneři měli jistotu o důvěryhodnosti svého protějšku. Tato práce implementuje důvěryhodné spojení mezi klientskou a serverovou částí souborového systému. Navíc rozlišuje mezi klientem typu stroj a uživatel. Další důležitou částí práce je korektní průběh synchronizace dat a přesné definování sémantiky sdílení souborů.
|
|
|
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.
|
|
|
IMAP E-mail Client
Kundrát, Jan ; Babka, Vlastimil (vedoucí práce) ; Peterka, Jiří (oponent)
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.
|
|
|
Automated detection of vulnerabilities in web applications
Tomori, Rudolf ; Parízek, Pavel (vedoucí práce) ; Babka, Vlastimil (oponent)
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 ; Holub, Viliam (vedoucí práce) ; Babka, Vlastimil (oponent)
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.
|
|
|
Forensic RAM dump image analyzer
Kollár, Ivor ; Holub, Viliam (vedoucí práce) ; Babka, Vlastimil (oponent)
Pro zísáván obrazů operační paměti počítače existují různé techniky, většina z nich ale poskytuje syrový obraz dat, který je obtížné analyzovat. Cílem téhle práce je vyvinout program pro automatickou analýzu obrazů paměti poskytující obsažené informace v uživatelsky přívětivé formě. Program by měl zjednodušit automatické dolování dat a předpokládaným uživatelem jsou forenzní znalci. Předpokládané technické schopnosti jsou podpora vícero architektur a operačních systémů, hádaní cílové architektury a operačního systému, automatické získávaní hesel a šifrovacích klíčů, vypsání seznamu procesů, modulů, ovladačů.
|
|
|
Extending Java Performance Monitoring Framework with Support for Linux Performance Data Sources
Júnoš, Peter ; Bulej, Lubomír (vedoucí práce) ; Babka, Vlastimil (oponent)
Název práce: Extending Java Performance Monitoring Framework with Sup- port for Linux Performance Data Sources Autor: Peter Júnoš Katedra: Katedra distribuovaných a spolehlivých systémů Vedoucí bakalářské práce: Ing. Lubomír Bulej, Ph.D Abstrakt: Java Performance Measurement Framework (JPMF) je framework, ktorý sa dokáže včleniť do programu a získať štatistiky o výkonnosti počítača v zadaných sledovacích bodoch. Hlavnou nevýhodou súčasnej implementácie sú chýbajúce senzory, ktoré by dokázali merať výkonnostné štatistiky hard- diskov, procesoru, pamäti a sieťových rozhraní. Linux neposkytuje jednotné funkcie na prístup k týmto výkonnostným štatistikám. Tie je možné získať z virtuálnych súborových systémov, syscallov a rozhra- nia Netlink. Cieľom tejto práce je rozšírenie JPMF tak, aby poskytoval meranie spomínaných výkonnostných štatistík tak, ako sa to v Linuxe. Klíčová slova: meranie výkonnosti, JPMF, Linux, štatistiky z netlink, štatistiky z procfs 1
|
|
|
Debugging the SLUB allocator in the Linux kernel
Glitta, Oliver ; Babka, Vlastimil (vedoucí práce) ; Horký, Vojtěch (oponent)
Táto práca je zameraná na SLUB alokátor a nástroje na jeho ladenie. V SLUB alo- kátore existovali testy, ale nikto ich nepoužíval. Bolo to pretože neexistovala štruktúra na ich automatické testovanie v kerneli. Tento projekt pridal jeden zo spôsobov na tes- tovanie SLUBu v kerneli, KUnit testovanie. Do tohto rozhrania boli s malými zmenami pridané predchádzajúce testy. Takisto, na základe systematického prehľadania commitov spojených so SLUBom boli pridané nové regresné testy. V ďalšej časti práce sú rozšírené ladiace možnosti SLUBu pre sledovanie alokovania, vrátane efektívneho ukladania stack trace. Posledná časť zlepšuje virtuálny súborový systém debugfs, ktorý poskytuje infor- mácie o kernelových komponentoch do user space, pridaním stack trace do virtuálych súborov SLUBu. Navyše tento projekt pomáha sledovať efektivitu používania SLUB ca- che z hľadiska veľkosti objektu. Všetky tieto zmeny by mali pomôcť pri ladení SLUBu. Niektoré zmeny boli podané a dokonca prijaté komunitov, takže boli pridané do Linuxu verzie 5.14. 1
|
|
|
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...
|
host ::
RSS.