Deterministic Parallelism

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


   title={Deterministic Parallelism},

   author={Leung, A.},



Download Download (PDF)   View View   Source Source   



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-2021 hgpu.org

All rights belong to the respective authors

Contact us: