|
|
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.
|
|
|
Procedural code integration in streaming environments
Brabec, Michal ; Bednárek, David (vedoucí práce) ; Krall, Andreas (oponent) ; Šimeček, Ivan (oponent)
Název práce: Integrace procedurálního kódu do proudových paralelních systémů Autor: Mgr. Michal Brabec Katedra: Katedra softwarového inženýrství Vedoucí disertační práce: David Bednárek, Ph.D. Abstrakt: Datově orientované paralelní systémy představují vhodnou platfor- mu pro optimalizaci datově intenzivních aplikací, jako jsou například databázové dotazy. Hlavní problém těchto systémů je komplikovaná architektura a specifické programovací jazyky, které ztěžují návrh aplikací pro programátory bez kom- plexní znalosti celého systému. V této práci prezentujeme systém, který umožňuje návrh proudových aplikací v omezené verzi jazyka C#, který je známý většině programátorů a často s ním dovedou pracovat i výzkumníci ostatních vědeckých oborů. Náš systém umožňuje vývoj proudových aplikací i jejich částí bez znalosti specifických paralelních jazyků a architektury paralelního systému. Jádrem naší práce je formalismus Hybrid Flow Graph, který náš systém používá pro reprezentaci aplikace ve formě blízké proudovým systémům. Hlavní výhoda tohoto přístupu je, že aplikace jsou reprezentovány v mezikódu, který má vlast- nosti podobné cílovému prostředí, ale neobsahuje specifické technické detaily. Díky...
|
|
|
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.
|
host ::
RSS.