Work

Parallel Programming Must Be Deterministic by Default

Year: 2018

Type: article

Abstract: In today’s widely used parallel programming models, subtle programming errors can lead to unintended nondeterministic behavior and hard to catch bugs. In contrast, we argue for a parallel programming model that is deterministic by default: deterministic behavior is guaranteed unless the programmer explicitly uses nondeterministic constructs. This goal is particularly challenging for modern object-oriented languages with expressive use of reference aliasing and updates to shared mutable state. We propose a broad research agenda in support of this goal, and we describe some of our own work to further that agenda.

Source: Illinois Digital Environment for Access to Learning and Scholarship (University of Illinois at Urbana-Champaign)

DOI: 10.1184/r1/6625115

Authors: Bocchino, Robert L., Adve, Vikram S., Adve, Sarita V., Snir, Marc

Institution: University of Illinois Urbana-Champaign

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W1931688030

FWCI: 14.81

Cites: 25

Cited by: 169

Related to: 10