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á bibliografie

Vydáno v:	Parallel computing Ročník 71; s. 42 - 57
Hlavní autoři:	Matar, Hassan Salehe, Mutlu, Erdal, Tasiran, Serdar, Unat, Didem
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 01.01.2018
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!