Partial order relations in distributed object environments

Authors:
Laurence Duchien;Gérard Florin;Lionel Seinturier
Affiliations:
CNAM, Laboratoire CEDRIC, 292,rue St Martin, Fr 75141 Paris cedex 03;CNAM, Laboratoire CEDRIC, 292,rue St Martin, Fr 75141 Paris cedex 03;UPMC, Laboratoire LIP6, 4, place Jussieu, Fr 75252 Paris cedex 05
Venue:
ACM SIGOPS Operating Systems Review
Year:
2000

Citing 14
Cited 1

The mutual exclusion problem: part I—a theory of interprocess communication

Journal of the ACM (JACM)
Reliable communication in the presence of failures

ACM Transactions on Computer Systems (TOCS)
Concurrency control and recovery in database systems

Concurrency control and recovery in database systems
Axioms for concurrent objects

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Ordered and reliable multicast communication

ACM Transactions on Computer Systems (TOCS)
A new way to design causally and totally ordered multicast protocols

ACM SIGOPS Operating Systems Review
Memory consistency models

ACM SIGOPS Operating Systems Review
The process group approach to reliable distributed computing

Communications of the ACM
Temporal interactions of intervals in distributed systems

Journal of Computer and System Sciences
From serializable to causal transactions (abstract)

PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Consistent object replication in the eternal system

Theory and Practice of Object Systems - Special issue high availability in CORBA
Implementing remote procedure calls

ACM Transactions on Computer Systems (TOCS)
Reliable broadcast protocols

ACM Transactions on Computer Systems (TOCS)
Time, clocks, and the ordering of events in a distributed system

Communications of the ACM

Event chain clocks for performance debugging in parallel and distributed systems

ISPA'04 Proceedings of the Second international conference on Parallel and Distributed Processing and Applications

Quantified Score

Hi-index	0.00

Visualization

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.