|
|
C++ knihovna pro práci s čísly v pohyblivé řádové čárce s libovolnou přesností
Závada, Vladislav ; Šnobl, Pavel (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato práce se zabývá návrhem floating point modulu, který umožní provádět operace s floating point operandy které mají libovolnou bitovou šířku. K tomuto účelu je modul implementován jako šablonová třída v jazyce C++. Modul je navržen tak aby umožňoval jeho použití při návrhu aplikačně specifického procesoru. Nejprve je popsán standard floating point čísel a šablonové funkce v jazyce c++. V praktické části jsou poté popsány algoritmy jednotlivých operací a návrh samotného modulu jako šablonové knihovny.
|
|
|
Automatizované velkoobjemové zpracování testovacích výsledků
Klem, Richard ; Šnobl, Pavel (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato práce se zabývá problematikou automatizovaného zpracování velkého objemu dat v prostředí relační databáze. Práce se zaměřuje na aktuální situaci ve firmě Codasip a řeší nedostatečně rychlé vykonávání aktualizací materializovaných pohledů. Výsledkem práce je návrh na úpravy aktuálního systému, tento návrh úspěšně řeší problémy s pomalým zpracováním dat. Implementované řešení pak přináší průměrné zrychlení aktualizace materializovaných pohledů o 93 % a u některých materializovaných pohledů zrychlení o 99 %. Toto řešení pomůže firmě Codasip zvýšit efektivitu vývoje procesorových jader, ale i dalších produktů. Zároveň tato práce může sloužit jako případová studie optimalizace pomalých databázových dotazů při zpracování velkého objemu dat.
|
|
|
Podpora SIMD instrukcí v překladači LLVM
Šnobl, Pavel ; Hynek, Jiří (oponent) ; Masařík, Karel (vedoucí práce)
Tato bakalářská práce se zabývá podporou automatické vektorizace kódu v kompilačním frameworku LLVM a rozšířením modelu procesoru Codix o SIMD instrukce. Výsledkem je schopnost LLVM vytvářet reporty o proběhlém procesu autovektorizace a možnost využívat speciálních direktiv pragma pro dodání dodatečných informací pro optimalizace programů. Rovněž je představen a implementován způsob dodávání informací o architekturách procesorů vytvořených pomocí vývojového prostředí Codasip Framework, potřebných pro efektivnější vektorizaci. Nakonec je pro procesor Codix vybrána a následně do modelu přidána sada celočíselných vektorových instrukcí a souvisejících nových registrů.
|
|
|
Překlad OpenCL aplikací pro vestavěné systémy
Šnobl, Pavel ; Čekan, Ondřej (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato diplomová práce se zabývá podporou pro překlad a spouštění programů napsaných pomocí OpenCL frameworku na vestavěných systémech. OpenCL je systém pro programování heterogenních systémů, složených z procesorů, grafických akcelerátorů a dalších výpočetních zařízení. Využití má ovšem i na systémech skládajících se pouze z jedné výpočetní jednotky, kde umožňuje zápis paralelních programů (funkční a datový paralelismus) a práci s hierarchickým systémem pamětí. V rámci této práce jsou porovnány jednotlivé dostupné open source implementace OpenCL a následně je jedna vybraná integrována s překladačem LLVM. Tento překladač je generován v rámci sady nástrojů poskytovaných vývojovým prostředím pro tvorbu procesorů s aplikačně specifickou instrukční sadou zvaným Codasip Studio. Dále jsou navrženy a implementovány optimalizace pro architektury se SIMD instrukcemi a architektury typu VLIW. Výsledek je otestován a demonstrován na sadě testovacích aplikací.
|
|
|
Integrace formálních technik do procesu verifikace procesoru RISC-V
Horký, Jakub ; Šnobl, Pavel (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato práce krátce rozebírá architekturu RISC-V a návrh procesorů a jak jednoduše může vzniknout chyba při jejich vytváření. Dále popisuji, jakým způsobem se snaží funkční verifikace tyto chyby odhalit a jaké jsou její výhody a nedostatky. Konkrétněji se zaměřím, jak vypadá verifikační prostředí podle UVM. Popisuji, jakým způsobem do funkční verifikace zapadá formální verifikace a jaké jsou dostupné nástroje pro formální verifikaci. Ke konci této práce popisuji konkrétně způsob mého postupu při psaní tvrzení (psaných v SVA jazyce) pro RISC-V procesor za použití nástroje pro formální verifikaci tvrzení. Při využití těchto tvrzení pro ověření procesoru v pozdější fázi vývoje, kdy funkční verifikace již měla možnost většinu chyb odhalit, se mi přesto podařilo několik chyb najít.
|
|
|
Automatizované velkoobjemové zpracování testovacích výsledků
Klem, Richard ; Šnobl, Pavel (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato práce se zabývá problematikou automatizovaného zpracování velkého objemu dat v prostředí relační databáze. Práce se zaměřuje na aktuální situaci ve firmě Codasip a řeší nedostatečně rychlé vykonávání aktualizací materializovaných pohledů. Výsledkem práce je návrh na úpravy aktuálního systému, tento návrh úspěšně řeší problémy s pomalým zpracováním dat. Implementované řešení pak přináší průměrné zrychlení aktualizace materializovaných pohledů o 93 % a u některých materializovaných pohledů zrychlení o 99 %. Toto řešení pomůže firmě Codasip zvýšit efektivitu vývoje procesorových jader, ale i dalších produktů. Zároveň tato práce může sloužit jako případová studie optimalizace pomalých databázových dotazů při zpracování velkého objemu dat.
|
|
|
C++ knihovna pro práci s čísly v pohyblivé řádové čárce s libovolnou přesností
Závada, Vladislav ; Šnobl, Pavel (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato práce se zabývá návrhem floating point modulu, který umožní provádět operace s floating point operandy které mají libovolnou bitovou šířku. K tomuto účelu je modul implementován jako šablonová třída v jazyce C++. Modul je navržen tak aby umožňoval jeho použití při návrhu aplikačně specifického procesoru. Nejprve je popsán standard floating point čísel a šablonové funkce v jazyce c++. V praktické části jsou poté popsány algoritmy jednotlivých operací a návrh samotného modulu jako šablonové knihovny.
|
|
|
Překlad OpenCL aplikací pro vestavěné systémy
Šnobl, Pavel ; Čekan, Ondřej (oponent) ; Hruška, Tomáš (vedoucí práce)
Tato diplomová práce se zabývá podporou pro překlad a spouštění programů napsaných pomocí OpenCL frameworku na vestavěných systémech. OpenCL je systém pro programování heterogenních systémů, složených z procesorů, grafických akcelerátorů a dalších výpočetních zařízení. Využití má ovšem i na systémech skládajících se pouze z jedné výpočetní jednotky, kde umožňuje zápis paralelních programů (funkční a datový paralelismus) a práci s hierarchickým systémem pamětí. V rámci této práce jsou porovnány jednotlivé dostupné open source implementace OpenCL a následně je jedna vybraná integrována s překladačem LLVM. Tento překladač je generován v rámci sady nástrojů poskytovaných vývojovým prostředím pro tvorbu procesorů s aplikačně specifickou instrukční sadou zvaným Codasip Studio. Dále jsou navrženy a implementovány optimalizace pro architektury se SIMD instrukcemi a architektury typu VLIW. Výsledek je otestován a demonstrován na sadě testovacích aplikací.
|
|
|
Podpora SIMD instrukcí v překladači LLVM
Šnobl, Pavel ; Hynek, Jiří (oponent) ; Masařík, Karel (vedoucí práce)
Tato bakalářská práce se zabývá podporou automatické vektorizace kódu v kompilačním frameworku LLVM a rozšířením modelu procesoru Codix o SIMD instrukce. Výsledkem je schopnost LLVM vytvářet reporty o proběhlém procesu autovektorizace a možnost využívat speciálních direktiv pragma pro dodání dodatečných informací pro optimalizace programů. Rovněž je představen a implementován způsob dodávání informací o architekturách procesorů vytvořených pomocí vývojového prostředí Codasip Framework, potřebných pro efektivnější vektorizaci. Nakonec je pro procesor Codix vybrána a následně do modelu přidána sada celočíselných vektorových instrukcí a souvisejících nových registrů.
|
host ::
RSS.