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

Simple item page
dc.conference.dateSEP 25-28, 2012
dc.conference.organizer3rd International Conference on Runtime Verification, RV 2012
dc.contributor.coauthorCristal, Adrian
dc.contributor.coauthorKestor, Gokcen
dc.contributor.coauthorUnsal, Osman
dc.contributor.departmentGraduate School of Sciences and Engineering
dc.contributor.facultymemberNo
dc.contributor.kuauthorKuru, İsmail
dc.contributor.kuauthorMatar, Hassan Salehe
dc.contributor.schoolcollegeinstituteGRADUATE SCHOOL OF SCIENCES AND ENGINEERING
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.fulltextNo
dc.description.harvestedfromManual
dc.description.indexedbyScopus
dc.description.openaccessYES
dc.description.peerreviewstatusN/A
dc.description.publisherscopeInternational
dc.description.readpublishN/A
dc.description.sponsoredbyTubitakEuN/A
dc.description.studentonlypublicationYes
dc.description.studentpublicationYes
dc.description.versionN/A
dc.identifier.WoSQuartileQ4
dc.identifier.doi10.1007/978-3-642-35632-2_6
dc.identifier.eissn1611-3349
dc.identifier.embargoN/A
dc.identifier.endpage47
dc.identifier.isbn9783642356315
dc.identifier.issn0302-9743
dc.identifier.scopus2-s2.0-84872833766
dc.identifier.startpage42
dc.identifier.urihttps://doi.org/10.1007/978-3-642-35632-2_6
dc.identifier.urihttps://hdl.handle.net/20.500.14288/13138
dc.identifier.volume7687
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.language.isoeng
dc.publisherSpringer Nature
dc.relation.affiliationKoç University
dc.relation.collectionKoç University Institutional Repository
dc.relation.ispartofLecture Notes in Computer Science
dc.relation.openaccessN/A
dc.rightsN/A
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.kuauthorKuru, İsmail
local.contributor.kuauthorMatar, Hassan Salehe
relation.isOrgUnitOfPublication3fc31c89-e803-4eb1-af6b-6258bc42c3d8
relation.isOrgUnitOfPublication.latestForDiscovery3fc31c89-e803-4eb1-af6b-6258bc42c3d8
relation.isParentOrgUnitOfPublication434c9663-2b11-4e66-9399-c863e2ebae43
relation.isParentOrgUnitOfPublication.latestForDiscovery434c9663-2b11-4e66-9399-c863e2ebae43

Files

Collections

Publications without Fulltext