Parallel Programming Must Be Deterministic By Default

Bocchino, Robert L., Jr.; Adve, Vikram S.; Adve, Sarita V.; Snir, Marc

Permalink

https://hdl.handle.net/2142/11500 Copy

Description

Title

Parallel Programming Must Be Deterministic By Default

Author(s)

• Bocchino, Robert L., Jr.
• Adve, Vikram S.
• Adve, Sarita V.
• Snir, Marc

Issue Date

2008-11

Keyword(s)

• parallel programming
• programming languages
• parallel systems

Abstract

"We examine the problem of providing a parallel programming model that guarantees deterministic semantics. We propose a research agenda focusing on the following questions: 1. How to guarantee determinism in a modern object-oriented language; 2. How to provide sound guarantees when parts of the program either cannot be proved deterministic or have ""harmless"" nondeterminism; 3. How to specify explicit non-determinism when needed; and 4. How to make it easier to port programs to the language."

Type of Resource

text

Permalink

http://hdl.handle.net/2142/11500

Copyright and License Information

You are granted permission for the non-commercial reproduction, distribution, display, and performance of this technical report in any format, BUT this permission is only for a period of 45 (forty-five) days from the most recent time that you verified that this technical report is still available from the University of Illinois at Urbana-Champaign Computer Science Department under terms that include this permission. All other rights are reserved by the author(s).

Owning Collections