Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Object Types against Races Cormac Flanagan and Martn Abadi

Summary: Object Types against Races
Cormac Flanagan and Mart’n Abadi
Systems Research Center, Compaq
Abstract. This paper investigates an approach for statically preventing
race conditions in an object­oriented language. The setting of this work is
a variant of Gordon and Hankin's concurrent object calculus. We enrich
that calculus with a form of dependent object types that enables us
to verify that threads invoke and update methods only after acquiring
appropriate locks. We establish that well­typed programs do not have
race conditions.
1 Introduction
Concurrent object­oriented programs su#er from many of the errors common in
concurrent programs of other sorts. In particular, the use of objects does not
diminish the importance of careful synchronization. With objects or without
them, improper synchronization may lead to race conditions (that is, two pro­
cesses accessing a shared resource simultaneously) and ultimately to incorrect
A standard approach for eliminating race conditions consists in protecting
each shared resource with a lock, requiring that a process acquires the cor­


Source: Abadi, Martín - Department of Computer Science, University of California at Santa Cruz


Collections: Computer Technologies and Information Sciences