Partial order relations in distributed object environments

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.

[1]  Priya Narasimhan,et al.  Consistent Object Replication in the external System , 1998, Theory Pract. Object Syst..

[2]  Pascal Felber,et al.  THE CORBA OBJECT GROUP SERVICE: A SERVICE APPROACH TO OBJECT GROUPS IN CORBA , 1998 .

[3]  Gerard Thia Kime.  Criteres de coherence pour donnees partagees a support reparti , 1997 .

[4]  Michel Raynal,et al.  From serializable to causal transactions (abstract) , 1996, PODC '96.

[5]  Ajay D. Kshemkalyani,et al.  Temporal Interactions of Intervals in Distributed Systems , 1996, J. Comput. Syst. Sci..

[6]  Kenneth P. Birman,et al.  The process group approach to reliable distributed computing , 1992, CACM.

[7]  Christian Toinard.  Etude des diffusions ordonnees sur groupes , 1993 .

[8]  David Mosberger,et al.  Memory consistency models , 1993, OPSR.

[9]  Gerard Florin,et al.  A new way to design causally and totally ordered multicast protocols , 1992, OPSR.

[10]  Hector Garcia-Molina,et al.  Ordered and reliable multicast communication , 1991, TOCS.

[11]  Andrew S. Tanenbaum,et al.  Group communication in the Amoeba distributed operating system , 1991, [1991] Proceedings. 11th International Conference on Distributed Computing Systems.

[12]  David Powell.  The Atomic Multicast protocol (AMp) , 1991 .

[13]  Sacha Krakowiak,et al.  Architecture and Implementation of Guide, an Object-Oriented Distributed System , 1991, Comput. Syst..

[14]  Maurice Herlihy,et al.  Axioms for concurrent objects , 1987, POPL '87.

[15]  Kenneth P. Birman,et al.  Reliable communication in the presence of failures , 1987, TOCS.

[16]  Leslie Lamport,et al.  The mutual exclusion problem: part I—a theory of interprocess communication , 1986, JACM.

[17]  Jo-Mei Chang,et al.  Reliable broadcast protocols , 1984, TOCS.

[18]  Andrew Birrell,et al.  Implementing remote procedure calls , 1984, TOCS.

[19]  Leslie Lamport,et al.  How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs , 2016, IEEE Transactions on Computers.

[20]  Leslie Lamport,et al.  Time, clocks, and the ordering of events in a distributed system , 1978, CACM.

[21]  Thomas H. Bredt.  The mutual exclusion problem , 1970 .