Performance Analysis of Queueing Networks via Robust Optimization

Performance analysis of queueing networks is one of the most challenging areas of queueing theory. Barring very specialized models such as product-form type queueing networks, there exist very few results that provide provable nonasymptotic upper and lower bounds on key performance measures. In this paper we propose a new performance analysis method, which is based on the robust optimization. The basic premise of our approach is as follows: rather than assuming that the stochastic primitives of a queueing model satisfy certain probability laws---such as i.i.d. interarrival and service times distributions---we assume that the underlying primitives are deterministic and satisfy the implications of such probability laws. These implications take the form of simple linear constraints, namely, those motivated by the law of the iterated logarithm (LIL). Using this approach we are able to obtain performance bounds on some key performance measures. Furthermore, these performance bounds imply similar bounds in the underlying stochastic queueing models. We demonstrate our approach on two types of queueing networks: (a) tandem single-class queueing network and (b) multiclass single-server queueing network. In both cases, using the proposed robust optimization approach, we are able to obtain explicit upper bounds on some steady-state performance measures. For example, for the case of TSC system we obtain a bound of the form C(1-ρ)-1 ln ln((1-ρ)-1) on the expected steady-state sojourn time, where C is an explicit constant and ρ is the bottleneck traffic intensity. This qualitatively agrees with the correct heavy traffic scaling of this performance measure up to the ln ln((1-ρ)-1) correction factor.

[1]  Damon Wischik,et al.  Big queues , 2004, Lecture notes in mathematics.

[2]  David Gamarnik Using fluid models to prove stability of adversarial queueing networks , 2000, IEEE Trans. Autom. Control..

[3]  Dimitris Bertsimas,et al.  Optimization of Multiclass Queueing Networks with Changeover Times Via the Achievable Region Approach: Part I, the Single-Station Case , 1999 .

[4]  Melvyn Sim,et al.  Robust discrete optimization and network flows , 2003, Math. Program..

[5]  Abhay Parekh,et al.  A generalized processor sharing approach to flow control in integrated services networks-the multiple node case , 1993, IEEE INFOCOM '93 The Conference on Computer Communications, Proceedings.

[6]  Kai Lai Chung,et al.  A Course in Probability Theory , 1949 .

[7]  Damon Wischik,et al.  Big Queues, Springer Lecture Notes in Mathematics , 2004 .

[8]  Nsf Ncr,et al.  A Generalized Processor Sharing Approach to Flow Control in Integrated Services Networks: The Single Node Case* , 1991 .

[9]  J. Tsitsiklis,et al.  Performance of Multiclass Markovian Queueing Networks Via Piecewise Linear Lyapunov Functions , 2001 .

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

[11]  John N. Tsitsiklis,et al.  Optimization of multiclass queuing networks: polyhedral and nonlinear characterizations of achievable performance , 1994 .

[12]  J. Turner,et al.  New directions in communications (or which way to the information age?) , 1986, IEEE Communications Magazine.

[13]  Melvyn Sim,et al.  The Price of Robustness , 2004, Oper. Res..

[14]  David Gamarnik,et al.  Stability of adaptive and non-adaptive packet routing policies in adversarial queueing networks , 1999, STOC '99.

[15]  P. R. Kumar,et al.  Performance bounds for queueing networks and scheduling policies , 1994, IEEE Trans. Autom. Control..

[16]  P. Kumar,et al.  The throughput of irreducible closed Markovian queueing networks: functional bounds, asymptotic loss, efficiency, and the Harrison-Wein conjectures , 1997 .

[17]  D. Yao,et al.  Fundamentals of Queueing Networks: Performance, Asymptotics, and Optimization , 2001, IEEE Transactions on Automatic Control.

[18]  J. Harrison Brownian models of open processing networks: canonical representation of workload , 2000 .

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

[20]  Martin I. Reiman,et al.  Open Queueing Networks in Heavy Traffic , 1984, Math. Oper. Res..

[21]  K. Sigman The stability of open queueing networks , 1990 .

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

[23]  David Gamarnik,et al.  Validity of Heavy Traffic Steady-State Approximations in Open Queueing Networks , 2004 .

[24]  J. Michael Harrison,et al.  Stochastic Networks and Activity Analysis , 2002 .

[25]  Allen L. Soyster,et al.  Technical Note - Convex Programming with Set-Inclusive Constraints and Applications to Inexact Linear Programming , 1973, Oper. Res..

[26]  Leonard Kleinrock,et al.  Theory, Volume 1, Queueing Systems , 1975 .

[27]  Adam Shwartz,et al.  Large Deviations For Performance Analysis , 2019 .

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

[29]  Sean P. Meyn,et al.  Stability and convergence of moments for multiclass queueing networks via fluid limit models , 1995, IEEE Trans. Autom. Control..

[30]  Richard L. Tweedie,et al.  Markov Chains and Stochastic Stability , 1993, Communications and Control Engineering Series.

[31]  Baruch Awerbuch,et al.  Universal-stability results and performance bounds for greedy contention-resolution protocols , 2001, JACM.

[32]  D. Gamarnik,et al.  Validity of heavy traffic steady-state approximations in generalized Jackson networks , 2004, math/0410066.

[33]  David D. Yao,et al.  Fundamentals of Queueing Networks , 2001 .

[34]  J. R. Morrison,et al.  New Linear Program Performance Bounds for Queueing Networks , 1999 .

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

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

[37]  J. Harrison,et al.  Brownian motion and stochastic flow systems , 1986 .

[38]  David Gamarnik Stability of Adaptive and Nonadaptive Packet Routing Policies in Adversarial Queueing Networks , 2003, SIAM J. Comput..

[39]  Allan Borodin,et al.  Adversarial queuing theory , 2001, JACM.

[40]  Abhay Parekh,et al.  A generalized processor sharing approach to flow control in integrated services networks: the single-node case , 1993, TNET.

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

[42]  Rene L. Cruz,et al.  A calculus for network delay, Part I: Network elements in isolation , 1991, IEEE Trans. Inf. Theory.

[43]  S. Wittevrongel,et al.  Queueing Systems , 2019, Introduction to Stochastic Processes and Simulation.

[44]  Arkadi Nemirovski,et al.  Robust solutions of uncertain linear programs , 1999, Oper. Res. Lett..

[45]  Thomas G. Kurtz,et al.  A multiclass Station with Markovian Feedback in Heavy Traffic , 1995, Math. Oper. Res..

[46]  Tom Burr,et al.  Introduction to Matrix Analytic Methods in Stochastic Modeling , 2001, Technometrics.

[47]  Arkadi Nemirovski,et al.  Robust Convex Optimization , 1998, Math. Oper. Res..

[48]  Dimitris Bertsimas,et al.  Optimization of Multiclass Queueing Networks with Changeover Times Via the Achievable Region Method: Part II, the Multi-Station Case , 1998 .

[49]  Michel Mandjes,et al.  Large Deviations for Performance Analysis: Queues, Communications, and Computing , Adam Shwartz and Alan Weiss (New York: Chapman and Hall, 1995). , 1996, Probability in the Engineering and Informational Sciences.