Abstract
We describe several order relations for group cooperative applications. Our goal is to define the main interleaving semantics existing in distributed object environments with group invocations and variable sharing. We generalize the Lamport's Happened-before relation defined for message passing applications to a causal relation between actions or methods in object world. Next, we precise a set of order properties for group method invocations. It includes the local, causal and total ordering deduced from the similar ordering in message broadcast protocols, and causally coherent and serializable transactions deduced from the concurrency control. Finally, we present two implementations of one of these order property on distributed object systems GUIDE and CORBA.
Published Version (
Free)
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call