Stability of adversarial queues via fluid models

The subject of this paper is stability properties of adversarial queueing networks. Such queueing systems are used to model packet switch communication networks, in which packets are generated and routed dynamically, and have become a subject of research focus recently. Adversarial queueing networks are defined to be stable, if the number of packets stays bounded over time. A central question is determining which adversarial queueing networks are stable, when an arbitrary greedy packet routing policy is implemented. In this paper we show how stability of a queueing network can be determined by considering an associated fluid models. Our main result is that the stability of the fluid model implies the stability of an underlying adversarial queueing network. This opens an opportunity for analyzing stability of adversarial networks, using established stability methods from continuous time processes, for example, the method of Lyapunov function or trajectory decomposition. We demonstrate the use of these methods on several examples.

[1]  Sean P. Meyn,et al.  Piecewise linear test functions for stability and instability of queueing networks , 1997, Queueing Syst. Theory Appl..

[2]  Sean P. Meyn,et al.  Stability of acyclic multiclass queueing networks , 1995, IEEE Trans. Autom. Control..

[3]  Rene L. Cruz,et al.  A calculus for network delay, Part II: Network analysis , 1991, IEEE Trans. Inf. Theory.

[4]  Hong Chen,et al.  Stability of Multiclass Queueing Networks Under FIFO Service Discipline , 1997, Math. Oper. Res..

[5]  Allan Borodin,et al.  Adversarial queueing theory , 1996, STOC '96.

[6]  Gideon Weiss,et al.  Stability and Instability of Fluid Models for Reentrant Lines , 1996, Math. Oper. Res..

[7]  Ashish Goel Stability of networks and protocols in the adversarial queueing model for packet routing , 1999, SODA '99.

[8]  J. Tsitsiklis,et al.  Stability and performance of multiclass queueing networks , 1998 .

[9]  Sean P. Meyn Transience of Multiclass Queueing Networks Via Fluid Limit Models , 1995 .

[10]  Maury Bramson,et al.  Convergence to equilibria for fluid models of FIFO queueing networks , 1996, Queueing Syst. Theory Appl..

[11]  J. Tsitsiklis,et al.  Stability conditions for multiclass fluid queueing networks , 1996, IEEE Trans. Autom. Control..

[12]  Ann Appl,et al.  On the Positive Harris Recurrence for Multiclass Queueing Networks: a Uniied Approach via Uid Limit Models , 1999 .

[13]  Baruch Awerbuch,et al.  Universal stability results for greedy contention-resolution protocols , 1996, Proceedings of 37th Conference on Foundations of Computer Science.

[14]  J. Dai On Positive Harris Recurrence of Multiclass Queueing Networks: A Unified Approach Via Fluid Limit Models , 1995 .

[15]  Leandros Tassiulas,et al.  Any work-conserving policy stabilizes the ring with spatial re-use , 1996, TNET.

[16]  John H. Vande Vate,et al.  The Stability of Two-Station Multitype Fluid Networks , 2000, Oper. Res..

[17]  G. Dai A Fluid-limit Model Criterion for Instability of Multiclass Queueing Networks , 1996 .

[18]  Hong Chen Fluid Approximations and Stability of Multiclass Queueing Networks: Work-Conserving Disciplines , 1995 .