| | |
Summary: A Type and Effect System for Deterministic Parallel Java
Robert L. Bocchino Jr. Vikram S. Adve Danny Dig
Sarita V. Adve Stephen Heumann Rakesh Komuravelli Jeffrey Overbey
Patrick Simmons Hyojin Sung Mohsen Vakilian
Department of Computer Science
University of Illinois at Urbana-Champaign
dpj@cs.uiuc.edu
Abstract
Today's shared-memory parallel programming models are
complex and error-prone. While many parallel programs are
intended to be deterministic, unanticipated thread interleav-
ings can lead to subtle bugs and nondeterministic semantics.
In this paper, we demonstrate that a practical type and ef-
fect system can simplify parallel programming by guarantee-
ing deterministic semantics with modular, compile-time type
checking even in a rich, concurrent object-oriented language
such as Java. We describe an object-oriented type and effect
system that provides several new capabilities over previous
systems for expressing deterministic parallel algorithms. We
also describe a language called Deterministic Parallel Java
|
