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

dc.contributor.coauthorCristal, Adrian
dc.contributor.coauthorKestor, Gokcen
dc.contributor.coauthorUnsal, Osman
dc.contributor.departmentN/A
dc.contributor.departmentN/A
dc.contributor.kuauthorKuru, İsmail
dc.contributor.kuauthorMatar, Hassan Salehe
dc.contributor.kuprofilePhD Student
dc.contributor.kuprofilePhD Student
dc.contributor.schoolcollegeinstituteGraduate School of Sciences and Engineering
dc.contributor.schoolcollegeinstituteGraduate School of Sciences and Engineering
dc.contributor.yokidN/A
dc.contributor.yokidN/A
dc.date.accessioned2024-11-09T23:39:33Z
dc.date.issued2013
dc.description.abstractWe 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.indexedbyScopus
dc.description.openaccessYES
dc.description.publisherscopeInternational
dc.description.volume7687 LNCS
dc.identifier.doi10.1007/978-3-642-35632-2_6
dc.identifier.isbn9783-6423-5631-5
dc.identifier.issn0302-9743
dc.identifier.linkhttps://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.quartileN/A
dc.identifier.scopus2-s2.0-84872833766
dc.identifier.urihttp://dx.doi.org/10.1007/978-3-642-35632-2_6
dc.identifier.urihttps://hdl.handle.net/20.500.14288/13138
dc.keywordsComputer software
dc.keywordsApplication threads
dc.keywordsConcurrency errors
dc.keywordsData races
dc.keywordsMultithreaded
dc.keywordsParallelizing
dc.keywordsRun-time verification
dc.keywordsRuntime verification algorithm
dc.keywordsTransactional memory
dc.keywordsC++ (programming language)
dc.languageEnglish
dc.publisherSpringer
dc.sourceLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
dc.subjectGeneral computer science
dc.subjectTheoretical computer science
dc.titlePaRV: parallelizing runtime detection and prevention of concurrency errors
dc.typeConference proceeding
dspace.entity.typePublication
local.contributor.authorid0000-0002-5796-2150
local.contributor.authoridN/A
local.contributor.kuauthorKuru, İsmail
local.contributor.kuauthorMatar, Hassan Salehe

Files