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/10859 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-10

Keyword(s)

Computer Science

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/10859

Owning Collections