but.committee	doc. Ing. Richard Růžička, Ph.D., MBA (předseda) doc. RNDr. Jitka Kreslíková, CSc. (místopředseda) doc. RNDr. Dana Hliněná, Ph.D. (člen) Ing. Bohuslav Křena, Ph.D. (člen)	cs
but.defence	Student nejprve prezentoval výsledky, kterých dosáhl v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Student následně odpověděl na otázku oponenta a na další otázky přítomných. Komise se na základě posudku oponenta, hodnocení vedoucího, přednesené prezentace a odpovědí studenta na položené otázky rozhodla práci hodnotit stupněm " D ". Otázky u obhajoby: Vysvětlete podrobněji klíčové aspekty návrhu a implementace nástroje, které ovlivňují jeho výkon a škálovatelnost z pohledu nasazení na reálné programy. Porovnejte složitost a přesnost vašeho řešení s metodami Djit+ a AtomRace.	cs
but.jazyk	čeština (Czech)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Vojnar, Tomáš	cs
dc.contributor.author	Horňák, Michal	cs
dc.contributor.referee	Češka, Milan	cs
dc.date.created	2017	cs
dc.description.abstract	Cieľom tejto práce bolo implementácia algoritmu FastTrack pre dynamickú analízu viacvláknových programov v jazyku C/C++. Ide o algoritmus detekujúci chyby typu data race. Je založený na relácii happens-before zakódovanej do tzv. vektor-klokov. Tie umožňujú extrapolovať beh programu a odhaľovať tak potenciálne chyby, ktoré sa v aktuálnom behu nevyskytli, ale v iných exekúciách by sa mohli vyskytnúť. Algoritmus je implementovaný v prostredí ANaConDA. Jedná sa o nástroj slúžiaci pre jednoduchšie implementovanie dynamických analizátorov monitorujúcich paralelné program na binárnej úrovni. ANaConDA poskytuje analyzátorom potrebné informácie o behu programu, ktoré detektory následne využívajú k odhaľovaniu chýb.	cs
dc.description.abstract	The main goal of this thesis is to implement algorithm FastTrack for dynamic analysis of multi-threaded programs in C/C++. FastTrack is algorithm which detects data race errors. It is based on happens-before relation encoded into the vector-clocks.Vector-clocks allows extrapolation of the execution which improves detection of potential errors, which were not seen in the actual run of the program however in other executions they could cause problems. Algorithm is implemented into the framework ANaConDA. ANaConDA is a tool for implementation of dynamic analyzers of parallel programs on binary level. It provides neccessary run time program informations for detectors use to discover concurency errors.	en
dc.description.mark	D	cs
dc.identifier.citation	HORŇÁK, M. Rozšíření nástroje ANaConDa pro dynamickou analýzu paralelních programů [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2017.	cs
dc.identifier.other	114637	cs
dc.identifier.uri	http://hdl.handle.net/11012/84859
dc.language.iso	cs	cs
dc.publisher	Vysoké učení technické v Brně. Fakulta informačních technologií	cs
dc.rights	Standardní licenční smlouva - přístup k plnému textu bez omezení	cs
dc.subject	dynamická analýza	cs
dc.subject	FastTrack	cs
dc.subject	ANaConDA	cs
dc.subject	C	cs
dc.subject	C++	cs
dc.subject	data race	cs
dc.subject	viac-vláknové programovanie	cs
dc.subject	paralelné programy	cs
dc.subject	vektor-klok	cs
dc.subject	Djit+	cs
dc.subject	dynamic analysis	en
dc.subject	FastTrack	en
dc.subject	ANaConDA	en
dc.subject	C	en
dc.subject	C++	en
dc.subject	data race	en
dc.subject	multithreading	en
dc.subject	parallel programs	en
dc.subject	vector-clock	en
dc.subject	Djit+	en
dc.title	Rozšíření nástroje ANaConDa pro dynamickou analýzu paralelních programů	cs
dc.title.alternative	An Extension of the ANaConDa Tool for Dynamic Analysis of Concurrent Programs	en
dc.type	Text	cs
dc.type.driver	bachelorThesis	en
dc.type.evskp	bakalářská práce	cs
dcterms.dateAccepted	2017-08-29	cs
dcterms.modified	2020-05-10-16:13:14	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	114637	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.18 19:04:20	en
sync.item.modts	2025.01.17 10:46:18	en
thesis.discipline	Informační technologie	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů	cs
thesis.level	Bakalářský	cs
thesis.name	Bc.	cs

Rozšíření nástroje ANaConDa pro dynamickou analýzu paralelních programů

Files

Original bundle

Collections