|
|
Dynamic setup for clusters with multi-master architecture
Opočenská, Kateřina ; Yaghob, Jakub (vedoucí práce) ; Hnětynka, Petr (oponent)
Diplomová práce se zabývá problémem multi-master konfigurace pro počítačové clustery, na kterých běží systém PROOF. PROOF je framework postavený na master-worker architektuře, který se používá především na analýzu fyzikálních dat v CERNu (Evropská organizace pro jaderný výzkum). Cílem práce je určit optimální počet masterů, při jejichž použití je daná úloha zpracována v nejkratším čase. Na základě analýzy průběhu zpracování úlohy je představen a naimplementován tzv. merger-based algoritmus, tedy algoritmus založený na konceptu mergera. Merger je uzel, který se během výpočtu chová jako worker, ale během poslední, a nezřídka velmi náročné fáze slučování mezivýsledků plní roli mastera. Počet a přesné určení mergerů probíhá dynamicky během zpracování úlohy a je určeno jak velikostí clusteru, tak i jeho aktuálním výkonem. Na závěr práce je provedeno srovnání merger-based algoritmu s dosavadním klasickým přístupem, a to na různých úlohách a pro různé velikosti clusteru. Naměřené zrychlení je srovnáno s teoretickými hodnotami.
|
|
|
Integritní omezení v XML
Opočenská, Kateřina ; Kopecký, Michal (vedoucí práce) ; Nečaský, Martin (oponent)
Tato práce se zabývá možnostmi validace omezujících podmínek v XML dokumentech. Z tohoto hlediska jsou zhodnoceny zavedené schema jazyky DTD, XML Schema a Relax NG. Dále jsou představeny na problematiku přímo specializované jazyky Schematron a CliX. Smyslem práce je návrh a následná implementace vlastního jazyka Incox (Integrity Constraints in XML). Ten je založen na využití logiky prvního řádu a jazyka XPath. Incox vychází myšlenkově z CliXu, ale přináší také řadu nových prvk jako je například volitelná syntaxe (přirozený jazyk i XML), konstanty, nebo upravené kvanti kátory, s jejichž pomocí lze přesněji speci kovat míru požadovaného splnění podmínky.
|
|
|
Integritní omezení v XML
Opočenská, Kateřina ; Nečaský, Martin (oponent) ; Kopecký, Michal (vedoucí práce)
Tato práce se zabývá možnostmi validace omezujících podmínek v XML dokumentech. Z tohoto hlediska jsou zhodnoceny zavedené schema jazyky DTD, XML Schema a Relax NG. Dále jsou představeny na problematiku přímo specializované jazyky Schematron a CliX. Smyslem práce je návrh a následná implementace vlastního jazyka Incox (Integrity Constraints in XML). Ten je založen na využití logiky prvního řádu a jazyka XPath. Incox vychází myšlenkově z CliXu, ale přináší také řadu nových prvk jako je například volitelná syntaxe (přirozený jazyk i XML), konstanty, nebo upravené kvanti kátory, s jejichž pomocí lze přesněji speci kovat míru požadovaného splnění podmínky.
|
|
|
Dynamic setup for clusters with multi-master architecture
Opočenská, Kateřina ; Hnětynka, Petr (oponent) ; Yaghob, Jakub (vedoucí práce)
Diplomová práce se zabývá problémem multi-master konfigurace pro počítačové clustery, na kterých běží systém PROOF. PROOF je framework postavený na master-worker architektuře, který se používá především na analýzu fyzikálních dat v CERNu (Evropská organizace pro jaderný výzkum). Cílem práce je určit optimální počet masterů, při jejichž použití je daná úloha zpracována v nejkratším čase. Na základě analýzy průběhu zpracování úlohy je představen a naimplementován tzv. merger-based algoritmus, tedy algoritmus založený na konceptu mergera. Merger je uzel, který se během výpočtu chová jako worker, ale během poslední, a nezřídka velmi náročné fáze slučování mezivýsledků plní roli mastera. Počet a přesné určení mergerů probíhá dynamicky během zpracování úlohy a je určeno jak velikostí clusteru, tak i jeho aktuálním výkonem. Na závěr práce je provedeno srovnání merger-based algoritmu s dosavadním klasickým přístupem, a to na různých úlohách a pro různé velikosti clusteru. Naměřené zrychlení je srovnáno s teoretickými hodnotami.
|
host ::
RSS.