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

Full description

Bibliographic Details

Published in:	Parallel computing Vol. 71; pp. 42 - 57
Main Authors:	Matar, Hassan Salehe, Mutlu, Erdal, Tasiran, Serdar, Unat, Didem
Format:	Journal Article
Language:	English
Published:	Elsevier B.V 01.01.2018
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!