|
|
Towards Efficient Parallel Data Processing on Modern Hardware
Falt, Zbyněk ; Yaghob, Jakub (vedoucí práce) ; Smrž, Pavel (oponent) ; Benkner, Siegfried (oponent)
Paralelní zpracování dat je velmi aktuální téma současného výzkumu, neboť množství dat a složitost operací nad nimi v poslední době výrazně vzrůstá. V~této práci se zaměřujeme na specifickou oblast toho výzkumu - na návrh a implementaci paralelních algoritmů používaných v databázových systémech. Nejdříve popíšeme důležitá vylepšení systému Bobox, který je určen pro vývoj aplikací pro zpracování dat v paralelním prostředí. Následně uvedeme nový doménově specifický jazyk Bobolang, jehož úkolem je usnadnit vývoj těchto aplikací. Dále využijeme kombinaci systému Bobox a jazyka Bobolang při návrhu paralelních algoritmů, zejména třídění a algoritmu merge join. Na závěr představíme implementaci paralelního běhového prostředí pro vyhodnocování dotazů v jazyce SPARQL, které prezentuje výsledky této práce v komplexní a reálné aplikaci. Powered by TCPDF (www.tcpdf.org)
|
|
|
Plánovač a paměťový alokátor pro systém Bobox
Falt, Zbyněk
Cílem této práce je stručný popis systému Bobox, což je prostředí pro paralelní zpracování dat vyvíjené Katedrou softwarového inženýrství Univerzity Karlovy, analýza výchozího plánovače a návrh nového efektivnějšího plánovače a paměťového alokátoru. Práce rovněž obsahuje experimentální porovnání různých přístupů k této problematice.
|
|
|
SPARQL compiler for Bobox
Čermák, Miroslav
Cílem práce je navrhnout a implementovat překladač jazyka SPARQL pro systém Bobox. Kromě lexikální a syntaktické analýzy odpovídající W3C standardu jazyka SPARQL je součástí práce i sémantická analýza a optimalizace dotazů, která pro dotaz navrhne vhodný model výpočtu pro Bobox v závislosti na konkrétním fyzickém schématu databáze.
|
|
|
Streaming system scheduling for Xeon Phi
Faltín, Tomáš ; Yaghob, Jakub (vedoucí práce) ; Kruliš, Martin (oponent)
Plánování procesů v oblasti operačních systémů je velmi dobře prozkoumaný problém na tradičních architekturách (NUMA, SMP). Bohužel nepracuje správně na nově vzniklých architekturách, speciálně na procesoru Intel Xeon Phi. Proto jsme shromáždili všechny dostupné informace o této architektuře. Nedostupné informace jsme se pokusili zjistit pomocí vlastních testů. Především jsme se soustředili na věci související s architekturou jádra a pamětí, jelikož to jsou nejdůležitější části pro tvorbu plánovače. Na základě výsledků jsme navrhli vylepšení pro stávající plánovač. Při ověřování navrhnutých vylepšení jsme zjistili, že problém není v plánovači, ale v návrhu, jakým se provádí paralelizace operátorů uvnitř Boboxu. Proto jsme navrhli nějaká vylepšení pro paralelizaci operátorů a jedno z nejjednodušších naimplementovali jako příklad a otestovali.
|
|
|
Streaming system scheduling for Xeon Phi
Faltín, Tomáš ; Yaghob, Jakub (vedoucí práce) ; Kruliš, Martin (oponent)
V oblasti operačních systémů je plánování dobře popsaným problémem. Ačkoliv dané postupy fungují dobře na tradičních architekturách (NUMA, SMP), tak již tak dobře nefungují na nových mnohajádrových architekturách, speciálně máme na mysli Intel Xeon Phi. Proto jsme shromáždili veškeré dostupné informace o jeho architektuře. Chybějící informace o architektuře jsme zjistili za pomoci testů. Zaměřili jsme se především na struktura jádra a paměti, jelikož jsou to klíčové prvky pro návrh plánovače. Na základě zjištěných poznatků jsme navrhli zlepšení pro plánovač v proudovém systému Bobox. Powered by TCPDF (www.tcpdf.org)
|
|
|
Static analysis of C# programs
Malý, Petr ; Bednárek, David (vedoucí práce) ; Parízek, Pavel (oponent)
Cílem této diplomové práce je prozkoumat a aplikovat jednotlivé metody statické analýzy C# programů přeložených do Common Intermediate Language. Výsledky této práce jsou zakomponovány do systému ParallaX Development Envrionment. Tato diplomová práce se zaměřuje na Structural, Points-to a Dependence Analysis. Powered by TCPDF (www.tcpdf.org)
|
|
|
Bobox Runtime Optimization
Krížik, Lukáš ; Zavoral, Filip (vedoucí práce) ; Parízek, Pavel (oponent)
Cílem této diplomové práce je vytvořit nástroj na optimalizaci kódu pro paralelní prostředí Bobox. Nástroj redukuje počet krátce a dlouze běžících úloh na základě statické analýzy kódu. Některé případy krátce běžících úloh způsobují zbytečné přeplánování. Pokud plánovač nemá dostatek informací o dané úloze, plánovač může úlohu naplánovat, i když tato úloha nemá všechna potřebná vstupní data. Pro odstranění krátce běžící úlohy nástroj analyzuje použití vstupních dat a informuje plánovač. Dlouze běžící úlohy můžou v některých případech potlačit paralelismus. Větší granularita úloh může znatelně vylepšit časy běhu v paralelním prostředí. Pro odstranění dlouze běžících úloh nástroj musí být schopen vyhodnotit složitost kódu a vložit příkaz pro přeplánování na vhodné místo. Powered by TCPDF (www.tcpdf.org)
|
|
|
Towards Efficient Parallel Data Processing on Modern Hardware
Falt, Zbyněk ; Yaghob, Jakub (vedoucí práce) ; Smrž, Pavel (oponent) ; Benkner, Siegfried (oponent)
Paralelní zpracování dat je velmi aktuální téma současného výzkumu, neboť množství dat a složitost operací nad nimi v poslední době výrazně vzrůstá. V~této práci se zaměřujeme na specifickou oblast toho výzkumu - na návrh a implementaci paralelních algoritmů používaných v databázových systémech. Nejdříve popíšeme důležitá vylepšení systému Bobox, který je určen pro vývoj aplikací pro zpracování dat v paralelním prostředí. Následně uvedeme nový doménově specifický jazyk Bobolang, jehož úkolem je usnadnit vývoj těchto aplikací. Dále využijeme kombinaci systému Bobox a jazyka Bobolang při návrhu paralelních algoritmů, zejména třídění a algoritmu merge join. Na závěr představíme implementaci paralelního běhového prostředí pro vyhodnocování dotazů v jazyce SPARQL, které prezentuje výsledky této práce v komplexní a reálné aplikaci. Powered by TCPDF (www.tcpdf.org)
|
|
|
SPARQL compiler for Bobox
Čermák, Miroslav
Cílem práce je navrhnout a implementovat překladač jazyka SPARQL pro systém Bobox. Kromě lexikální a syntaktické analýzy odpovídající W3C standardu jazyka SPARQL je součástí práce i sémantická analýza a optimalizace dotazů, která pro dotaz navrhne vhodný model výpočtu pro Bobox v závislosti na konkrétním fyzickém schématu databáze.
|
|
|
Plánovač a paměťový alokátor pro systém Bobox
Falt, Zbyněk
Cílem této práce je stručný popis systému Bobox, což je prostředí pro paralelní zpracování dat vyvíjené Katedrou softwarového inženýrství Univerzity Karlovy, analýza výchozího plánovače a návrh nového efektivnějšího plánovače a paměťového alokátoru. Práce rovněž obsahuje experimentální porovnání různých přístupů k této problematice.
|
host ::
RSS.