STOCHASTIC DIFFERENTIAL EQUATION FOR TCP WINDOW SIZE: ANALYSIS AND EXPERIMENTAL VALIDATION

In this paper we develop a stochastic differential equation to describe the dynamic evolution of the congestion window size of a single TCP session over a network. The model takes into account recovery from packet losses with both fast recovery and time-outs, boundary behavior at zero and maximum window size, and slow-start after time-outs. We solve the differential equation to derive the distribution of the window size in steady state. We compare the model predictions with the output from the NS simulator.

[1]  Larry L. Peterson,et al.  Understanding TCP Vegas: a duality model , 2001, JACM.

[2]  Mark Handley,et al.  Equation-based congestion control for unicast applications , 2000, SIGCOMM.

[3]  Frank Kelly,et al.  Rate control for communication networks: shadow prices, proportional fairness and stability , 1998, J. Oper. Res. Soc..

[4]  Eitan Altman,et al.  TCP in presence of bursty losses , 2000, SIGMETRICS '00.

[5]  T. V. Lakshman,et al.  The performance of TCP/IP for networks with high bandwidth-delay products and random loss , 1997, TNET.

[6]  Matthew Mathis,et al.  The stationary behavior of ideal TCP congestion avoidance , 1996 .

[7]  F. Guillemin,et al.  A Markovian analysis of additive-increase multiplicative-decrease algorithms , 2002, Advances in Applied Probability.

[8]  Alhussein A. Abouzeid,et al.  Stochastic modeling of TCP over lossy links , 2000, Proceedings IEEE INFOCOM 2000. Conference on Computer Communications. Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies (Cat. No.00CH37064).

[9]  Van Jacobson,et al.  Traffic phase effects in packet-switched gateways , 1991, CCRV.

[10]  Eitan Altman,et al.  Analysis of two competing TCP/IP connections , 2002, Perform. Evaluation.

[11]  Sally Floyd,et al.  Connections with multiple congested gateways in packet-switched networks part 1: one-way traffic , 1991, CCRV.

[12]  Vishal Misra,et al.  Fluid-based analysis of a network of AQM routers supporting TCP flows with an application to RED , 2000, SIGCOMM.

[13]  Michele Zorzi,et al.  Performance Analysis of TCP on Channels with Memory , 1998 .

[14]  Donald F. Towsley,et al.  On designing improved controllers for AQM routers supporting TCP flows , 2001, Proceedings IEEE INFOCOM 2001. Conference on Computer Communications. Twentieth Annual Joint Conference of the IEEE Computer and Communications Society (Cat. No.01CH37213).

[15]  Stefan Savage,et al.  Modeling TCP latency , 2000, Proceedings IEEE INFOCOM 2000. Conference on Computer Communications. Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies (Cat. No.00CH37064).

[16]  Donald F. Towsley,et al.  Modeling TCP throughput: a simple model and its empirical validation , 1998, SIGCOMM '98.

[17]  Deborah Estrin,et al.  Advances in network simulation , 2000, Computer.

[18]  Joerg Widmer,et al.  Equation-based congestion control , 2000 .

[19]  Matthew Mathis,et al.  The macroscopic behavior of the TCP congestion avoidance algorithm , 1997, CCRV.

[20]  Donald F. Towsley,et al.  On achievable service differentiation with token bucket marking for TCP , 2000, SIGMETRICS '00.

[21]  SemkeJeffrey,et al.  The macroscopic behavior of the TCP congestion avoidance algorithm , 1997 .

[22]  Biplab Sikdar,et al.  Analytic models and comparative study of the latency and steady-state throughput of TCP Tahoe, Reno and SACK , 2001, GLOBECOM'01. IEEE Global Telecommunications Conference (Cat. No.01CH37270).

[23]  Hans-Peter Schwefel,et al.  Behavior of TCP-like elastic traffic at a buffered bottleneck router , 2001, Proceedings IEEE INFOCOM 2001. Conference on Computer Communications. Twentieth Annual Joint Conference of the IEEE Computer and Communications Society (Cat. No.01CH37213).

[24]  Biplab Sikdar,et al.  An integrated model for the latency and steady-state throughput of TCP connections , 2001, Perform. Evaluation.

