but.committee	doc. Mgr. Adam Rogalewicz, Ph.D. (předseda) doc. Ing. Lukáš Burget, Ph.D. (místopředseda) Ing. Michal Hradiš, Ph.D. (člen) Ing. Martin Hrubý, Ph.D. (člen) Ing. Radek Kočí, Ph.D. (člen) Ing. Jaroslav Rozman, Ph.D. (člen)	cs
but.defence	Studentka nejprve prezentovala výsledky, kterých dosáhla v rámci své práce. Komise se poté seznámila s hodnocením vedoucího a posudkem oponenta práce. Studentka následně odpověděla na otázky 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í studentky na položené otázky rozhodla práci hodnotit stupněm A. Otázky u obhajoby: Byla vaše práce testována na projektu kombinujícím procesy a vlákna? Jak přesně funguje přepočet logické adresy na fyzickou? Jak s ním pracuje ANaConDA? Kolikrát je pomalejší běh programu s analyzátorem?	cs
but.jazyk	angličtina (English)
but.program	Informační technologie	cs
but.result	práce byla úspěšně obhájena	cs
dc.contributor.advisor	Smrčka, Aleš	en
dc.contributor.author	Mužikovská, Monika	en
dc.contributor.referee	Rogalewicz, Adam	en
dc.date.created	2020	cs
dc.description.abstract	Tato práce rozšiřuje nástroj ANaConDA pro dynamickou analýzu vícevláknových programů o možnost analyzovat také programy víceprocesové. Část práce se soustředí na popis nástroje ANaConDA a mechanismů, které pro monitorování využívá, a na jejich nutné úpravy vzhledem k rozdílům procesů a vláken. Tyto zahrnují nutnost složitějších mechanismů pro meziprocesovou komunikaci, nutnost překládat logické adresy na jiný jednoznačný identifikátor a monitorování obecných semaforů. Rozšíření pro monitorování procesů tyto problémy řeší za vývojáře analyzátorů, čímž velmi zjednodušuje jejich vývoj. Užitečnost rozšíření je ukázána na implementaci dvou analyzátorů pro detekci souběhu (AtomRace a FastTrack), které bylo dosud možné využít pouze na vícevláknové programy. Implementace algoritmu FastTrack využívá happens-before relaci pro obecné semafory, která byla také definována jako součást této práce. Experimenty s analyzátory na studentských projektech ukázaly, že nástroj ANaConDA je nyní schopen detekovat paralelní chyby i ve víceprocesových programech a může tak pomoci při vývoji další skupiny paralelních programů.	en
dc.description.abstract	This work extends ANaConDA framework for dynamic analysis of multi-threaded programs with support for multi-process monitoring. This thesis summarizes ANaConDA's approach to analysis and differences between threads and processes. The most important ones involve inter-process communication, separate logical address spaces, and synchronisation with general semaphores. The implemented extension provides API for inter-process communication via shared memory, monitors operations with shared memory in order to translate virtual addresses to their unique representation among processes, and monitors synchronisation operations with semaphores and provides information about them to analysers. The extension significantly simplifies the development of multi-process analysers. This is shown on implementation of two analysers for data race detection, AtomRace and FastTrack, which were, until now, available for multi-threaded programs only. The implementation of FastTrack algorithm uses happens-before relation for general semaphores which is also defined in this thesis. Proposed and implemented solutions were verified on a set of automatic tests and the two analysers were used for experiments on a set of students' projects. Experiments showed that ANaConDA framework is now able to detect concurrency-related errors in multi-process programs and, as such, provide support with implementation of large category of parallel programs.	cs
dc.description.mark	A	cs
dc.identifier.citation	MUŽIKOVSKÁ, M. Podpora pro monitorování procesů za běhu v prostředí ANaConDA [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. 2020.	cs
dc.identifier.other	129280	cs
dc.identifier.uri	http://hdl.handle.net/11012/192462
dc.language.iso	en	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	analýza procesů	en
dc.subject	dynamická analýza	en
dc.subject	ANaConDA	en
dc.subject	synchronizace	en
dc.subject	happens-before relace	en
dc.subject	vektorové hodiny	en
dc.subject	obecné semafory	en
dc.subject	sdílená paměť	en
dc.subject	logické adresy	en
dc.subject	paralelní chyby	en
dc.subject	souběh	en
dc.subject	AtomRace	en
dc.subject	FastTrack	en
dc.subject	multi-process analysis	cs
dc.subject	dynamic analysis	cs
dc.subject	ANaConDA	cs
dc.subject	synchronisation	cs
dc.subject	happens-before relation	cs
dc.subject	vector clocks	cs
dc.subject	general semaphores	cs
dc.subject	shared memory	cs
dc.subject	virtual address	cs
dc.subject	concurrency-related errors	cs
dc.subject	data race	cs
dc.subject	AtomRace	cs
dc.subject	FastTrack	cs
dc.title	Podpora pro monitorování procesů za běhu v prostředí ANaConDA	en
dc.title.alternative	Support of Run-time Monitoring of Processes in ANaConDA Framework	cs
dc.type	Text	cs
dc.type.driver	masterThesis	en
dc.type.evskp	diplomová práce	cs
dcterms.dateAccepted	2020-07-16	cs
dcterms.modified	2020-07-17-14:44:24	cs
eprints.affiliatedInstitution.faculty	Fakulta informačních technologií	cs
sync.item.dbid	129280	en
sync.item.dbtype	ZP	en
sync.item.insts	2025.03.26 15:31:10	en
sync.item.modts	2025.01.15 20:19:52	en
thesis.discipline	Inteligentní systémy	cs
thesis.grantor	Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů	cs
thesis.level	Inženýrský	cs
thesis.name	Ing.	cs

Podpora pro monitorování procesů za běhu v prostředí ANaConDA

Files

Original bundle

Collections