Abstract
This chapter presents a distributed program that implements the reliable transport service (Chap. 20) over an LRD (loss, reorder, duplication) channel, as illustrated in Fig. 21.1. In computer networking, such a program is referred to as a transport protocol. Following this terminology, we refer to the system at each address as a “tp” system, where “tp” is short for transport protocol. We refer to the messages exchanged between tp users as “data blocks”, and reserve the term “messages” for the messages exchanged between the tp systems; the former would be sent inside the latter.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
R. Braden, T/TCP–TCP extensions for transactions functional specification. Technical Report, RFC 1644, Internet Engineering Task Force, 1994. http://tools.ietf.org/html/rfc1644
D. Comer, Principles, Protocols, and Architectures. Internetworking with TCP/IP, vol. 1, 4th edn. (Prentice-Hall, Englewood Cliffs, 2000)
S.L. Murphy, A.U. Shankar, Connection management for the transport layer: service specification and protocol verification. IEEE Trans. Commun. 39(12), 1762–1775 (1991). doi:10.1109/26.120163. Earlier version in Proceedings ACM SIGCOMM ’87 Workshop, Stowe, Vermont, August, 1987
A.L. Oláh, Design and analysis of transport protocols for reliable high-speed communications. Ph.D. thesis, University of Twente, Enschede, 1997. http://doc.utwente.nl/13676/
A.L. Oláh, S.M. Heemstra de Groot, Comments on “minimum-latency transport protocols with modulo-n incarnation numbers”. IEEE/ACM Trans. Netw. 4(4), 660–666 (1996). doi:http://dx.doi.org/10.1109/90.532874
A.L. Oláh, S.M.H.d. Groot, Assertional verification of a connection management protocol, in Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII (Chapman & Hall, Ltd., London, 1996), pp. 401–416. http://dl.acm.org/citation.cfm?id=646214.681518
J. Postel, Transmission control protocol: protocol specification. Technical Report, RFC 793, Internet Engineering Task Force, 1981. http://www.ietf.org/rfc/rfc793.txt
A.U. Shankar, D. Lee, Minimum-latency transport protocols with modulo-n incarnation numbers. IEEE/ACM Trans. Netw. 3(3), 255–268 (1995). doi:10.1109/90.392385. http://dx.doi.org/10.1109/90.392385
M. Stacey, I. Griffin, J. Nelson, T/TCP: TCP for transactions. Linux J. 70, (2000). http://www.linuxjournal.com/article/3075
W.R. Stevens, Networking APIs: Sockets and XTI. UNIX Network Programming, vol. 1, 2nd edn. (Prentice-Hall, Upper Saddle River, 1998). Chapter 4, ISBN 0-13-490012-X
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer Science+Business Media New York
About this chapter
Cite this chapter
Shankar, A.U. (2013). Reliable Transport Protocol. In: Distributed Programming. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-4881-5_21
Download citation
DOI: https://doi.org/10.1007/978-1-4614-4881-5_21
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4614-4880-8
Online ISBN: 978-1-4614-4881-5
eBook Packages: Computer ScienceComputer Science (R0)