Synchronization Debugging of Hybrid Parallel Programs

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

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

OriginalspracheEnglisch
TitelEuro-Par 2016: Parallel Processing
Redakteure/-innenPierre-François Dutot, Denis Trystram
ErscheinungsortCham
Herausgeber (Verlag)Springer International Publishing AG
Seiten37-50
Seitenumfang14
ISBN (Print)978-3-319-43659-3
PublikationsstatusVeröffentlicht - 2016
Peer-Review-StatusJa

Externe IDs

Scopus 84984799156
ORCID /0000-0001-8719-5741/work/173053625

Schlagworte

Forschungsprofillinien der TU Dresden