|
|
HelenOS installer
Táborský, Dominik ; Děcký, Martin (vedoucí práce) ; Yaghob, Jakub (oponent)
Schopnost sebe sama nainstalovat na trvalé úložiště je jedna z věcí defi- nujících použitelnost systému. V této práci se podíváme na naše možnosti jak toho dosáhnout v případě operačního systému HelenOS. Budeme se zabývat tím, jaké máme volby, jaké jsou jejich výhody a nevýhody a konečně jaké jsou jejich implementační detaily. Součástí práce je též prototypová implementace kritických částí, která je také popsána. Rozhodnutí při návrhu implementace jsou taktéž diskutována. 1
|
|
|
Graphics Stack for HelenOS
Koupý, Petr ; Děcký, Martin (vedoucí práce) ; Marek, Lukáš (oponent)
Název práce: Graphics Stack for HelenOS Autor: Petr Koupý Katedra / Ústav: Katedra distribuovaných a spolehlivých systémů Vedoucí diplomové práce: Mgr. Martin Děcký Abstrakt: HelenOS je experimentální operační systém založený na mikro-jádrové a multi- serverové architektuře. Před započetím této práce již HelenOS obsahoval početnou množinu moderně navržených subsystémů zajišťujících různé úkoly v rámci systému. Nicméně postrá- dal řádně navržený subsystém pro interakci s uživatelem. Zatímco vstupní část takového sub- systému byla již v pokročilé fázi vývoje, výstupní část představovala pouze rychlé dočasné řešení, aby existoval alespoň nějaký prostředek jak vykreslit informace na obrazovku. Tato práce se zabývá vytvořením řádného grafického subsystému, který by nahradil ten dočasný. Výsledný nový grafický subsystém HelenOS je navržen podle moderních principů v dané problematice. I přes minimalistický přístup je počáteční implementace vysoce rozšiřitelná a již prakticky použitelná vývojářskou komunitou HelenOS. Práce pokrývá všechny důležité části grafického subsystému - rozhraní pro grafické ovladače, kreslící knihovnu, grafický server a knihovnu pro vytváření uživatelského rozhraní aplikací. Klíčová slova: grafický subsystém, grafické uživatelské rozhraní, HelenOS
|
|
|
HelenOS VFS-FUSE connector
Bouška, Zdeněk ; Děcký, Martin (vedoucí práce) ; Yaghob, Jakub (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á, 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 skutečný FUSE souborový systém Exfat na operačním systému HelenOS. Powered by TCPDF (www.tcpdf.org)
|
|
|
Read-Copy-Update for HelenOS
Hraška, Adam ; Děcký, Martin (vedoucí práce) ; Podzimek, Andrej (oponent)
Rozšírenie viacjadrových procesorov zvýšilo záujem o škálovateľné synchronizačné primitíva ako je Read-Copy Update. Zatiaľčo RCU je populárne v monolitických kerneloch operačných systémov, doposiaľ nebolo nasadené v prostredí mikrokernelov. V práci navrhneme a implementujeme RCU pre mikrokernelový operačný systém HelenOS. Navyše preskúmame možnosti použitia RCU v HelenOSe a demonštrujeme užitočnosť RCU tak v kerneli ako aj v user space. Merania ukazujú, že implementované RCU poskytuje lineárnu škálovateľnosť RCU čitateľov a RCU vyžaduje omnoho nižšiu réžiu pri vstupe do chránenej sekcie ako bežné zámky a to i v ideálnom prípade pre zámky. RCU sme využili v user space na 2.6 násobné zrýchlenie tradičných zámkov. V kerneli RCU zabezpečilo lineárnu škálovateľnosť futexového podsystému. Powered by TCPDF (www.tcpdf.org)
|
|
|
Port HelenOS pro hypervisor Xen
Benhák, Tomáš ; Děcký, Martin (vedoucí práce) ; Tůma, Petr (oponent)
Cílem práce je port operačního systému HelenOS pro paravirtualizovaný běh pod hypervisorem Xen na platformě IA-32. Výstupem práce je prototypová implementace, která umožňuje běh systému HelenOS jako PV guest pod hypervisorem Xen. Práce analyzuje rozhraní hypervisoru Xen z hlediska paravirtualizovaného operačního systému, který pod hypervisorem běží, relevantní části jádra systému HelenOS a změny v těchto částech, které paravirtualizace vyžaduje.
|
|
|
Bezpečnostní kontejnery a přístupová práva v HelenOS
Henek, Štěpán ; Děcký, Martin (vedoucí práce) ; Bulej, Lubomír (oponent)
Název práce: Bezpečnostní kontejnery a přístupová práva v HelenOS Autor: Štěpán Henek Katedra (ústav): Katedra softwarového inženýrství Vedoucí diplomové práce: Mgr. Martin Děcký e-mail vedoucího: decky@ksi.mff.cuni.cz Abstrakt: Cílem práce je navrhnout implementaci bezpečnostních kontejnerů (kontextů) úloh a mechanismů přístupových práv pro mikrojádrové operační systémy. Mechanismy přístupových práv implementují běžná paradigmata jako je identifikace uživatelů systému, skupiny uživatelů, vlastnění entit systému (úloh, souborů) uživateli, seznam povolených operací uživatelů (capabilities) a seznam přístupových práv k entitám (ACL). Kromě toho návrh umožňuje implementovat hierarchickou strukturu bezpečnostních domén, kdy je možné, aby každá doména delegovala vlastněná oprávnění na své subdomény. Zároveň návrh dovoluje implementaci kontejnerů, které vzájemně zcela izolují ty úlohy, které se nacházejí v bezpečnostních doménách s prázdným průnikem. Práce obsahuje analýzu a vyhodnocení možných přístupů k řešení problému. Součástí práce je také prototypová implementace v systému HelenOS s přihlédnutím ke specifikům tohoto systému (omezení počtu přepínání kontextů, delegace...
|
|
|
Support for NUMA hardware in HelenOS
Horký, Vojtěch ; Děcký, Martin (vedoucí práce) ; Libič, Peter (oponent)
Cílem této diplomové práce je rozšířit operační systém HelenOS o podporu ccNUMA hardwaru. Text práce obsahuje stručný úvod do problematiky ccNUMA, přehled vlastností NUMA hardwaru a přehled vlastností HelenOS spojených s touto problematikou (správa paměti, plánování atd.). Práce analyzuje rozhodnutí při návrhu implementace podpory pro NUMA počítače -- zavádí reprezentace topologie do datových struktur jádra, zpřístupnění těchto informací do uživatelské prostoru, afinita vláken k procesorům a uzlům, politiky alokace paměti či vyvažování zátěže. Práce též popisuje prototypovou implementaci podpory ccNUMA v HelenOsu na platformě AMD64 and stručné srovnání s podporou ccNUMA v jiných monolitických i mikrojaderných operačních systémech.
|
|
|
HelenOS jako Xen hypervisor
Dolejš, Jan ; Děcký, Martin (vedoucí práce) ; Ježek, Pavel (oponent)
Cílem práce je vytvoření prototypové implementace rozhraní hypervi-soru Xen v operačním systému HelenOS pro platformu IA-32. Výstupem prá-ce je port operačního systému HelenOS, na kterém lze provozovat vybranou paravirtualizovanou doménu. Práce obsahuje stručný úvod do způsobů vir-tualizace a uvádí hlavní rozdíly mezi nimi. Práce dále popisuje ty části archi-tektury hypervisoru Xen a operačního systému HelenOS, které budou dále zahrnuty do prototypové implementace. Nedílnou součástí práce je výběr vhodné testovací domény a analýza změn nutných k jejímu provozování, stejně jako jejich popis.
|
|
|
Ovladač souborového systému ext4 pro HelenOS
Princ, František ; Děcký, Martin (vedoucí práce) ; Babka, Vlastimil (oponent)
HelenOS je experimentální operační systém založený na mikrojádře a vyvíjený na půdě Matematicko-fyzikální fakulty Univerzity Karlovy v Praze. Jeho současná im- plementace je připravena na podporu více souborových systémů díky abstrakci po- mocí VFS, nicméně spektrum podporovaných souborových systémů je zatím velmi malé. Ext4 je moderní souborový systém, který pochází od vývojářů jádra Linux. Jeho předcházející verze ext2 a především ext3 jsou stále velmi oblíbené a výchozí v drtivé většině distribucí Linuxu. Implementaci souborových systémů ext2/3/4 můžeme najít i v dalších unixových systémech, například na systémech *BSD nebo v OpenSolarisu. Cílem této práce je rozšířit operační systém HelenOS tak, aby do- kázal se zmíněnými souborovými systémy pracovat.
|
|
|
HelenOS Monitoring
Kozina, Stanislav ; Děcký, Martin (vedoucí práce) ; Tůma, Petr (oponent)
Hlavním úkolem operačního systému je poskytnout uživatelským úlohám stabilní, jednodché a přitom dostatečně silné rozhraní služeb. Nicméně pro praktické použití systému je často nutné zjistit v jakém stavu se systém opravdu nachází, kolik jeho přestředků je využito a které uživatelské programy spotřebovávají největší část těchto zdrojů. Práce se zabývá možnostmi monitorování stavu operačnícho systému obecně. Pro systém HelenOS, kde doposud monitorovací rozhranízcela chybělo, bylo takové rozhraní nově vytvořeno. Vedle monitorovacích služeb byl navržen a implementován také jednoduchý statistický pro ler. Pro lovat lze uživatelské programy stejně jako celý operační systém. Pro tento účel byly vytvořeny dvě uživatelské aplikace.
|
host ::
RSS.