Synchronization Debugging of Hybrid Parallel Programs
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
Abstract
In this paper we address the problem of locating race conditions among synchronization primitives in execution traces of hybrid parallel programs. In hybrid parallel programs collective and point-to-point synchronization can't be analyzed separately. We introduce a model for synchronization primitives and formally define synchronization races with respect to the model. Based on these concepts we present an algorithm which accurately detects synchronization races and yields a task graph of the execution trace. The task graph represents the guaranteed ordering of events across thread and process boundaries. It is an essential core element for the further analysis (e.g. a data race detection) of a program.
Details
Originalsprache | Englisch |
---|---|
Titel | Euro-Par 2016: Parallel Processing |
Redakteure/-innen | Pierre-François Dutot, Denis Trystram |
Erscheinungsort | Cham |
Herausgeber (Verlag) | Springer International Publishing AG |
Seiten | 37-50 |
Seitenumfang | 14 |
ISBN (Print) | 978-3-319-43659-3 |
Publikationsstatus | Veröffentlicht - 2016 |
Peer-Review-Status | Ja |
Externe IDs
Scopus | 84984799156 |
---|---|
ORCID | /0000-0001-8719-5741/work/173053625 |