|
|
HelenOS packet filter
Buchar, Jan ; Děcký, Martin (vedoucí práce) ; Horký, Vojtěch (oponent)
Schopnost filtrovat pakety je nutnou součástí každého operačního systému určeného k použití na síťových směrovačích nebo branách. Cílem této práce je rozšířit operační systém HelenOS o podporu filtrování paketů. Práce se zabývá analýzou paketových filtrů dostupných v moderních operačních systémech a implementací HelenOS služby poskytující nastavitelný a rozšiřitelný paketový filtr. Dále modifikuje síťový stack HelenOSu tak, aby libovolná služba mohla fungovat jako paketový filtr. Rozšiřitelnost programu je demonstrována na jednoduché variantě mechanismu NAT. Powered by TCPDF (www.tcpdf.org)
|
|
|
Application of Software Components in Operating System Design
Děcký, Martin ; Tůma, Petr (vedoucí práce) ; Döbel, Björn (oponent) ; Sojka, Michal (oponent)
Tato doktorská práce popisuje primární cíl mikrojádrového multiserverového operačního systému HelenOS. Primárním cílem projektu HelenOS je vytvoření komplexní výzkumné a vývojové platformy pro doménu obecných operačních systémů, která by podporovala nejmodernější přístupy a metody (například verifikaci správnosti) a současně kladla důraz na praktickou relevanci. Text práce popisuje jaké konkrétní prostředky návrhu (založené na softwarových komponentách), implementace, vývojového procesu a verifikace, které jsou použity pro dosažení primárního cíle. Text práce dále hodnotí současný stav projektu HelenOS. Powered by TCPDF (www.tcpdf.org)
|
|
|
IEEE 802.11 wireless networking for HelenOS
Kolárik, Jan ; Děcký, Martin (vedoucí práce) ; Mareš, Martin (oponent)
IEEE 802.11 (alias WiFi) je populární standard pro bezdrátové LAN sítě. Tato práce dokumentuje jeho implementaci v rámci výzkumného operačního systému HelenOS, který se od tradičních systémů liší tím, že je postavený na mikrojádrové architektuře. Nejprve jsou popsány obecné koncepty WiFi technologie. Následuje popis použitých nástrojů při vývoji práce. Společně s ním je znázorněna zvolená metoda integrace bezdrátového frameworku do současného systému. V další kapitole jsou rozebrány implementační detaily práce. Zde je důkladně vysvětlena struktura ovladače pro vybrané WiFi zařízení a popsána funkcionalita IEEE 802.11 knihovny. V závěru práce je pak zhodnocení výsledných vlastností a porovnání dodané implementace s již existujícími řešeními.
|
|
|
Port of QEMU to HelenOS
Mareš, Jan ; Děcký, Martin (vedoucí práce) ; Škoda, Dominik (oponent)
QEMU je emulátor procesoru schopný emulovat různé hardwarové platformy jako jsou PC, PowerPC, ARM a SPARC. Úkolem této diplomové práce je portovat QEMU na HelenOS a tím umožnit vývojářům spustit emulaci HelenOS uvnitř HelenOS. Práce obsahuje podrobnou analýzu možných způsobů, jak aplikaci portovat (zahrnující portování knihoven, které jsou ke spuštění QEMU potřebné, nebo jejich součástí) a také analýzu toho, které funkce QEMU (rozumná podmnožina všech funkcí QEMU) jsou potřebné k dosažení cíle a které funkce lze v prototypu vynechat. Hlavním cílem je podporovat emulaci platformy PC (x86 a x86-64). Ačkoliv to není částí implementace prototypu, práce analyzuje možnost použití QEMU jako hypervizoru pro HelenOS. Powered by TCPDF (www.tcpdf.org)
|
|
|
IPv6 for HelenOS
Steinhauser, Antonín
Tato práce rozšiřuje operační systém HelenOS o podporu nového IPv6 protokolu. Implementace protokolu IPv6 je na stejné úrovni jako dřívější implementace IPv4 protokolu. Síťový stack HelenOS nyní nabízí tři módy práce se sítí: užívání pouze IPv4 protokolu, užívání pouze IPv6 protokolu a duální mód, který umožňuje používat oba protokoly najednou. Práce popisuje předchozí stav síťového stacku HelenOS, analyzuje rozdíly mezi IPv4 protokolem a IPv6 protokolem a zdůvodňuje jednotlivá strategická rozhodnutí. Posléze popisuje použité implementační a ladící metody, shrnuje výsledky práce a srovnává HelenOS s jinými mikrojadernými operačními systémy co do podpory IPv6. 1
|
|
|
System daemon for HelenOS
Koutný, Michal ; Děcký, Martin (vedoucí práce) ; Yaghob, Jakub (oponent)
Přestože je HelenOS operační systém založený na spolupráci nemála služeb, chybí mu jednotné prostředky k jejich ovládání a sledování. Práce nejprve shrnuje přístupy použité pro správu služeb v populárních i mikrokernelových operačních systémech. Dále jsou představeny relevantní detaily v prostředí HelenOSu a následuje rozbor jednotlivých otázek řešených při správě služeb. Získané znalosti jsou pak použity v kontextu HelenOSu a je popsána implementace založená na terminologii systemd. V závěru práce krátce hodnotí výsledek implementace a nastiňuje další myšlenky, které tato implementace otevřela. Powered by TCPDF (www.tcpdf.org)
|
|
|
HelenOS VFS-FUSE connector
Bouška, Zdeněk ; Děcký, Martin (vedoucí práce) ; Tůma, Petr (oponent)
Tato magisterská práce se zabývá implementací konektoru mezi FUSE ovladači souborových systémů a nativním VFS rozhraním v HelenOS. Práce nejprve popisuje možné způsoby řešení a možnosti, které přicházely v úvahu. Zvoleno bylo napojení na nízkoúrovňové vrstvě, které se prokázalo jako nejlepší. Práce dále popisuje skutečnou implementaci tohoto konektoru. Implementace byla úspěšná, a proto se práce detailně zaměřuje na toto plně funkční řešení na HelenOS operačním systému. Dané řešení mimo jiné umožňuje to, že téměř nejsou potřebné změny na obou spojovaných platformách - FUSE i Helenos VFS. Implementace konektoru ukazuje dva reálně používané FUSE souborové systémy exFAT a NTFS na operačním systému HelenOS. Powered by TCPDF (www.tcpdf.org)
|
|
|
HelenOS VFS-FUSE connector
Bouška, Zdeněk ; Děcký, Martin (vedoucí práce) ; Kofroň, Jan (oponent)
Tato magisterská práce se zabývá implementací konektoru mezi FUSE ovladači souborových systémů a nativním VFS rozhraním v HelenOS. Práce nejprve popisuje možné způsoby řešení a možnosti, které přicházely v úvahu. Zvoleno bylo napojení na nízkoúrovňové vrstvě, které se prokázalo jako nejlepší. Práce dále popisuje skutečnou implementaci tohoto konektoru. Implementace byla úspěšná, a proto se práce detailně zaměřuje na toto plně funkční řešení na HelenOS operačním systému. Dané řešení mimo jiné umožňuje to, že téměř nejsou potřebné změny na obou spojovaných platformách - FUSE i Helenos VFS. Implementace konektoru ukazuje reálně používaný FUSE souborový systém exFAT na operačním systému HelenOS. Powered by TCPDF (www.tcpdf.org)
|
|
|
HelenOS sound subsystem
Veselý, Ján ; Děcký, Martin (vedoucí práce) ; Libič, Peter (oponent)
Práca rozoberá možnosti implementácie moderného audio systému pre HelenOS. Boli vybrané štyri existujúce audio architektúry; ALSA, OSS, JACK a PulseAudio. Každá študovaná architektúra pristupuje k poskytovaniu audio funkcionlity iným sposobom. Silné a slabé stránky každej implementácie sú analyzované a na základe výsledkov tejto analýzy sú predložené možné riešenia. Najvhodnejšie z týchto riešení je v práci implementované. Implementácia zahrňa všetky súčasti audio subsystému, od ovládača audio zariadenia, až po jednoduchú audio aplikáciu, ktorá demonštruje možnosti implementovaného prístupu. Na záver sú načrtnuté možnosti ďalšieho rozšírenia práce.
|
|
|
IPv6 for HelenOS
Steinhauser, Antonín ; Děcký, Martin (vedoucí práce) ; Tůma, Petr (oponent)
Tato práce rozšiřuje operační systém HelenOS o podporu nového IPv6 protokolu. Implementace protokolu IPv6 je na stejné úrovni jako dřívější implementace IPv4 protokolu. Síťový stack HelenOS nyní nabízí tři módy práce se sítí: užívání pouze IPv4 protokolu, užívání pouze IPv6 protokolu a duální mód, který umožňuje používat oba protokoly najednou. Práce popisuje předchozí stav síťového stacku HelenOS, analyzuje rozdíly mezi IPv4 protokolem a IPv6 protokolem a zdůvodňuje jednotlivá strategická rozhodnutí. Posléze popisuje použité implementační a ladící metody, shrnuje výsledky práce a srovnává HelenOS s jinými mikrojadernými operačními systémy co do podpory IPv6. 1
|
host ::
RSS.