Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
A Type and Effect System for Deterministic Parallel Java Robert L. Bocchino Jr. Vikram S. Adve Danny Dig
 

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

  

Source: Adve, Sarita - Department of Computer Science, University of Illinois at Urbana-Champaign

 

Collections: Computer Technologies and Information Sciences