Semantically Reliable Multicast: Definition, Implementation, and Performance Evaluation

Semantic reliability is a novel correctness criterion for multicast protocols based on the concept of message obsolescence: A message becomes obsolete when its content or purpose is superseded by a subsequent message. By exploiting obsolescence, a reliable multicast protocol may drop irrelevant messages to find additional buffer space for new messages. This makes the multicast protocol more resilient to transient performance perturbations of group members, thus improving throughput stability. This paper describes our experience in developing a suite of semantically reliable protocols. It summarizes the motivation, definition, and algorithmic issues and presents performance figures obtained with a running implementation. The data obtained experimentally is compared with analytic and simulation models. This comparison allows us to confirm the validity of these models and the usefulness of the approach. Finally, the paper reports the application of our prototype to distributed multiplayer games.

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

[2]  Mahadev Satyanarayanan,et al.  A SURVEY OF DISTRIBUTED FILE SYSTEMS , 1990 .

[3]  Kenneth P. Briman.  A review of experiences with reliable multicast , 1999 .

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

[5]  Keith Marzullo,et al.  Highly-available services using the primary-backup approach , 1992, [1992 Proceedings] Second Workshop on the Management of Replicated Data.

[6]  Michel Raynal,et al.  Deadline-constrained causal order , 2000, Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607).

[7]  M. Raynal,et al.  How to find his way in the jungle of consistency criteria for distributed shared memories (or how to escape from Minos' labyrinth) , 1993, 1993 4th Workshop on Future Trends of Distributed Computing Systems.

[8]  Idit Keidar,et al.  Optimistic Virtual Synchrony , 2000, Proceedings 19th IEEE Symposium on Reliable Distributed Systems SRDS-2000.

[9]  Kenneth P. Birman,et al.  A review of experiences with reliable multicast , 1999, Softw. Pract. Exp..

[10]  Luís E. T. Rodrigues,et al.  Semantically reliable multicast protocols , 2000, Proceedings 19th IEEE Symposium on Reliable Distributed Systems SRDS-2000.

[11]  Liuba Shrira,et al.  Lazy replication: exploiting the semantics of distributed services , 1991, EW 4.

[12]  Luís E. T. Rodrigues,et al.  Reducing the cost of group communication with semantic view synchrony , 2002, Proceedings International Conference on Dependable Systems and Networks.

[13]  Suchitra Raman,et al.  Generalized Data Naming and Scalable State Announcements for Reliable , 1997 .

[14]  Sam Toueg,et al.  A Modular Approach to Fault-Tolerant Broadcasts and Related Problems , 1994 .

[15]  André Schiper,et al.  Stubborn Communication Channels , 1998 .

[16]  Douglas C. Schmidt,et al.  ADAPTIVE: A dynamically assembled protocol transformation, integration and evaluation environment , 1993, Concurr. Pract. Exp..

[17]  IEEE Transactions on Computers , Computing in Science & Engineering.

[18]  Bernadette Charron-Bost,et al.  Simulating Reliable Links with Unreliable Links in the Presence of Process Crashes , 1996, WDAG.

[19]  José Pereira,et al.  Semantically reliable group communication , 2002 .

[20]  Ray Jain,et al.  The art of computer systems performance analysis - techniques for experimental design, measurement, simulation, and modeling , 1991, Wiley professional computing.

[21]  Mukesh Singhal,et al.  Efficient Δ-causal broadcasting , 1998 .

[22]  Donald F. Towsley,et al.  A Comparison of Sender-Initiated and Receiver-Initiated Reliable Multicast Protocols , 1997, IEEE J. Sel. Areas Commun..

[23]  Marvin Theimer,et al.  Managing update conflicts in Bayou, a weakly connected replicated storage system , 1995, SOSP.

[24]  Donald F. Towsley,et al.  A comparison of sender-initiated and receiver-initiated reliable multicast protocols , 1994, IEEE J. Sel. Areas Commun..

[25]  Rico Piantoni,et al.  Implementing the Swiss Exchange trading system , 1997, Proceedings of IEEE 27th International Symposium on Fault Tolerant Computing.

[26]  David D. Clark,et al.  Architectural considerations for a new generation of protocols , 1990, SIGCOMM '90.

[27]  François Gagnon,et al.  Impact of out-of-sequence processing on the performance of data transmission , 1999, Comput. Networks.

[28]  Farnam Jahanian,et al.  Real-time primary-backup (RTPB) replication with temporal consistency guarantees , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

[29]  Kenneth P. Birman,et al.  Bimodal multicast , 1999, TOCS.

[30]  Leslie Lamport,et al.  The temporal logic of actions , 1994, TOPL.

[31]  André Schiper,et al.  Generic Broadcast , 1999, DISC.

[32]  Peter Parnes,et al.  Applying semantic reliability concepts to multicast information messaging in wireless networks , 2002 .

[33]  Liuba Shrira,et al.  Lazy replication: exploiting the semantics of distributed services (extended abstract) , 1990, OPSR.

[34]  Steven McCanne,et al.  A reliable multicast framework for light-weight sessions and application level framing , 1995, SIGCOMM '95.

[35]  Sam Toueg,et al.  Unreliable failure detectors for reliable distributed systems , 1996, JACM.

[36]  David S. Rosenblum,et al.  Content-Based Addressing and Routing: A General Model and its Application , 2000 .

[37]  Fred B. Schneider,et al.  The primary-backup approach , 1993 .

[38]  ZHANGLi-xia,et al.  A reliable multicast framework for light-weight sessions and application level framing , 1995 .

[39]  Flaviu Cristian,et al.  Applying simulation to the design and performance evaluation of fault-tolerant systems , 1997, Proceedings of SRDS'97: 16th IEEE Symposium on Reliable Distributed Systems.

[40]  V. Jacobson,et al.  Congestion avoidance and control , 1988, SIGCOMM '88.

[41]  Kenneth P. Birman,et al.  Scalable message stability detection protocols , 1998 .