|
|
Instrumentation and Evaluation for Dynamic Program Analysis
Marek, Lukáš ; Tůma, Petr (vedoucí práce) ; Hasselbring, Wilhelm (oponent) ; Krall, Andreas (oponent)
Dynamická analýza aplikací zprostředkovává důležité informace během pozdějších fází vývoje. Napomáhá při laděni, profilování, výkonnostní optimalizaci nebo při detekci bezpečnostních chyb. Nicméně, podpora pro vytváření vlastních nástrojů pro dynamickou analýzu, speciálně v oblasti řízených jazyků, je poměrně omezená. Tato práce prezentuje dva systémy, které pomáhají zlepšit sledování aplikací na platformě Java. DiSL je jazyk a framework, který umožňuje jednoduchou a flexibilní instrumentaci zaměřenou na dynamickou analýzu. DiSL poskytuje abstrakce vyšší úrovně pro rychlé prototypování i pro vývojáře, kteří nemají znalosti interních systémů v Javě. Kvalifikovaný vývojář získává plnou kontrol na instrumentačním procesem, tudíž se nemusí bát nevyžádaných alokací nebo skryté běhové režie. ShadowVM je platforma poskytující separaci mezi sledovanou aplikací a prostředím pro analýzu. Pro zmírnění interakcí mezi analýzou a aplikací, ShadowVM transportuje události analýzy mimo kontext aplikace. I když je primárním cílem platformy izolace, ShadowVM zavádí několik technik tak, aby zůstala rychlostně srovnatelná a vytvářela obobné vývojové podmínky jako existující frameworky pro dynamickou analýzu.
|
|
|
Efficient Network Backup System
Filípek, Tomáš ; Baudiš, Petr (vedoucí práce) ; Marek, Lukáš (oponent)
Pro ukládání vzájemně podobných souborů existují různé elegantní algoritmy, stejně jako pro jejich rychlé posílání po síti. Je však možné tyto algoritmy zkombinovat a vytvořit tak síťový zálohovací systém? S využitím architektury klient-server jsme takový systém sestavili. Mezi jeho základní vlastnosti patří podpora ukládání více verzí souboru a možnost inteligentního udržování historie. Abychom mohli určit vhodné hodnoty některých parametrů použitých algoritmů, provedli jsme měření výkonu aplikace. S použitím naměřených optimálních hodnot program funguje rozumně efektivně v čase i prostoru.
|
|
|
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
|
|
|
Obecná karetní hra s uživatelsky definovanými pravidly
Bilanský, Michal ; Babka, Martin (vedoucí práce) ; Marek, Lukáš (oponent)
Cílem práce je navrhnout a implementovat obecnou karetní hru pro více hráčů. Pravidla hry jsou definována uživatelem pomocí dostupné sady pravidel a příkazů. Hra probíhá po síti, součástí je i jednoduchá umělá inteligence umožňující lidský faktor nahradit počítačem. Program bude vytvořen pro .NET na platformě Windows v programovacím jazyku C#. Powered by TCPDF (www.tcpdf.org)
|
|
|
Qt HDD benchmark
Matěna, Vladimír ; Marek, Lukáš (vedoucí práce) ; Šimko, Viliam (oponent)
Tato práce se zabývá měřením výkonnosti zařízení pro ukládání dat. Její účel je poskytnout program pro měření výkonnosti takových zařízení s grafickým rozhraním v prostředí Linuxu. Grafické rozhraní se snadno používá a zobrazuje výsledky měření v reálném čase. Navíc bylo několik běžných zařízení otestováno tímto programem. Zajímavé výsledky byly krátce popsány stejně jako faktory, které je ovlivnily. Obecné faktory ovlivňující výsledky v prostředí Linuxu byly také popsány.
|
|
|
Undetectable Debugger
Demín, Michal ; Děcký, Martin (vedoucí práce) ; Marek, Lukáš (oponent)
Používanie debuggeru je bežný prostriedok na identifikáciu a analýzu malwaru (ako sú vírusy, červy, spyware, rootkity, apod). Keďže, debugger môže byť detekovaný malwarom prostredníctvom pozorovania správania operačného systému, zmien v kóde (napr. breakpoint inštrukcií) a neštandardného správania procesora, urobiť analýzu malwaru môže byť tažké a pomalé. V tejto práci implementujeme základný debugger založený na QEMU emulátore, ktorý dokáže ukryť svoju prítomnosť pred ladenou aplikáciou. Dosahujeme to pomocou QEMU ako virtuálneho stroja a pridaním rozlišovania kontextov do už existujúceho primitívneho debuggeru. Rozlišovanie kontextov je realizované pomocou vstavaného skriptovacieho jazyka Python. Takýto systém nám umožňuje flexibilne implementovať podporu pre rôzne operačné systémy. V tejto práci sme vyvinuli dva príklady. Prvý príklad je pre operačný systém RTEMS, ktorý slúži ako ľahko pochopiteľná referenčná implementácia. Druhý príklad je vyvinutý pre operačný systém Linux, na ukázanie schopností nášho nedetekovateľného debuggeru v reálnejšom príklade.
|
|
|
Simulation of traffic infrastructure
Pak, Hak Chol ; Kofroň, Jan (vedoucí práce) ; Marek, Lukáš (oponent)
Cílem projektu je simulovat pohyb vozidel v silniční síti. Projekt se skládá ze dvou částí, simulátoru a editoru dopravní sítě. Editor dopravní sítě umožňuje uživateli vytvářet a upravovat dopravní sítě. Se zvolenou sítí lze simulovat pohyb vozidel a získat výsledek simulace. Simulace má dvě důležité části - model pohybu vozidel a ovládání semaforů.
|
|
|
NetRadio
Daniel, Jakub ; Marek, Lukáš (vedoucí práce) ; Čermák, Miroslav (oponent)
V této práci je představen přehrávač internetových rádií schopný vybírat oblíbený obsah nezávisle na uživatelově zásahu, pokud to není nutné, jako řešení problé- mu, kdy přehrávaný obsah přestane odpovídat uživatelově zájmu a uživatel je nucen ručně naladit vhodnější stanici. K dosažení tohoto cíle aplikace nepřetržitě odposlouchává všechny vložené stanice a zároveň nahrává uživatelovy preference. Pokaždé, když se změní množina právě dostupných obsah·, se m·že přehrávač rozhodnout, která stanice bude s největší pravděpodobností doceněna uživatelem.
|
|
|
Charakteristiky konvekčního prostředí a jejich porovnání
Marek, Lukáš ; Müller, Miloslav (vedoucí práce) ; Kašpar, Marek (oponent)
V této práci jsem vytvořil přehled indexů instability a dalších charakteristik konvekčního prostředí, které se nejčastěji vyskytují v odborné literatuře. Na základě veličin, z nichž jsou charakteristiky konvekčního prostředí odvozovány, jsem navrhnul jejich kategorizaci. Vzniklo tak celkem pět skupin indexů instability: (i) indexy rozdílů izobarických hladin, (ii) indexy stoupající vzduchové částice, (iii) indexy potenciálních teplot, (iv) indexy energetického potenciálu konvekce a (v) indexy započítávající střih větru. K těmto pěti kategoriím byla přiřazena šestá kategorie zahrnující další termodynamické charakteristiky. V poslední části práce jsem použil data a hodnoty indexů instability z databáze aerologických sondáží University of Wyoming pro jeden bouřkový den v Praze a indexy instability jsem vzájemně porovnal. V předpovědi této bouře a její intenzity byly nejúspěšnější indexy potenciálních teplot, s výjimkou Rackliffova indexu. Index bulk Richardsonovo číslo, ze skupiny indexů započítávajících střih větru, dokonce správně předpověděl bouři supercelární. Práce by mohla být použita jako základ k dalšímu zpracování, v němž by, na základě vybraných indexů instability, mohla být vytvořena klimatologie stabilitních podmínek pro Českou republiku. Klíčová slova: index instability, konvekce,...
|
|
|
Parallel Processing and Software Performance
Marek, Lukáš
Práce se zaměřuje na vliv sdílení vybraných prostředků, především paměťových cache, na výkon software na moderních procesorových architekturách. V práci je navrhnut framework pro spouštění experimentů, které vyhodnocují vliv sdílení na výkon. V práci je popsaný návrh, měření a vyhodnocení experimentů s použitím tohoto frameworku. Výsledky dávají odhad velikosti vlivu sdílení prostředků na výkon na zvolených platformách.
|
host ::
RSS.