8281

Deterministic Parallelism

Alan Leung
University of California, San Diego
University of California, 2012

@article{leung2012deterministic,

   title={Deterministic Parallelism},

   author={Leung, A.},

   year={2012}

}

Download Download (PDF)   View View   Source Source   

1181

views

A program is deterministic if it always produces the same output for a given input. Although sequential programs are often deterministic by default, parallel programs are more susceptible to behaving nondeterministically because instructions from different threads can be interleaved unpredictably. Non-determinism complicates the task of developing and maintaining software because it makes reasoning about program behavior more difficult, and it frustrates attempts to test and debug due to the unrepeatability of results. To combat this difficulty, researchers have followed various approaches at the operating system, user runtime, and language design level to verify, test, and enforce deterministic execution of parallel programs. This paper presents a survey these approaches, then concludes with a discussion of original research by the author towards verification of determinism in GPU kernels.
No votes yet.
Please wait...

* * *

* * *

HGPU group © 2010-2017 hgpu.org

All rights belong to the respective authors

Contact us: