Publication: PaRV: parallelizing runtime detection and prevention of concurrency errors
dc.contributor.coauthor | Cristal, Adrian | |
dc.contributor.coauthor | Kestor, Gokcen | |
dc.contributor.coauthor | Unsal, Osman | |
dc.contributor.department | N/A | |
dc.contributor.department | N/A | |
dc.contributor.kuauthor | Kuru, İsmail | |
dc.contributor.kuauthor | Matar, Hassan Salehe | |
dc.contributor.kuprofile | PhD Student | |
dc.contributor.kuprofile | PhD Student | |
dc.contributor.schoolcollegeinstitute | Graduate School of Sciences and Engineering | |
dc.contributor.schoolcollegeinstitute | Graduate School of Sciences and Engineering | |
dc.contributor.yokid | N/A | |
dc.contributor.yokid | N/A | |
dc.date.accessioned | 2024-11-09T23:39:33Z | |
dc.date.issued | 2013 | |
dc.description.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. | |
dc.description.indexedby | Scopus | |
dc.description.openaccess | YES | |
dc.description.publisherscope | International | |
dc.description.volume | 7687 LNCS | |
dc.identifier.doi | 10.1007/978-3-642-35632-2_6 | |
dc.identifier.isbn | 9783-6423-5631-5 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.link | https://www.scopus.com/inward/record.uri?eid=2-s2.0-84872833766&doi=10.1007%2f978-3-642-35632-2_6&partnerID=40&md5=bb3b89362e8af63d345d7bf4af125451 | |
dc.identifier.quartile | N/A | |
dc.identifier.scopus | 2-s2.0-84872833766 | |
dc.identifier.uri | http://dx.doi.org/10.1007/978-3-642-35632-2_6 | |
dc.identifier.uri | https://hdl.handle.net/20.500.14288/13138 | |
dc.keywords | Computer software | |
dc.keywords | Application threads | |
dc.keywords | Concurrency errors | |
dc.keywords | Data races | |
dc.keywords | Multithreaded | |
dc.keywords | Parallelizing | |
dc.keywords | Run-time verification | |
dc.keywords | Runtime verification algorithm | |
dc.keywords | Transactional memory | |
dc.keywords | C++ (programming language) | |
dc.language | English | |
dc.publisher | Springer | |
dc.source | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | |
dc.subject | General computer science | |
dc.subject | Theoretical computer science | |
dc.title | PaRV: parallelizing runtime detection and prevention of concurrency errors | |
dc.type | Conference proceeding | |
dspace.entity.type | Publication | |
local.contributor.authorid | 0000-0002-5796-2150 | |
local.contributor.authorid | N/A | |
local.contributor.kuauthor | Kuru, İsmail | |
local.contributor.kuauthor | Matar, Hassan Salehe |