Thesis Details

Dynamická detekce a léčení časově závislých chyb nad daty v prostředí Java

Master's Thesis Student: Letko Zdeněk Academic Year: 2007/2008 Supervisor: Vojnar Tomáš, prof. Ing., Ph.D.
English title
Dynamic Data Race Detection and Self-Healing in Java Programs
Language
Czech
Abstract

Finding concurrency bugs in complex software is difficult. As a contribution to coping with this problem the thesis proposes an architecture for a fully automated dynamic detection and healing of data races and atomicity violations in Java. Two distinct algorithms for detecting of data races are presented. One of them is a novel algorithm called AtomRace which detects data races as a special case of atomicity violations. The healing is based on suppressing a recurrence of the detected problem and can be performed by introducing an additional synchronization or by legally influencing the Java scheduler. Basically forces certain parts of the code  to be executed atomically. The proposed architecture uses bytecode instrumentation to be able to track and influence the execution. The architecture and algorithms were implemented and tested on multiple case studies.

Keywords

formal verification, software testing, dynamic analysis, static analysis, data races, atomicity violation, automatic healing, multi-threaded programs, Java

Department
Degree Programme
Information Technology, Field of Study Intelligent Systems
Files
Status
defended, grade A
Date
17 June 2008
Reviewer
Committee
Češka Milan, prof. RNDr., CSc. (DITS FIT BUT), předseda
Bartík Vladimír, Ing., Ph.D. (DIFS FIT BUT), člen
Hanáček Petr, doc. Dr. Ing. (DITS FIT BUT), člen
Peringer Petr, Dr. Ing. (DITS FIT BUT), člen
Racek Stanislav, doc. Ing., CSc. (WBU in Pilsen), člen
Zbořil František, doc. Ing., Ph.D. (DITS FIT BUT), člen
Citation
LETKO, Zdeněk. Dynamická detekce a léčení časově závislých chyb nad daty v prostředí Java. Brno, 2008. Master's Thesis. Brno University of Technology, Faculty of Information Technology. 2008-06-17. Supervised by Vojnar Tomáš. Available from: https://www.fit.vut.cz/study/thesis/6522/
BibTeX
@mastersthesis{FITMT6522,
    author = "Zden\v{e}k Letko",
    type = "Master's thesis",
    title = "Dynamick\'{a} detekce a l\'{e}\v{c}en\'{i} \v{c}asov\v{e} z\'{a}visl\'{y}ch chyb nad daty v prost\v{r}ed\'{i} Java",
    school = "Brno University of Technology, Faculty of Information Technology",
    year = 2008,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/6522/"
}
Back to top