Publication:
PaRV: parallelizing runtime detection and prevention of concurrency errors

Placeholder

School / College / Institute

Organizational Unit

Program

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

item.page.datauri

Link

Rights

Copyrights Note

Endorsement

Review

Supplemented By

Referenced By

1

Views

0

Downloads

View PlumX Details