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

Simple item page
but.jazykčeština (Czech)
but.programInformační technologiecs
but.resultpráce byla úspěšně obhájenacs
dc.contributor.advisorVojnar, Tomášcs
dc.contributor.authorLetko, Zdeněkcs
dc.contributor.refereeKolář, Dušancs
dc.date.createdcs
dc.description.abstractHledá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.cs
dc.description.abstractFinding 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.en
dc.description.markAcs
dc.identifier.citationLETKO, Z. Dynamická detekce a léčení časově závislých chyb nad daty v prostředí Java [online]. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. .cs
dc.identifier.other25231cs
dc.identifier.urihttp://hdl.handle.net/11012/53232
dc.language.isocscs
dc.publisherVysoké učení technické v Brně. Fakulta informačních technologiícs
dc.rightsStandardní licenční smlouva - přístup k plnému textu bez omezenícs
dc.subjectformální verifikacecs
dc.subjecttestování softwarucs
dc.subjectdynamická analýzacs
dc.subjectstatická analýzacs
dc.subjectčasově závislé chybycs
dc.subjectchyby v atomicitě operacícs
dc.subjectautomatické léčenícs
dc.subjectvícevláknové programycs
dc.subjectJavacs
dc.subjectformal verificationen
dc.subjectsoftware testingen
dc.subjectdynamic analysisen
dc.subjectstatic analysisen
dc.subjectdata racesen
dc.subjectatomicity violationen
dc.subjectautomatic healingen
dc.subjectmulti-threaded programsen
dc.subjectJavaen
dc.titleDynamická detekce a léčení časově závislých chyb nad daty v prostředí Javacs
dc.title.alternativeDynamic Data Race Detection and Self-Healing in Java Programsen
dc.typeTextcs
dc.type.drivermasterThesisen
dc.type.evskpdiplomová prácecs
dcterms.modified2020-05-09-23:40:42cs
eprints.affiliatedInstitution.facultyFakulta informačních technologiícs
sync.item.dbid25231en
sync.item.dbtypeZPen
sync.item.insts2025.03.26 15:05:36en
sync.item.modts2025.01.16 00:20:36en
thesis.disciplineInteligentní systémycs
thesis.grantorVysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémůcs
thesis.levelInženýrskýcs
thesis.nameIng.cs
Files
Original bundle
Now showing 1 - 2 of 2
Thumbnail Image
Name:
final-thesis.pdf
Size:
1.32 MB
Format:
Adobe Portable Document Format
Description:
file final-thesis.pdf
Download
Thumbnail Image
Name:
review_25231.html
Size:
1.47 KB
Format:
Hypertext Markup Language
Description:
file review_25231.html
Download
Collections
2007