A Formal Venture into Reliable Multicast Territory

  • Carolos Livadas
  • Nancy A. Lynch
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2529)


In this paper, we present a formal model of the reliable multicast service that ensures eventual packet delivery with, possibly, some timeliness guarantees. This model dictates precisely what it means to be a member of the reliable multicast group and which packets are guaranteed delivery to which members of the group. Moreover, it is reasonable, implementable, and broad; that is, it captures the intended behavior of numerous reliable multicast protocols. We also present a formal model of the Scalable Reliable Multicast (SRM) protocol [1]. We show that our model of SRM is safe, in the sense that it is a faithful implementation of our model of the reliable multicast service; that is, it may only deliver appropriate packets to each member of the reliable multicast group. We also show that, under certain constraints, the implementation is live, in the sense that it guarantees the timely delivery of the appropriate packets to the appropriate members of the reliable multicast group.


Multicast Group Packet Drop Eventual Delivery Multicast Service Timeliness Guarantee 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. [1]
    Floyd, S., Jacobson, V., McCanne, S., Liu, C.G., Zhang, L.: A Reliable Multicast Framework For Light-Weight Sessions And Application Level Framing. IEEE/ACM Transactions on Networking 5 (1997) 784–803CrossRefGoogle Scholar
  2. [2]
    Holbrook, H.W., Singhal, S.K., Cheriton, D.R.: Log-Based Receiver-Reliable Multicast For Distributed Interactive Simulation. In: Proc. ACM/SIGCOMM’95. (1995) 328–341Google Scholar
  3. [3]
    Lin, J.C., Paul, S.: RMTP: Reliable Multicast Transport Protocol. In: Proc. IEEE/INFOCOM’96. Volume 3. (1996) 1414–1424Google Scholar
  4. [4]
    Paul, S., Sabnani, K.K., Lin, J.C., Bhattacharyya, S.: Reliable Multicast Transport Protocol (RMTP). IEEE Journal on Selected Areas in Communications 15 (1997) 407–421CrossRefGoogle Scholar
  5. [5]
    Papadopoulos, C., Parulkar, G., Varghese, G.: An Error Control Scheme For Large-Scale Multicast Applications. In: Proc. IEEE/INFOCOM’98. Volume 3. (1998) 1188–1196Google Scholar
  6. [6]
    Li, D., Cheriton, D.R.: OTERS (On-Tree Efficient Recovery using Subcasting): A Reliable Multicast Protocol. In: Proc. IEEE/ICNP’98. (1998) 237–245Google Scholar
  7. [7]
    Livadas, C., Lynch, N.A.: A Formal Venture into Reliable Multicast Territory. Technical Report, Lab. for Computer Science, MIT (2002)Google Scholar
  8. [8]
    Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann Publishers, Inc. (1996)Google Scholar
  9. [9]
    Liu, C.G., Estrin, D., Shenker, S., Zhang, L.: Local Error Recovery in SRM: Comparison of Two Approaches. IEEE/ACM Transactions on Networking 6 (1998) 686–692CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2002

Authors and Affiliations

  • Carolos Livadas
    • 1
  • Nancy A. Lynch
    • 1
  1. 1.Laboratory for Computer ScienceMassachusetts Institute of TechnologyUSA

Personalised recommendations