Convergence of the Fixed Point Algorithm of Analytical Models of Reliable Internet Protocols (TCP)
- 796 Downloads
Analytical models are important tools for the performance investigation of the Internet. The literature shows that the fixed point algorithm (FPA) is one of the most useful ways of solving analytical models of Internet performance.
Apart from what is observed in experimental literature, no comprehensive proof of the convergence and uniqueness of the FPA is given. In this paper we show how analytical models of reliable Internet protocols (TCP) converge to a unique fixed point. Unlike previous work in the literature the basic principles of our proof apply to both single and multiple bottleneck networks, to short and long-lived TCP connections and to both Drop Tail and Active Queue Management (AQM) routers. Our proof of convergence is based on a well known fixed point theorem and our uniqueness proof exploits the feedback nature of the reliable protocol.
The paper specifies conditions under which the FPA of analytical models of TCP converges to a unique point. The concepts used in the proof can also be extended to analyze the equilibrium, stability and global uniqueness issues of TCP, other reliable protocols and the Internet as a whole.
KeywordsAnalytical models Internet TCP fixed point convergence equilibrium stability
- 1.Baccelli, F., McDonald, D.: A square root formula for the rate of non-persistent TCP flows. In: First Conference on Next Generation Internet Networks (NGI 2005), Rome, Italy, April 2005, pp. 171–176 (2005)Google Scholar
- 3.Bu, T., Towsley, D.: Fixed point approximations for TCP behavior in an AQM network. In: Proceedings of ACM SIGMETRICS, Cambridge, Massachusetts, USA (June 2001)Google Scholar
- 5.Gibbens, R., Sargood, S., Van Eijl, C., Kelly, F., Azmoodeh, H., Macfadyen, R., Macfadyen, N.: Fixed-point models for the end-to-end performance analysis of IP networks. In: Proceedings of 13th ITC Special Seminar: IP Traffic Management, Modeling and Management, Monterey, California (September 2000)Google Scholar
- 6.Herings, J.J., van der Laan, G., Talman, D., Yang, Z.: A fixed point theorem for discontinuous functions. Tinbergen Institute Discussion Papers 05-004/1, Department of Econometrics and Tinbergen Institute, Vrije Universiteit, De Boelelaan 1105, 1081, HV, Amsterdam, The Netherlands (December 2004)Google Scholar
- 7.Kaj, I., Olsén, J.: Stochastic equilibrium modeling of the TCP dynamics in various AQM environments. In: International Symposium on Performance Evaluation of Computer and Telecommunication Systems (SPECTS 2002), San Diego, USA (July 2002)Google Scholar
- 8.Kelly, C.T.: Engineering flow controls for the Internet, A dissertation submitted to the Cambridge University for the degree of Doctor of Philosophy. PhD thesis, Laboratory for Communication Engineering, Department of Engineering, Cambridge University (2004)Google Scholar
- 9.Meo, M., Garetto, M., Marsan, M.A., Lo Cigno, R.: On the use of fixed point approximations to study reliable protocols over congested links. In: Globecom, San Francisco, USA (December 2003)Google Scholar
- 10.Olsén, J.: Stochastic Modeling and Simulation of the TCP Protocol. PhD thesis, Department of Mathematics, Uppsala University, Box 480, SE-751 06, Uppsala, Sweden (2003)Google Scholar
- 12.Tang, A., Wang, J., Low, S.H., Chiang, M.: Network equilibrium of heterogeneous congestion control protocols. In: IEEE INFOCOM, Miami, FL USA (March 2005)Google Scholar