Group protocol for distributed replicated objects

In group protocols, larger computation and communication are consumed to causally order all messages transmitted in the network. Transactions in clients manipulate objects in servers by sending read and write requests to the servers. In this paper we define significant messages, which are to be ordered at the application level, by using a conflicting relation among the transactions. We newly propose an object vector to causally order only the significant messages. The scheme of the object vector is invariant in the change of the group membership. We also show a TBCO (transaction-based causally ordered) protocol adopting the object vector; by which the number of messages to be causally ordered are reduced.

[1]  LamportLeslie.  Time, clocks, and the ordering of events in a distributed system , 1978 .

[2]  David R. Cheriton,et al.  Understanding the limitations of causally and totally ordered communication , 1994, SOSP '93.

[3]  Akihito Nakamura,et al.  Causally ordering broadcast protocol , 1994, 14th International Conference on Distributed Computing Systems.

[4]  Louise E. Moser,et al.  Broadcast Protocols for Distributed Systems , 1990, IEEE Trans. Parallel Distributed Syst..

[5]  Divyakant Agrawal,et al.  Using message semantics to reduce rollback in optimistic message logging recovery schemes , 1994, 14th International Conference on Distributed Computing Systems.

[6]  Makoto Takizawa,et al.  Object-based message ordering in group communication , 1997, Proceedings Third International Workshop on Object-Oriented Real-Time Dependable Systems.

[7]  Makoto Takizawa,et al.  Group communication protocol for real-time applications , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

[8]  Michel Raynal,et al.  An adaptive protocol for implementing causally consistent distributed services , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

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

[10]  Akihito Nakamura,et al.  Reliable broadcast protocol for selectively partially ordering PDUs (SPO protocol) , 1991, [1991] Proceedings. 11th International Conference on Distributed Computing Systems.

[11]  Makoto Takizawa,et al.  Distributed protocol for selective intra-group communication , 1995, Proceedings of International Conference on Network Protocols.

[12]  André Schiper,et al.  Lightweight causal and atomic group multicast , 1991, TOCS.