|
|
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.
|
|
| |
|
|
Run-time performance testing in Java
Kotrč, Jaroslav ; Horký, Vojtěch (vedoucí práce) ; Tůma, Petr (oponent)
Práce je zaměřena na relativní porovnávání výkonu jednotlivých metod. Základem je Stochastic Performance Logic, která například umožňuje vyjádřit, že běh jedné metody trvá nejvýše dvakrát déle než běh jiné metody. Tyto výsledky jsou přenositelnější než absolutní hodnoty. Standartní testy jednotek jsou rozšířeny o výkonnostní předpoklady a vyhodnoceny za skutečného běhu reálné aplikace. Instrumentace kódu je dynamicky přidána a odebrána kvůli automatické úpravě produkčního kódu. Pro instrumentaci je použit nástroj DiSL, což umožňuje hladce měřit i systémové třídy Javy. Metody jsou měřeny postupně, počet souběžně měřených metod se dynamicky mění a měřící kód je odstraněn, jakmile jsou získána potřebná data kvůli snížení vlivu měření. Výsledky ukazují, že pro aplikace náročné na procesor lze takto dosáhnout až 3-krát nižšího maximálního okamžitého vlivu měření než při měření všech metod najednou. Powered by TCPDF (www.tcpdf.org)
|
|
|
Deployment of Performance Evaluation Tools in Industrial Use Case
Täuber, Jiří ; Tůma, Petr (vedoucí práce) ; Šimko, Viliam (oponent)
Výkonnost software dnes měří nejen specializované firmy v rámci recenzí, ale čím dál častěji je to běžnou praxí i pro samotné vývojáře aplikací. Firmy jsou často nuceny vyvíjet a udržovat vlastní nástroje pro měření vyvíjených aplikací. Na Matematicko-fyzikální fakultě vznikl nástroj pro automatizaci měření software jménem BEEN, který by měl správu jednotlivých měření významně usnadnit, ale jeho skutečný význam není možné vyzkoušet v prostředí, kde vznikl. Cílem této práce je nasadit BEEN do reálného prostředí komerční firmy a vyhodnotit použitelnost tohoto nástroje pro vývojáře. Zaměříme se na vyhodnocení objektivních i subjektivních kladů a záporů, které používání tohoto nástroje mělo pro nezaujaté uživatele.
|
|
|
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
|
|
|
Capturing Performance Assumptions using Stochastic Performance Logic
Trojánek, Tomáš ; Tůma, Petr (vedoucí práce) ; Bednárek, David (oponent)
U softwarových projektů se výkonnostní testování používá k objektivnímu zhod- nocení rychlosti daného díla. V ideálním případě je k projektu přidružena sada testů, která může být opakovaně spouštěna za účelem ověření, zda jsou vešk- eré výkonnostní nároky stále dodrženy. V dnešní době nejrozšířenější způsob, jak tyto testy provádět, staví na absolutních hodnotách naměřeného času. Test spustí vybranou jednotku aplikace a následně porovná dobu jejího běhu s pře- dem stanovenou časovou hranicí. Tento přístup má však nevýhody, které značně nabourávají spolehlivost takovýchto testů. Není totiž zřejmé, jak určit ony časové hranice, které rozhodují o úspěchu nebo selhání. A pakliže jsou tyto hranice určeny, jsou závislé na konkrétní hardwarové konfiguraci. Tato práce se proto jako řešení zmiňovaných problémů pokouší ukázat odlišný způsob, který je založený na relativním porovnávání výkonu. Za pomoci logiky, která staví na práci pub- likované zadávající katedrou, se vybrané jednotky aplikace porovnávají navzájem a výsledky testů se tak stávají odolnější vůči změnám prostředí. Zavedená teorie je v práci také implementována a ověřena na vybraných ukázkových případech. 1
|
|
|
Stanovení lithia v minerálních vodách elektroforézou v krátké kapiláře.
Makrlíková, Anna ; Opekar, František (vedoucí práce) ; Tůma, Petr (oponent)
Tato práce se zabývá stanovením obsahu lithia v minerálních vodách Vincentka a Bílinská kyselka kapilární elektroforézou s bezkontaktní vodivostní detekcí. Laboratorně sestrojená aparatura pro provádění separací v krátkých kapilárách byla nejprve testována modelovým roztokem běžných anorganických kationtů a následně použita pro analýzu vzorků minerálních vod. Obsah lithia byl stanoven na základě metody standardního přídavku. Získané výsledky byly porovnány s výsledky získanými atomovou absorpční a atomovou emisní spektroskopií, kde byl obsah lithia stanoven metodou standardního přídavku a také metodou kalibračního grafu. Experimentálně získané výsledky byly v dobré shodě s obsahy lithia deklarovanými na etiketách minerálních vod. Klíčová slova Kapilární elektroforéza, bezkontaktní vodivostní detekce, minerální vody, lithium, atomová absorpční spektroskopie, atomová emisní spektroskopie
|
|
|
Přenositelnost systému souborů zlomekFS
Šnupárek, Aleš ; Tůma, Petr (vedoucí práce) ; Yaghob, Jakub (oponent)
ZlomekFS je distribuovaný souborový systém určený k transparentnímu sdílení adresářových stromů, který byl vytvořen pro operační systém Linux. Tato práce zkoumá zlomekFS z hlediska jeho přenositelnosti na jiné operační systémy. Zabývá se přenosem zlomekFS na operační systém Microsoft Windows. Dále zkoumá možnost přenosu zlomkeFS na operační systém Android.
|
|
| |
|
|
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.
|
host ::
RSS.