[25]  Steven H. Low,et al.  A duality model of TCP and queue management algorithms , 2003, TNET.

[26]  Marco Ajmone Marsan,et al.  A detailed and accurate closed queueing network model of many interacting TCP flows , 2001, Proceedings IEEE INFOCOM 2001. Conference on Computer Communications. Twentieth Annual Joint Conference of the IEEE Computer and Communications Society (Cat. No.01CH37213).

[27]  T. V. Lakshman,et al.  Window-based error recovery and flow control with a slow acknowledgement channel: a study of TCP/IP performance , 1997, Proceedings of INFOCOM '97.

[28]  Alhussein A. Abouzeid,et al.  Stochastic Modeling of TCP/IP over Random Loss Channels , 1999, HiPC.

[29]  Donald F. Towsley,et al.  Modeling TCP Reno performance: a simple model and its empirical validation , 2000, TNET.

[30]  Eitan Altman,et al.  TCP network calculus: the case of large delay-bandwidth product , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[31]  Yang Richard Yang,et al.  General AIMD congestion control , 2000, Proceedings 2000 International Conference on Network Protocols.

[32]  S. Savari,et al.  The behavior of stochastic processes arising in window protocols , 1999, 1999 Information Theory and Networking Workshop (Cat. No.99EX371).

[33]  FloydSally.  Connections with multiple congested gateways in packet-switched networks part 1 , 1991 .

[34]  Walter Willinger,et al.  Self-similarity through high-variability: statistical analysis of Ethernet LAN traffic at the source level , 1997, TNET.

[35]  Sally Floyd,et al.  Promoting the use of end-to-end congestion control in the Internet , 1999, TNET.

[36]  A. Chockalingam,et al.  Throughput analysis of TCP on channels with memory , 2000, IEEE Journal on Selected Areas in Communications.

[37]  Donald F. Towsley,et al.  A control theoretic analysis of RED , 2001, Proceedings IEEE INFOCOM 2001. Conference on Computer Communications. Twentieth Annual Joint Conference of the IEEE Computer and Communications Society (Cat. No.01CH37213).

[38]  Anja Feldmann,et al.  Dynamics of IP traffic: a study of the role of variability and the impact of control , 1999, SIGCOMM '99.

[39]  Rajmohan Rajaraman,et al.  Towards More Complete Models of TCP Latency and Throughput , 2001, The Journal of Supercomputing.

[40]  Leandros Tassiulas,et al.  On the behavior of different TCP algorithms over a wireless channel with correlated packet losses , 1999, SIGMETRICS '99.

[41]  Vishal Misra,et al.  Fluid-based analysis of a network of AQM routers supporting TCP flows with an application to RED , 2000, SIGCOMM 2000.

[42]  Anurag Kumar,et al.  Comparative performance analysis of versions of TCP in a local network with a lossy link , 1998, TNET.

[43]  T. V. Lakshman,et al.  TCP/IP performance with random loss and bidirectional congestion , 2000, TNET.

[44]  François Baccelli,et al.  AIMD, fairness and fractal scaling of TCP traffic , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[45]  Eitan Altman,et al.  A stochastic model of TCP/IP with stationary random losses , 2005, TNET.

[46]  Archan Misra,et al.  The window distribution of idealized TCP congestion avoidance with variable packet loss , 1999, IEEE INFOCOM '99. Conference on Computer Communications. Proceedings. Eighteenth Annual Joint Conference of the IEEE Computer and Communications Societies. The Future is Now (Cat. No.99CH36320).

[47]  Min Sik Kim,et al.  Transient behaviors of TCP-friendly congestion control protocols , 2003, Proceedings IEEE INFOCOM 2001. Conference on Computer Communications. Twentieth Annual Joint Conference of the IEEE Computer and Communications Society (Cat. No.01CH37213).

[48]  Roch Guérin,et al.  Predicting TCP throughput from non-invasive network sampling , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[49]  C. Barakat.  TCP/IP modeling and validation , 2001 .

[50]  Philippe Robert,et al.  Limit results for Markovian models of TCP , 2001, GLOBECOM'01. IEEE Global Telecommunications Conference (Cat. No.01CH37270).

[51]  Chadi Barakat,et al.  A stochastic model of TCP/IP with stationary random losses , 2000, TNET.