Output nondeterminism detection for programming models combining dataflow with shared memory

•We identify output nondeterminism errors in dataflow applications on shared memory.•A technique for detecting output nondeterminism based on happens-before relation is proposed.•A tool using this technique detects real and synthesized bugs in dataflow programs.•Extensive evaluation of the tool usin...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Parallel computing Jg. 71; S. 42 - 57
Hauptverfasser:	Matar, Hassan Salehe, Mutlu, Erdal, Tasiran, Serdar, Unat, Didem
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 01.01.2018
Schlagworte:	Data races Dataflow models Happens-before LLVM Nondeterminism detection Shared memory Nondeterminism detection Data races LLVM Happens-before Shared memory Dataflow models
ISSN:	0167-8191, 1872-7336
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!