Publication: Runtime determinacy race detection for openMP tasks
dc.contributor.coauthor | N/A | |
dc.contributor.department | Department of Computer Engineering | |
dc.contributor.department | Graduate School of Sciences and Engineering | |
dc.contributor.kuauthor | Erten, Didem Unat | |
dc.contributor.kuauthor | Matar, Hassan Salehe | |
dc.contributor.schoolcollegeinstitute | College of Engineering | |
dc.contributor.schoolcollegeinstitute | GRADUATE SCHOOL OF SCIENCES AND ENGINEERING | |
dc.date.accessioned | 2024-11-09T23:09:42Z | |
dc.date.issued | 2018 | |
dc.description.abstract | One 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.indexedby | WOS | |
dc.description.indexedby | Scopus | |
dc.description.openaccess | NO | |
dc.description.sponsoredbyTubitakEu | N/A | |
dc.description.sponsorship | Affordable 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.volume | 11014 | |
dc.identifier.doi | 10.1007/978-3-319-96983-1_3 | |
dc.identifier.eissn | 1611-3349 | |
dc.identifier.isbn | 978-3-319-96983-1 | |
dc.identifier.isbn | 978-3-319-96982-4 | |
dc.identifier.issn | 0302-9743 | |
dc.identifier.scopus | 2-s2.0-85052918137 | |
dc.identifier.uri | https://doi.org/10.1007/978-3-319-96983-1_3 | |
dc.identifier.uri | https://hdl.handle.net/20.500.14288/9350 | |
dc.identifier.wos | 851042300056 | |
dc.language.iso | eng | |
dc.publisher | Springer International Publishing Ag | |
dc.relation.ispartof | Euro-Par 2018: Parallel Processing | |
dc.subject | Computer science | |
dc.title | Runtime determinacy race detection for openMP tasks | |
dc.type | Conference Proceeding | |
dspace.entity.type | Publication | |
local.contributor.kuauthor | Matar, Hassan Salehe | |
local.contributor.kuauthor | Erten, Didem Unat | |
local.publication.orgunit1 | GRADUATE SCHOOL OF SCIENCES AND ENGINEERING | |
local.publication.orgunit1 | College of Engineering | |
local.publication.orgunit2 | Department of Computer Engineering | |
local.publication.orgunit2 | Graduate School of Sciences and Engineering | |
relation.isOrgUnitOfPublication | 89352e43-bf09-4ef4-82f6-6f9d0174ebae | |
relation.isOrgUnitOfPublication | 3fc31c89-e803-4eb1-af6b-6258bc42c3d8 | |
relation.isOrgUnitOfPublication.latestForDiscovery | 89352e43-bf09-4ef4-82f6-6f9d0174ebae | |
relation.isParentOrgUnitOfPublication | 8e756b23-2d4a-4ce8-b1b3-62c794a8c164 | |
relation.isParentOrgUnitOfPublication | 434c9663-2b11-4e66-9399-c863e2ebae43 | |
relation.isParentOrgUnitOfPublication.latestForDiscovery | 8e756b23-2d4a-4ce8-b1b3-62c794a8c164 |