Asynchronous and Deterministic Objects

Denis Caromel Ludovic Henrio Bernard Paul Serpette

To appear at Principles of Programming Languages (POPL04), Venice, Italy, January 14-16, 2004


This paper aims at providing confluence and determinism properties in concurrent processes, more specifically within the paradigm of object-oriented systems. Such results should allow one to program parallel and distributed applications that behave in a deterministic manner, even if they are distributed over local or wide area networks. For that purpose, an object calculus is proposed. Its key characteristics are asynchronous communications with futures, and sequential execution within each process. While most of previous works exhibit confluence properties only on specific programs - or patterns of programs, a general condition for confluence is presented here. It is further put in practice to show the deterministic behavior of a typical example.

Server START Conference Manager
Update Time 19 Sep 2003 at 17:40:43
Start Conference Manager
Conference Systems