|
|
Extensibility Framework for a Generic Benchmarking Environment
Palusga, Tadeáš ; Podzimek, Andrej (vedoucí práce) ; Bulej, Lubomír (oponent)
Název práce: Rozšiřitelný framework pro benchmarkování aplikací Typ práce: Diplomová práce Řešitel: Tadeáš Palusga Katedra: Katedra Distribuovaných a Spolehlivých Systémů Matematicko-fyzikální fakulta Univerzita Karlova Vedoucí: RNDr. Andrej Podzimek, Ph.D. Katedra Distribuovaných a Spolehlivých Systémů Matematicko-fyzikální fakulta Univerzita Karlova Abstrakt: V roce 2004 byl na Matematicko-Fyzikální fakultě Univerzity Karlovy představen projekt BEEN (Benchmarking Environment). Původním cílem tohoto projektu bylo vytvoření vysoce konfigurovatelného a modulárního prostředí pro benchmarkování middleware aplikací. Projekt byl úspěšně obhájen v roce 2007. V roce 2011 na projekt BEEN navázala skupina studentů projektem WillBEEN a v roce 2013 byl obhájen jeho nástupce zvaný EverBEEN. Cílem projektu EverBEEN bylo přinést do projektu nové technologie, nahradit stávající synchronní komunikaci za asynchronní a zlepšit stability aplikace --- to vyústilo v kompletní reimplementaci projektu. Navzdory všem snahám projekt EverBEEN nevyřešil všechny stávající problémy --- projekt byl stále příliž úzce navázaný na konkrétní technologie, obsahoval mnoho generovaného kódu a nebyl vyvíjen za pomoci IoC (Inversion of Control) principů, což vyústilo v přílišnou provázanost jednotlivých modulů. Cílem této práce bylo poučit se z...
|
|
|
Reproducible Partial-Load Experiments in Workload Colocation Analysis
Podzimek, Andrej ; Bulej, Lubomír (vedoucí práce) ; Pena, Tomás Fernández (oponent) ; van Hoorn, André (oponent)
Hardwarový paralelismus je běžný u všech současných počítačových systémů. Nutnou podmínkou efektivního využití hardwarových prostředků jsou paralelní výpočty a sdílení hardware mezi několika výpočty. Hledání rovnováhy mezi mezi dvěma protichůdnými cíli - vysokým využitím serverů a před- vídatelným výkonem - vyžaduje informovanou volbu prostředků určených k izolaci v oblasti výkonu. Navzdory širokému výběru izolačních mechanismů v operačních systémech, například připínání ("pin- ning ) výpočtů k disjunktním množinám procesorů, je stále známo velmi málo o vlivu těchto mechanismů na celkový výkon systému a na jeho spotřebu energie, především v podmínkách částečné zátěže, které jsou v praxi běžné. Místo proaktivního testování se výkon i vzájemné ovlivňování výkonu při částečné zátěži analyzuje pouze zpětně, na základě historických dat. Tato disertační práce přispívá systematickým přístupem k experimentální analýze výkonu aplikací v podmínkách částečného zatížení procesorů a agregace výpočtů. V úvodu popisujeme sadu nástrojů zvanou Showstopper, schopnou dosáhnout a udržet rozmanité typy částečné zátěže. S využitím libo- volných předem daných programů náročných na procesor přehrává Showstopper záznamy o zatížení procesorů, s využitím mechanismů zpětnovazebního řízení k udržení požadované zátěže. Na rozdíl od...
|
|
|
Flexible Event Processing Subsystem for the Java Performance Monitoring Framework
Júnoš, Peter ; Bulej, Lubomír (vedoucí práce) ; Hnětynka, Petr (oponent)
Java Performance Measurement Framework (JPMF) je framework zaměřen na popis sledovacích bodů, které se používají pro měření výkonnosti. Popis se použije na získávání dat vztahujících se k výkonnosti v těhto bodech. Data jsou vždy získána od operačního systému a zapsána bez dalšího zpracování. Popsaný tok dat přez framework je velký a zvyšuje zátěž úložiště. JPMF neumožňuje uživateli zredukovat množství těhto dat. Tato práce se zaměřuje na vyřešení popsaných problémů. Používá se při tom filtrování dat a jejich agregace, co vede k zmenšení množství dat na zápis. Kromě toho se tato práce věnuje úzkym hrdlám při zpracování dat v JPMF, řeší jejich důvody a snaží se je odstranit. Powered by TCPDF (www.tcpdf.org)
|
|
|
Data Processing in a Generic Benchmarking Environment
Mácha, Radek ; Podzimek, Andrej (vedoucí práce) ; Bulej, Lubomír (oponent)
Název práce: Zpracování dat v generickém prostředí pro benchmarkování Autor: Radek Mácha Katedra: Katedra distribuovaných a spolehlivých systémů Vedoucí diplomové práce: RNDr. Andrej Podzimek, Katedra distribuovaných a spolehlivých systémů Abstrakt: V září roku 2013, byl na Matematicko-fyzikální fakultě Univerzity Karlovy v Praze obhájen softwarový projekt EverBEEN implementující třetí inkarnaci generického prostředí pro benchmarkování síťových aplikací. I přes značná zlepšení v oblasti spolehlivosti a snadnosti použití, která tato verze systému přinesla oproti jeho předhchozí etapě, měl EverBEEN svoje nedostatky z hlediska komerční nasaditelnosti. Jedním z těch hlavních byla absence standardizo- vaného způsobu extrakce a zpracování dat. Tyto nedostatky vedly ke stěžejní otázce této práce: Jak se dají v generickém prostředí, jako je EverBEEN, zpracovávat data bez předchozí znalosti jejich struktury? Ačkoliv se tato práce soustředí na vytvoření reusabilních nástrojů pro extrakci a shlukování dat ve frameworku EverBEEN, zabývá se mimo jiné i analýzou prostředku pro automatizaci toku řízení v tomto frameworku a jeho zapojení do procesu kon- tinuální integrace. Klíčová slova: vyhodnocování výkonnosti,...
|
|
|
Simulink Block Library for LEGO NXT
Škoda, Dominik ; Bureš, Tomáš (vedoucí práce) ; Bulej, Lubomír (oponent)
Simulink Block Library for LEGO NXT Abstrakt Dominik Škoda July 30, 2014 Cílem této práce je vytvořit podporu platformy LEGO NXT ve vývojářském prostředí Simulink. Takováto podpora cílové platformy již existuje, ale má několik nevýhod. Především je určena výhradně pro operační systémy Windows a její implementace je uzavřená, tudíž se nedá rozšířit ani přizpůsobit. Důraz, v tomto projektu, je kladen především na podporu operačních systémů založených na Linuxu a na otevřenosti celého řešení umožňující rozšíření a přizpůsobení pro- jektu. Modelem řízený vývoj systémů pro platformu LEGO NXT za pomoci tohoto projektu zahrnuje testování modelu pomocí simulace a generování kódu v prostředí Simulinku s využitím jeho standardních nástrojů a nasazování hotových programů na cílová zařízení. Systémy vygenerované s pomocí tohoto projektu se řadí mezi systémy reálného času.
|
|
|
Resource limiting and accounting facility for FreeBSD
Tomori, Rudolf ; Děcký, Martin (vedoucí práce) ; Bulej, Lubomír (oponent)
Tato práce analyzuje implementaci Linux cgroups subsystémů odpovědných za limitování procesorového času a propustnosti diskových I/O zařízení. Kromě přístupu použitého v případě Linux cgroups prezentujeme přehled a krátkou analýzu dalších možných přístupů k problému limitování procesorového času a propustnosti diskových I/O zařízení. Na základě téhle analýzy navrhujeme rozšíření frameworku racct/rctl, který je součástí FreeBSD kernelu a je určen na měření a limitování spotřeby systémových zdrojů. Naše rozšíření umožňuje administrátorům a privilegovaným uživatelům definovat limity na propustnost diskových I/O zařízení a procentuální limity na procesorový čas pro vybraný proces, uživatele anebo FreeBSD jail.
|
|
|
C-language code generator for SOFA 2
Ježek, Lukáš ; Bureš, Tomáš (vedoucí práce) ; Bulej, Lubomír (oponent)
SOFA 2 je komponentový systém založený na hierarchickém komponentovém modelu. K návrhu aplikace slouží jazyk ADL, chování komponent je popsáno behaviorálními protokoly, dále systém umožňuje dynamickou rekonfiguraci komponet a modeluje propojení mezi jednotlivými komponentami pomocí softwarových konektorů. Ty umožňují transparentní rozdistribuování vyvíjené aplikace mezi více počítačů. Implementace konektorů může být automaticky generována, SOFA 2 je primárně vyvíjena pro jazyk Java, proto obsahuje generátor Javovských konektorů. Cílem této magisterské práce je navrhnout generátor kódu pro jazyk C a zaintegrovat tento generátor do stávající struktury generátoru konektorů v systému SOFA 2. Automatické generování konektorů v jazyce C by mělo umožnit transparentní propojení komponent implementovaných v jazyce C. Navržený generátor C kódu je založený na konceptu transformace šablon, kde je vstupní šablona, která obsahuje kombinaci cílového C kódu a speciálně vyvinutého skriptovacího jazyka, převedena na čistý C kód. Pro vyhodnocení šablon je použito strategické přepisování abstraktních syntaktických stromů poskytnuté frameworkem Stratego/XT.
|
|
|
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...
|
|
|
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
|
|
|
Extending Java Performance Monitoring Framework with Support for Windows Performance Counters
Dráb, Martin ; Bulej, Lubomír (vedoucí práce) ; Kruliš, Martin (oponent)
Java Performance Measurement Framework (JPMF) je javovská knihovna, která si klade za cíl poskytnout aplikacím rozhraní dovolující sbírat výkonnostní statistiky různého charakteru nezávisle na operačním systému. Od specificky zaměřených měřících aplikací se tento framework liší větší mírou obecnosti - dovoluje tvůrci měřícího experimentu libovolně určit druhy statistik, které se mají z testovaného prostředí sbírat, a v jakých momentech se mají sbírat. Cílem této bakalářské práce je vytvořit knihovnu, která umožní sbírat výkonostní statistiky na operačních systémech Microsoft Windows, a integrovat ji do frameworku. Tímto krokem dojde k značnému zvýšení nezávislost frameworku na operačním systému.
|
host ::
RSS.