Detail práce

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

Diplomová práce Student: Letko Zdeněk Akademický rok: 2007/2008 Vedoucí: Vojnar Tomáš, prof. Ing., Ph.D.
Název anglicky
Dynamic Data Race Detection and Self-Healing in Java Programs
Jazyk práce
český
Abstrakt

Hledání chyb plynoucích ze souběžného zpracovávání výpočtů je obtížné. Proto se tato diplomová práce zabývá detekcí a léčením časově závislých chyb nad daty a chyb plynoucích z nesprávné atomicity operací v prostředí Java. Práce prezentuje dva různé algoritmy pro detekci. Jedním z nich je nový algoritmus nazvaný AtomRace, který detekuje časově závislé chyby nad daty jako speciální případ nesprávné atomicity operací. Následné léčení detekovaných chyb je založeno na potlačení opakování chyby, buď zavedením přídavné synchronizace, nebo legálním ovlivňováním plánovače Javy, za účelem vynucení správné atomicity operací. Navržená architektura, která pracuje souběžně se sledovaným programem, využívá ke sledování a ovlivňování výpočtu techniku instrumentace na úrovni Java bytecode. Architektura a algoritmy byly implementovány a otestovány v několika případových studiích.

Klíčová slova

formální verifikace, testování softwaru, dynamická analýza, statická analýza, časově závislé chyby, chyby v atomicitě operací, automatické léčení, vícevláknové programy, Java

Ústav
Ústav inteligentních systémů FIT VUT v Brně
Studijní program
Informační technologie, obor Inteligentní systémy
Soubory
Stav
obhájeno, hodnocení A
Obhajoba
17. června 2008
Oponent
Kolář Dušan, doc. Dr. Ing.
Komise
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT), předseda
Bartík Vladimír, Ing., Ph.D. (UIFS FIT VUT), člen
Hanáček Petr, doc. Dr. Ing. (UITS FIT VUT), člen
Peringer Petr, Dr. Ing. (UITS FIT VUT), člen
Racek Stanislav, doc. Ing., CSc. (ZČU v Plzni), člen
Zbořil František, doc. Ing., Ph.D. (UITS FIT VUT), člen
Citace
LETKO, Zdeněk. Dynamická detekce a léčení časově závislých chyb nad daty v prostředí Java. Brno, 2008. Diplomová práce. Vysoké učení technické v Brně, Fakulta informačních technologií. 2008-06-17. Vedoucí práce Vojnar Tomáš. Dostupné z: https://www.fit.vut.cz/study/thesis/6522/
BibTeX 
@mastersthesis{FITMT6522,
    author = "Zden\v{e}k Letko",
    type = "Diplomov\'{a} pr\'{a}ce",
    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 = "Vysok\'{e} u\v{c}en\'{i} technick\'{e} v Brn\v{e}, Fakulta informa\v{c}n\'{i}ch technologi\'{i}",
    year = 2008,
    location = "Brno, CZ",
    language = "czech",
    url = "https://www.fit.vut.cz/study/thesis/6522/"
}

Závěrečné práce

Nahoru