Thesis Details

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

Bachelor's Thesis Student: Horňák Michal Academic Year: 2016/2017 Supervisor: Vojnar Tomáš, prof. Ing., Ph.D.
English title
An Extension of the ANaConDa Tool for Dynamic Analysis of Concurrent Programs
Language
Czech
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.

Keywords

dynamic analysis, FastTrack, ANaConDA, C, C++, data race, multithreading, parallel programs, vector-clock, Djit+

Department
Department of Intelligent Systems FIT BUT
Degree Programme
Information Technology
Files
Status
defended, grade D
Date
29 August 2017
Reviewer
Češka Milan, doc. RNDr., Ph.D.
Committee
Růžička Richard, doc. Ing., Ph.D., MBA (DCSY FIT BUT), předseda
Hliněná Dana, doc. RNDr., Ph.D. (DMAT FEEC BUT), člen
Chudý Peter, doc. Ing., Ph.D. MBA (DCGM FIT BUT), člen
Kreslíková Jitka, doc. RNDr., CSc. (DIFS FIT BUT), člen
Křena Bohuslav, Ing., Ph.D. (DITS FIT BUT), člen
Citation
HORŇÁK, Michal. Rozšíření nástroje ANaConDa pro dynamickou analýzu paralelních programů. Brno, 2017. Bachelor's Thesis. Brno University of Technology, Faculty of Information Technology. 2017-08-29. Supervised by Vojnar Tomáš. Available from: https://www.fit.vut.cz/study/thesis/20409/
BibTeX 
@bachelorsthesis{FITBT20409,
    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/20409/"
}

Theses

Back to top