|
|
Analýza paralelizovatelnosti programů na základě jejich bytecode
Brabec, Michal ; Bednárek, David (vedoucí práce) ; Ježek, Pavel (oponent)
Analýza paralelizovatelnosti programů na základě jejich bytecode Práce se zabývá analýzou možností aplikace algoritmů pro automatickou paralelizaci na programy, u kterých máme k dispozici jejich bytecode, nebo podobný mezikód. Nejdůležitějším vstupem těchto algoritmů je identifikace částí kódu, které by mohly být spuštěny zároveň, tyto části se nazývají nezávislé a právě testování závislostí v kódu je nejtěžší problém automatické paralelizace. Tento problém je v úplně obecném případě algoritmicky neřešitelný a práce se snaží zjistit, jestli je možné najít nezávislosti v bytecode alespoň v nějakém omezeném případě. Prvním krokem analýzy kódu funkce je integrace volaných funkcí, které umožní analyzovat výsledný kód najednou a získat tak přesnější informace. Dále je třeba identifikovat podmíněné skoky a cykly, až pak je teprve možné hledat nezávislosti v kódu a ty potom použít při aplikace paralelizačních algoritmů. Součástí práce je implementace integrace funkcí a analýzy kódu pro platformu Microsoft .NET Framework.
|
|
|
Paralelizace ultrazvukových simulací pomocí akcelerátoru Intel Xeon Phi
Vrbenský, Andrej ; Hrbáček, Radek (oponent) ; Jaroš, Jiří (vedoucí práce)
Simulácia šírenia ultrazvukových akustických vĺn má v dnešnej dobe široké praktické použitie. Jedným z nich je simulácia v reálnom tkanivovom prostredí, ktorá má dobré uplatnenie v medicíne. Jednou z aplikácií, ktoré sú na túto simuláciu určené, je k-Wave toolbox. Výpočtová náročnosť takýchto simulácii je veľmi veľká a preto sa vyvíjajú nové metódy pre jej zrýchlenie. V tejto diplomovej práci sme navrhli riešenie pre urýchlenie simulácie, založené na paralelizácii výpočtu na akceleračnej karte Intel Xeon Phi. Akcelerátor obsahuje vysoký počet jadier a extra-širokú vektorovú jednotku, a je preto ideálny na paralelizáciu a vektorizáciu. Implementácia využíva OpenMP verzie 4.0, ktorá prináša niektoré nové možnosti ako napríklad explicitnú vektorizáciu. Dosiahnuté výsledky boli namerané počas rozsiahlych experimentov.
|
|
|
Simulace vody na GPU
Hanzlíček, Jiří ; Jaroš, Jiří (oponent) ; Vaverka, Filip (vedoucí práce)
Cílem této práce je najít vhodný model kapaliny, jehož numerickou simulaci lze realizovat jako interaktivní. Tento požadavek vede na řešení založené na vysoce paralelním algoritmu. Implementace je provedena na procesoru i na grafické kartě tak, aby bylo možné dosáhnout srovnání výpočetního výkonu jednotlivých zařízení na zvoleném modelu.
|
|
|
Nástroj na testovaní bezpečnosti bezdrátových sítí
Gancarčík, Lukáš ; Kačic, Matej (oponent) ; Jurnečka, Peter (vedoucí práce)
Tato práce se zabývá problematikou zabezpečení bezdrátových sítí, současnými možnostmi ochrany těchto sítí a implementaci nástroje na jejich testování. Pojednává také o využití technologie nVidia CUDA k akceleraci paralelních úloh. V práci jsou popsané výhody použití téhle technologie jako i nárůst výkonu v porovnání s řešením využívajícím klasického procesoru. Nakonec jsou popsané výsledky nástroje nasazeného na reálné bezdrátové sítě.
|
|
|
Transformace jazyka C do VHDL
Mecera, Martin ; Kolář, Dušan (oponent) ; Masařík, Karel (vedoucí práce)
Práce popisuje proces transformace chování procesoru popsaného v jazyku C do jazyku VHDL. Jednotlivé kroky automatizované transformace jsou porovnány oproti manuálnímu návrhu procesoru. Práce vyzdvihuje výhody vnitřní reprezentace programu ve formě grafu. V práci jsou uvedeny optimalizace založené na několika faktorech. Jedním z nich jsou algebraické úpravy výrazů. Vhodnou aplikací vlastností matematických operátorů - asociativity, komutativity a distributivity - lze snížit dobu výpočtu nebo omezit prostorovou náročnost výpočtu. Zvláštní pozornost je věnována optimalizacím, které využívají paralelizmus dílčích výpočetních operací k plánování. Jsou diskutovány algoritmy plánování omezeného časem a prostorem. Práci uzavírá kapitola o alokaci zdrojů.
|
host ::
RSS.