Timestamp Acknowledgments for Determining Message Stability

Determination of message stability is important for multicast group communication systems, both for assuring applications that messages have been delivered and also for message buffer management. We present a protocol for determining message stability that uses a single scalar timestamp to acknowledge messages from many sources. The protocol avoids the linear growth in the acknowledgment size that occurs with vector acknowledgment protocols. Compared to other protocols, the protocol consumes significantly less network bandwidth, and its latency to the determination of message stability is only slightly larger. Synchronized physical clocks are shown to yield lower latency than logical clocks. We also present a simple connection establishment and group membership protocol for use in conjunction with the message stability protocol.

[1]  Newtop: a fault-tolerant group communication protocol , 1995, Proceedings of 15th International Conference on Distributed Computing Systems.

[2]  Sam Toueg,et al.  Optimal clock synchronization , 1985, PODC '85.

[3]  Peter B. Danzig Finite buffers for fast multicast , 1989, SIGMETRICS '89.

[4]  Bernadette Charron-Bost,et al.  On the impossibility of group membership , 1996, PODC '96.

[5]  Louise E. Moser,et al.  Extended virtual synchrony , 1994, 14th International Conference on Distributed Computing Systems.

[6]  Flaviu Cristian A probabilistic approach to distributed clock synchronization , 1989, [1989] Proceedings. The 9th International Conference on Distributed Computing Systems.

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

[8]  Robbert van Renesse,et al.  Reliable Distributed Computing with the Isis Toolkit , 1994 .

[9]  Yair Amir,et al.  Transis: a communication subsystem for high availability , 1992, [1992] Digest of Papers. FTCS-22: The Twenty-Second International Symposium on Fault-Tolerant Computing.

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