Quiet and Bouncing Objects: Two Migration Abstractions in a Simple Distributed Blue Calculus
Silvano Dal Zilio · 1998
. In this paper, we study a model of migrating objects based on the blue calculus extended with a very simple system of localities and we show how two migration behaviors can be defined, namely those of bouncing and quiet objects. These "migration control abstractions" are defined separately from other aspects of the object definition and can be easily reused, thus providing more flexibility in the definition of "migration constraints". 1 Introduction The purpose of this extended abstract is to study how the behavior of concurrent objects with respect to migration, can be defined orthogonally from other aspects of the object definition, such as synchronization constraint for example. To give the reader an intuition: many researches have been conducted on the problem of defining synchronization abstractions for concurrent objects [10, 7], likewise, we are interested here in the definition of migration abstractions that can be reused to implement distributed objects. To this end, we giv...