Publication: PaRV: parallelizing runtime detection and prevention of concurrency errors
Program
KU-Authors
KU Authors
Co-Authors
Cristal, Adrian
Kestor, Gokcen
Unsal, Osman
Publication Date
Language
Embargo Status
Journal Title
Journal ISSN
Volume Title
Alternative Title
Abstract
We present the PaRV tool for runtime detection of and recovery from data races in multi-threaded C and C++ programs. PaRV uses transactional memory technology for parallelizing runtime verification and for buffering write accesses during race checking. Application threads are slowed down only due to instrumentation, but not due to the computation performed by runtime verification algorithms since the latter are run concurrently on different threads. Buffering writes allows us to recover from races and to safeguard against later ones.
Source
Publisher
Springer
Subject
General computer science, Theoretical computer science
Citation
Has Part
Source
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Book Series Title
Edition
DOI
10.1007/978-3-642-35632-2_6