Publication:
Runtime determinacy race detection for openMP tasks

dc.contributor.coauthorN/A
dc.contributor.departmentDepartment of Computer Engineering
dc.contributor.departmentGraduate School of Sciences and Engineering
dc.contributor.kuauthorErten, Didem Unat
dc.contributor.kuauthorMatar, Hassan Salehe
dc.contributor.schoolcollegeinstituteCollege of Engineering
dc.contributor.schoolcollegeinstituteGRADUATE SCHOOL OF SCIENCES AND ENGINEERING
dc.date.accessioned2024-11-09T23:09:42Z
dc.date.issued2018
dc.description.abstractOne potential problem when writing parallel programs with OpenMP is to introduce determinacy races where for a given input, the program may unexpectedly produce different final outputs at different runs. Such startling behavior can result from incorrect ordering of OpenMP tasks. We present a method to detect determinacy races in OpenMP tasks at runtime. Based on OpenMP program semantics, our proposed solution models an OpenMP program as a collection of tasks with inferred dependencies among them where a task is implicitly created with a parallel region construct or explicitly created with a task construct. We define happens-before relation among tasks based on such dependencies for determining an execution order when detecting determinacy races. Based on this formalization, we developed a tool, TaskSanitizer, which detects and reports concurrent memory accesses whose tasks do not have common dependencies. Finally, TaskSanitizer works at runtime, has been able to find bugs in micro-benchmarks and it is reasonably efficient to be utilized in a working environment.
dc.description.indexedbyWOS
dc.description.indexedbyScopus
dc.description.openaccessNO
dc.description.sponsoredbyTubitakEuN/A
dc.description.sponsorshipAffordable Safe & Secure Mobility Evolution (ASSUME) project for smart mobility This work has been funded under the Affordable Safe & Secure Mobility Evolution (ASSUME) project for smart mobility.
dc.description.volume11014
dc.identifier.doi10.1007/978-3-319-96983-1_3
dc.identifier.eissn1611-3349
dc.identifier.isbn978-3-319-96983-1
dc.identifier.isbn978-3-319-96982-4
dc.identifier.issn0302-9743
dc.identifier.scopus2-s2.0-85052918137
dc.identifier.urihttps://doi.org/10.1007/978-3-319-96983-1_3
dc.identifier.urihttps://hdl.handle.net/20.500.14288/9350
dc.identifier.wos851042300056
dc.language.isoeng
dc.publisherSpringer International Publishing Ag
dc.relation.ispartofEuro-Par 2018: Parallel Processing
dc.subjectComputer science
dc.titleRuntime determinacy race detection for openMP tasks
dc.typeConference Proceeding
dspace.entity.typePublication
local.contributor.kuauthorMatar, Hassan Salehe
local.contributor.kuauthorErten, Didem Unat
local.publication.orgunit1GRADUATE SCHOOL OF SCIENCES AND ENGINEERING
local.publication.orgunit1College of Engineering
local.publication.orgunit2Department of Computer Engineering
local.publication.orgunit2Graduate School of Sciences and Engineering
relation.isOrgUnitOfPublication89352e43-bf09-4ef4-82f6-6f9d0174ebae
relation.isOrgUnitOfPublication3fc31c89-e803-4eb1-af6b-6258bc42c3d8
relation.isOrgUnitOfPublication.latestForDiscovery89352e43-bf09-4ef4-82f6-6f9d0174ebae
relation.isParentOrgUnitOfPublication8e756b23-2d4a-4ce8-b1b3-62c794a8c164
relation.isParentOrgUnitOfPublication434c9663-2b11-4e66-9399-c863e2ebae43
relation.isParentOrgUnitOfPublication.latestForDiscovery8e756b23-2d4a-4ce8-b1b3-62c794a8c164

Files