Time-scale decomposition and equivalent rate-based marking

Differential equation models for Internet congestion control algorithms have been widely used to understand network dynamics and the design of router algorithms. These models use a fluid approximation for user data traffic and describe the dynamics of the router queue and user adaptation through coupled differential equations. The interaction between the routers and flows occurs through marking, where routers indicate congestion by appropriately marking packets during congestion.In this paper, we show that the randomness due to short and unresponsive flows in the Internet is sufficient to decouple the dynamics of the router queues from those of the end controllers. This implies that a time-scale decomposition naturally occurs such that the dynamics of the router manifest only through their statistical steady-state behavior. We show that this time-scale decomposition implies that a queue-length based marking function (e.g., RED-like and REM-like algorithms, which have no queue averaging, but depend only on the instantaneous queue length) has an equivalent form which depends only on the data arrival rate from the end-systems and does not depend on the queue dynamics. This leads to much simpler dynamics of the differential equation models (there is no queueing dynamics to consider), which enables easier analysis and could be potentially used for low-complexity fast simulation.Using packet-based simulations, we study queue-based marking schemes and their equivalent rate-based marking schemes for different types of controlled sources (i.e., proportional fair and TCP) and queue-based marking schemes. Our results indicate a good match in the rates observed at the intermediate router with the queue-based marking function and the corresponding rate-based approximation. Further, the window size distributions of a typical TCP flow with a queue-based marking function as well as the equivalent rate-based marking function match closely, indicating that replacing a queue-based marking function by its equivalent rate-based function does not statistically affect the end host's behavior.

[1]  Jin Cao,et al.  A Poisson limit for buffer overflow probabilities , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

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

[3]  Ramesh Johari,et al.  End-to-end congestion control for the internet: delays and stability , 2001, TNET.

[4]  R. Srikant,et al.  Stability and convergence of TCP-like congestion controllers in a many-flows regime , 2003, IEEE INFOCOM 2003. Twenty-second Annual Joint Conference of the IEEE Computer and Communications Societies (IEEE Cat. No.03CH37428).

[5]  Sally Floyd.  Thoughts on the Evolution of TCP in the Internet , 2004 .

[6]  Michel Mandjes,et al.  Large Deviations for Small Buffers: An Insensitivity Result , 2001, Queueing Syst. Theory Appl..

[7]  Steven H. Low,et al.  REM: active queue management , 2001, IEEE Netw..

[8]  Ronald W. Wolff,et al.  Stochastic Modeling and the Theory of Queues , 1989 .

[9]  R. Srikant,et al.  Rate-based versus queue-based models of congestion control , 2004, IEEE Transactions on Automatic Control.

[10]  R. Srikant,et al.  End-to-end congestion control schemes: utility functions, random losses and ECN marks , 2000, Proceedings IEEE INFOCOM 2000. Conference on Computer Communications. Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies (Cat. No.00CH37064).

[11]  Donald F. Towsley,et al.  Unresponsive flows and AQM performance , 2003, IEEE INFOCOM 2003. Twenty-second Annual Joint Conference of the IEEE Computer and Communications Societies (IEEE Cat. No.03CH37428).

[12]  Jennifer C. Hou,et al.  Network calculus based simulation for TCP congestion control: theorems, implementation and evaluation , 2004, IEEE INFOCOM 2004.

[13]  Van Jacobson,et al.  Random early detection gateways for congestion avoidance , 1993, TNET.

[14]  Fernando Paganini,et al.  Internet congestion control , 2002 .

[15]  S. Resnick.  Adventures in stochastic processes , 1992 .

[16]  Ugo Mocci,et al.  Broadband Network Teletraffic: Final Report of Action COST 242 , 1996 .

[17]  Fernando Paganini,et al.  Dynamics of TCP/RED and a scalable control , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[18]  P. Billingsley,et al.  Convergence of Probability Measures , 1969 .

[19]  Rayadurgam Srikant,et al.  Analysis and design of an adaptive virtual queue (AVQ) algorithm for active queue management , 2001, SIGCOMM.

[20]  Armand M. Makowski,et al.  Limit behavior of ECN/RED gateways under a large number of TCP flows , 2003, IEEE INFOCOM 2003. Twenty-second Annual Joint Conference of the IEEE Computer and Communications Societies (IEEE Cat. No.03CH37428).

[21]  J. T. Virtamo.  Numerical evaluation of the distribution of unfinished work in an M/D/1 system , 1995 .

[22]  Frank Kelly,et al.  Mathematical modeling of the Internet , 1999 .

[23]  R. Srikant,et al.  How good are deterministic fluid models of Internet congestion control? , 2002, Proceedings.Twenty-First Annual Joint Conference of the IEEE Computer and Communications Societies.

[24]  R. Srikant,et al.  Mean FDE models for Internet congestion control under a many-flows regime , 2004, IEEE Transactions on Information Theory.

[25]  Walter L. Smith,et al.  Regenerative stochastic processes , 1955, Proceedings of the Royal Society of London. Series A. Mathematical and Physical Sciences.

[26]  R. Srikant,et al.  An adaptive virtual queue (AVQ) algorithm for active queue management , 2004, IEEE/ACM Transactions on Networking.

[27]  Daryl J. Daley,et al.  An Introduction to the Theory of Point Processes , 2013 .

[28]  Frank Kelly,et al.  Mathematical Modelling of the Internet , 2001 .

[29]  Frank Kelly,et al.  Models for a self–managed Internet , 2000, Philosophical Transactions of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.