|
|
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)
|
|
|
Bounded model checking v nástroji Java PathFinder
Dudka, Vendula ; Češka, Milan (oponent) ; Křena, Bohuslav (vedoucí práce)
Diplomová práce je věnovaná aplikaci formální metody bounded model checking pro automatickou opravu chyb. Oprava se specializuje na chyby spojené se souběžností. Práce je zaměřena na programy napsané v jazyce Java, a proto pro verifikační metodu byl zvolen model checker Java Pathfinder, který je určen pro Java programy. Vlastní verifikační metoda spočívá v aplikaci strategie pro navigaci stavovým prostorem do místa verifikace. Z daného místa je spuštěn bounded model checking pro ověření opravy. Navigace stavovým prostorem je implementována pomocí strategie record&replay trace. Pro aplikaci bounded model checkingu jsou implementovány další parametry a moduly pro verifikaci speciálních vlastností systému, které ověřují koreknost opravy chyby. Bounded model checking se provádí v okolí opravy.
|
|
|
Testování vícevláknových programů pomocí šumu
Kotyz, Jan ; Smrčka, Aleš (oponent) ; Letko, Zdeněk (vedoucí práce)
Cílem této bakalářské práce je vytvoření nástroje pro testování vícevláknových programů vytvořených v jazyce Python. Tento nástroj pro testování sleduje běh testovaného vícevláknového programu, pomocí instrumentace bajtkódu, a na vybraných místech provádí vkládání šumu. Tím výrazně napomáhá ke zvýšení pravděpodobnosti projevu chyb a umožňuje tak efektivnější odhalení chyb typických pro vícevláknové programy. Výsledkem této práce je funkční nástroj pro testování vícevláknových programů v Pythonu.
|
|
|
Možnosti vývoje vícevláknových aplikací na platformě Java 8
Souček, Dan ; Pecinovský, Rudolf (vedoucí práce) ; Pavlíčková, Jarmila (oponent)
Tato diplomová práce je programátorskou příručkou pro vývoj vícevláknových aplikací na platformě Java 8. Vícevláknové programování přináší řadu problémů, které se v jednovláknových aplikacích nevyskytují. Jedním z cílů této práce je rozebrat tyto problémy a na jejich základě uvést zásady, které je nutné dodržovat, aby vícevláknové aplikace fungovaly správně. Dalším cílem je teoreticky popsat, jak programovat vícevláknové aplikace v jazyce Java. Nejprve se práce věnuje základům programování vláken a synchronizaci, poté je zaměřena na vývojové nástroje, které poskytují verze Java 5 a vyšší. Teoretický popis jednotlivých funkcionalit je doplněn praktickými ukázkami kódu, který demonstruje použití předvedených nástrojů a lépe vysvětluje danou problematiku. Přínosem této práce je, že je napsána v českém jazyce a pokrývá širokou oblast vícevláknového programování od základů přes užitečné sady knihoven až po nejmodernější nástroje Javy 8. Klíčová slova
|
|
|
Analyse multithreaded applications development possibilities on the Java platform
Chamila, Sergius ; Pecinovský, Rudolf (vedoucí práce) ; Oraný, Vladimír (oponent)
Předkládaná diplomová práce obsahuje rozbor možností vývoje vícevláknových aplikací na platformě Java. Konkrétně se v ní věnuji analýze vývoje knihoven, které umožňují práci s vlákny v tomto jazyce. Jsou zde prezentovány i prostředky a nástroje pro práci s vlákny a to na příkladech a ukázkách kódu programu. Zpracované jsou i různé koncepty a principy tvorby vícevláknových aplikací. I když má tvorba vícevláknových aplikací nesporně mnoho výhod, cílem je také poukázat na možná rizika spojená s jejich používáním. Při analýze vývoje platformy Java jsem použil metodu deskripce, analýzy, syntézy a komparace. Strukturu práce tvoří teoretická část, ve které jsou definovány základní pojmy a principy tvorby vícevláknových aplikací. Věnuji se v ní i rešerši prací, které se zabývají tématem paralelního programování. V analytické části jsou popsány a zhodnoceny změny na jednotlivých stupních vývoje jazyka. Za přínos práce považuji to, že přehledně dokumentuje a hodnotí vývoje jazyka Java od verze Java 1 až po připravovanou verzi Java 8. Práce tak může být studijní pomůckou pro zájemce o tento programovací jazyk.
|
|
|
Služby WCF
ENINGER, Boris
Cílem této práce je seznámit čtenáře s moderní technologií Windows Communication Foundation. Zájemci se prostřednictvím několika výukových lekcí dozví, jak vytvářet a nastavovat služby WCF. Práce mimo jiné popisuje některé techniky zabezpečení služeb a podává základní pohled do oblasti hostování. Problematika je vysvětlována pomocí názorných příkladů. Součástí je i vzorová audiovizuální prezentace.
|
host ::
RSS.