Duality and linear programs for stability and performance analysis of queuing networks and scheduling policies

被引:63
作者
Kumar, PR [1 ]
Meyn, SP [1 ]
机构
[1] UNIV ILLINOIS,COORDINATED SCI LAB,URBANA,IL 61801
基金
美国国家科学基金会;
关键词
SYSTEMS;
D O I
10.1109/9.481604
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
We consider the problems of performance analysis and stability/instability determination of queuing networks and scheduling policies, We exhibit a strong duality relationship between the performance of a system and its stability analysis via mean drift, We obtain a variety of linear programs to conduct such stability and performance analyses. A certain LP (linear program), called the Performance LP, bounds the performance of all stationary nonidling scheduling policies, If it is bounded, then its dual, called the Drift LP, has a feasible solution which is a copositive matrix, The quadratic form associated with this copositive matrix has a negative drift, showing that all stationary nonidling scheduling policies result in a geometrically converging exponential moment. Some systems satisfy an auxiliary set of linear constraints, Examples are systems operating under buffer priority policies or incorporating models of machine failures, Their performance is also bounded by a Performance LP, provided that they are stable, i.e., have a finite first moment for the number of parts, If the Performance LP is infeasible, then the system is unstable, Any feasible solution to the dual of the Performance LP provides a quadratic form with a negative drift, If this quadratic form is copositive, then the system is geometrically ergodic as above, If not, the system is either unstable or else is highly nonrobust in that arbitrarily small perturbations can lead to an unstable system, One can use known algorithms to check the copositivity of the required matrix. These results carry over to fluid models, allowing the study of networks with nonexponential distributions. There is another LP test of stability that avoids a copositivity check, If a modification of the Performance LP, called the Monotone LP, is bounded, then the system is stable, Moreover, the stability holds for all smaller arrival rates. Finally, there is a another modification of the Performance LP, called the Finite Time LP, It provides transient bounds on the performance of the system from any initial condition.
引用
收藏
页码:4 / 17
页数:14
相关论文
共 33 条
  • [1] ANDERSSON L, 1993, LITHMATR9327 LINK U
  • [2] [Anonymous], 1993, Comm. Control Engrg. Ser.
  • [3] OPEN, CLOSED, AND MIXED NETWORKS OF QUEUES WITH DIFFERENT CLASSES OF CUSTOMERS
    BASKETT, F
    CHANDY, KM
    MUNTZ, RR
    PALACIOS, FG
    [J]. JOURNAL OF THE ACM, 1975, 22 (02) : 248 - 260
  • [4] Bertsekas D., 1987, Data networks
  • [5] OPTIMIZATION OF MULTICLASS QUEUEING NETWORKS: POLYHEDRAL AND NONLINEAR CHARACTERIZATIONS OF ACHIEVABLE PERFORMANCE
    Bertsimas, Dimitris
    Paschalidis, Ioannis Ch.
    Tsitsiklis, John N.
    [J]. ANNALS OF APPLIED PROBABILITY, 1994, 4 (01) : 43 - 75
  • [6] BILLINGSLEY P, 1971, WEAK CONVERGENCE PRO
  • [7] BLACKWELL D, 1965, 5TH P BERK S MATH ST, P415
  • [8] BOTVICH DD, 1992, INRIA1772 RAPP RECH
  • [9] Buzacott J.A., 1993, Stochastic models of manufacturing systems, V4 vols
  • [10] CHEN H, 1993, FLUID APPROXIMATIONS, V1