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...

Celý popis

Podrobná bibliografia

Vydané v:	Parallel computing Ročník 71; s. 42 - 57
Hlavní autori:	Matar, Hassan Salehe, Mutlu, Erdal, Tasiran, Serdar, Unat, Didem
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	Elsevier B.V 01.01.2018
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!