• čeština
    • English
    • русский
  • English 
    • čeština
    • English
    • русский
  • Login
View Item 
  •   Repository Home
  • Závěrečné práce
  • diplomové práce
  • Fakulta informačních technologií
  • 2008
  • View Item
  •   Repository Home
  • Závěrečné práce
  • diplomové práce
  • Fakulta informačních technologií
  • 2008
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

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

Dynamic Data Race Detection and Self-Healing in Java Programs

Thumbnail
View/Open
final-thesis.pdf (1.315Mb)
review_25231.html (1.476Kb)
Author
Letko, Zdeněk
Advisor
Vojnar, Tomáš
Referee
Kolář, Dušan
Grade
A
Altmetrics
Metadata
Show full item record
Abstract
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.
 
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
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, formal verification, software testing, dynamic analysis, static analysis, data races, atomicity violation, automatic healing, multi-threaded programs, Java
Language
čeština (Czech)
Study brunch
Inteligentní systémy
Composition of Committee
Date of defence
2008-06-17
Process of defence
Result of the defence
práce byla úspěšně obhájena
Persistent identifier
http://hdl.handle.net/11012/53232
Source
LETKO, 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í. 2008.
Collections
  • 2008 [190]
Citace PRO

Portal of libraries | Central library on Facebook
DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback | Theme by @mire NV
 

 

Browse

All of repositoryCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Statistics

View Usage Statistics

Portal of libraries | Central library on Facebook
DSpace software copyright © 2002-2015  DuraSpace
Contact Us | Send Feedback | Theme by @mire NV