Archives and Documentation Center
Digital Archives

Dynamic data race detection in concurrent programs

Show simple item record

dc.contributor Graduate Program in Computer Engineering.
dc.contributor.advisor Şen, Alper.
dc.contributor.author Kalacı, Önder.
dc.date.accessioned 2023-03-16T10:01:51Z
dc.date.available 2023-03-16T10:01:51Z
dc.date.issued 2014.
dc.identifier.other CMPE 2014 K36
dc.identifier.uri http://digitalarchive.boun.edu.tr/handle/123456789/12274
dc.description.abstract Recent advances in hardware drive software to be more concurrent than ever. Concurrency in software is achieved by multithreading, which creates veri cation challenges. These challenges include problems such as deadlocks, race conditions and atomicity violations, all of which are notoriously di cult to detect due to the nondeterministic nature of concurrent software. Data races result from the concurrent access of shared data by multiple threads and can result in unexpected program behaviors. In this thesis, we describe techniques to detect data races in multithreaded applications. We developed a hybrid algorithm that is a combination of the state-ofthe- art happens-before and lockset data race detection algorithms. We take advantage of lockset algorithm and happens-before algorithm for discarding false negatives and false positives, respectively. Our algorithm works on the binary of the program (without the need for the source code), hence makes it applicable to industrially-deployed software. Since it is a dynamic technique, it has execution time and memory overhead. We utilized the concept of segments to decrease these overheads, where a segment is formed by consecutive memory accesses of a single thread. We performed experiments to validate the e ectiveness of our hybrid race detector by comparing it with a happens-before and lockset-based race detector. Our experiments on several benchmarks showed that our hybrid detector is 20% faster than happens-before detector and produces 50% less potential data races than the lockset detector. We proposed four di erent optimizations to further decrease the execution time and enhance the usability.
dc.format.extent 30 cm.
dc.publisher Thesis (M.S.) - Bogazici University. Institute for Graduate Studies in Science and Engineering, 2014.
dc.subject.lcsh Concurrent Pascal (Computer program language).
dc.subject.lcsh Parallel programming (Computer science)
dc.title Dynamic data race detection in concurrent programs
dc.format.pages xvi, 90 leaves ;


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search Digital Archive


Browse

My Account