Geometric Bounds: A Noniterative Analysis Technique for Closed Queueing Networks

We propose the Geometric Bounds (GBs), a new family of fast and accurate noniterative bounds on closed queueing network performance metrics that can be used in the online optimization of distributed applications. Compared to state-of-the-art techniques such as the Balanced Job Bounds (BJBs), GB achieves higher accuracy at similar computational costs, limiting the worst- case bounding error typically within 5-13 percent when, for the BJB, it is usually in the range of 15-35 percent. Optimization problems that are solved with GBs return solutions that are much closer to the global optimum than with existing bounds. We also show that the GB technique generalizes as an accurate approximation to closed fork-join networks commonly used in disk, parallel, and database models, thus extending the applicability of the method beyond the optimization of basic product-form networks.

[1]  J. Little A Proof for the Queuing Formula: L = λW , 1961 .

[2]  K. Mani Chandy,et al.  Open, Closed, and Mixed Networks of Queues with Different Classes of Customers , 1975, JACM.

[3]  Hisashi Kobayashi,et al.  Modeling and analysis , 1978 .

[4]  Peter J. Denning,et al.  The Operational Analysis of Queueing Network Models , 1978, CSUR.

[5]  Yonathan Bard,et al.  Some Extensions to Multiclass Queueing Network Analysis , 1979, Performance.

[6]  Stephen S. Lavenberg,et al.  Mean-Value Analysis of Closed Multichain Queuing Networks , 1980, JACM.

[7]  John Zahorjan,et al.  Balanced job bound analysis of queueing networks , 1982, CACM.

[8]  K. Mani Chandy,et al.  Linearizer: a heuristic algorithm for queueing network models of computing systems , 1982, CACM.

[9]  Derek L. Eager,et al.  Performance bound hierarchies for queueing networks , 1982, Measurement and Modeling of Computer Systems.

[10]  Lester Lipsky,et al.  On the asymptotic behavior of time-sharing systems , 1982, CACM.

[11]  Jiri Kriz,et al.  Throughput bounds for closed queueing networks , 1984, Perform. Evaluation.

[12]  Derek L. Eager,et al.  Throughput Concavity and Response Time Convexity , 1984, Inf. Process. Lett..

[13]  Derek L. Eager,et al.  Bound hierarchies for multiple-class queuing networks , 1986, JACM.

[14]  Simon S. Lam,et al.  Two Classes of Performance Bounds for Closed Queueing Networks , 1987, Perform. Evaluation.

[15]  Mandyam M. Srinivasan Successively Improving Bounds on Performance Measures for Single Class Product Form Queueing Networks , 1987, IEEE Transactions on Computers.

[16]  Brian W. Kernighan,et al.  AMPL: A Modeling Language for Mathematical Programming , 1993 .

[17]  Christodoulos A. Floudas,et al.  Nonlinear and Mixed-Integer Optimization , 1995 .

[18]  Giuseppe Serazzi,et al.  Asymptotic Analysis of Multiclass Closed Queueing Networks: Common Bottleneck , 1996, Perform. Evaluation.

[19]  Richard R. Muntz,et al.  Bounding errors introduced by clustering of customers in closed product-form queuing networks , 1996, JACM.

[20]  Elizabeth Varki,et al.  Analysis of balanced fork-join queueing networks , 1996, SIGMETRICS '96.

[21]  Alexander Thomasian,et al.  RAID5 Performance with Distributed Sparing , 1997, IEEE Trans. Parallel Distributed Syst..

[22]  Donald F. Towsley,et al.  Computing Performance Bounds of Fork-Join Parallel Programs Under a Multiprocessing Environment , 1998, IEEE Trans. Parallel Distributed Syst..

[23]  Arie Harel,et al.  Simple bounds for closed queueing networks , 1999, Queueing Syst. Theory Appl..

[24]  Elizabeth Varki Mean value technique for closed fork-join networks , 1999, SIGMETRICS '99.

[25]  Elizabeth Varki,et al.  Response Time Analysis of Parallel Computer and Storage Systems , 2001, IEEE Trans. Parallel Distributed Syst..

[26]  Arif Merchant,et al.  Minerva: An automated resource provisioning tool for large-scale storage systems , 2001, TOCS.

[27]  Shang Zhi,et al.  A proof of the queueing formula: L=λW , 2001 .

[28]  Stefano Paraboschi,et al.  Effective Scheduling of Detached Rules in Active Databases , 2003, IEEE Trans. Knowl. Data Eng..

[29]  Samuel Kounev,et al.  Performance Modeling and Evaluation of Large-Scale J2EE Applications , 2003, Int. CMG Conference.

[30]  Ravishankar K. Iyer,et al.  A system model for dynamically reconfigurable software , 2003, IBM Syst. J..

[31]  Fan Zhang,et al.  Parameter inference of queueing models for IT systems using end-to-end measurements , 2004, SIGMETRICS '04/Performance '04.

[32]  Arif Merchant,et al.  Issues and challenges in the performance analysis of real disk arrays , 2004, IEEE Transactions on Parallel and Distributed Systems.

[33]  Daniel A. Menascé,et al.  Resource Allocation for Autonomic Data Centers using Analytic Performance Models , 2005, Second International Conference on Autonomic Computing (ICAC'05).

[34]  Anand Sivasubramaniam,et al.  Managing server energy and operational costs in hosting centers , 2005, SIGMETRICS '05.

[35]  Gunter Bolch,et al.  Queueing Networks and Markov Chains , 2005 .

[36]  PacificiGiovanni,et al.  An analytical model for multi-tier internet services and its applications , 2005 .

[37]  Asser N. Tantawi,et al.  An analytical model for multi-tier internet services and its applications , 2005, SIGMETRICS '05.

[38]  Giuseppe Serazzi,et al.  Java Modelling Tools: an Open Source Suite for Queueing Network Modelling andWorkload Analysis , 2006, Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).

[39]  Gérard Cornuéjols,et al.  An algorithmic framework for convex mixed integer nonlinear programs , 2008, Discret. Optim..