Thesis Details
Rozšíření nástroje ANaConDa pro dynamickou analýzu paralelních programů
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.
dnamic analysis, FastTrack, ANaConDA, C, C++, data race, multithreading, parallel programs, vector-clock, Djit+
Fučík Otto, doc. Dr. Ing. (DCSY FIT BUT), člen
Grézl František, Ing., Ph.D. (DCGM FIT BUT), člen
Matoušek Petr, doc. Ing., Ph.D., M.A. (DIFS FIT BUT), člen
Smrčka Aleš, Ing., Ph.D. (DITS FIT BUT), člen
@bachelorsthesis{FITBT20161, author = "Michal Hor\v{n}\'{a}k", type = "Bachelor's thesis", title = "Roz\v{s}\'{i}\v{r}en\'{i} n\'{a}stroje ANaConDa pro dynamickou anal\'{y}zu paraleln\'{i}ch program\r{u}", school = "Brno University of Technology, Faculty of Information Technology", year = 2017, location = "Brno, CZ", language = "czech", url = "https://www.fit.vut.cz/study/thesis/20161/" }