Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
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–803
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–341
Lin, J.C., Paul, S.: RMTP: Reliable Multicast Transport Protocol. In: Proc. IEEE/INFOCOM’96. Volume 3. (1996) 1414–1424
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–421
Papadopoulos, C., Parulkar, G., Varghese, G.: An Error Control Scheme For Large-Scale Multicast Applications. In: Proc. IEEE/INFOCOM’98. Volume 3. (1998) 1188–1196
Li, D., Cheriton, D.R.: OTERS (On-Tree Efficient Recovery using Subcasting): A Reliable Multicast Protocol. In: Proc. IEEE/ICNP’98. (1998) 237–245
Livadas, C., Lynch, N.A.: A Formal Venture into Reliable Multicast Territory. Technical Report, Lab. for Computer Science, MIT (2002)
Lynch, N.A.: Distributed Algorithms. Morgan Kaufmann Publishers, Inc. (1996)
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–692
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Livadas, C., Lynch, N.A. (2002). A Formal Venture into Reliable Multicast Territory. In: Peled, D.A., Vardi, M.Y. (eds) Formal Techniques for Networked and Distributed Sytems — FORTE 2002. FORTE 2002. Lecture Notes in Computer Science, vol 2529. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36135-9_10
Download citation
DOI: https://doi.org/10.1007/3-540-36135-9_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00141-6
Online ISBN: 978-3-540-36135-0
eBook Packages: Springer Book Archive