Results 1  10
of
94
On Positive Harris Recurrence of Multiclass Queueing Networks: A Unified Approach Via Fluid Limit Models
 Annals of Applied Probability
, 1995
"... It is now known that the usual traffic condition (the nominal load being less than one at each station) is not sufficient for stability for a multiclass open queueing network. Although there has been some progress in establishing the stability conditions for a multiclass network, there is no unified ..."
Abstract

Cited by 355 (29 self)
 Add to MetaCart
(Show Context)
It is now known that the usual traffic condition (the nominal load being less than one at each station) is not sufficient for stability for a multiclass open queueing network. Although there has been some progress in establishing the stability conditions for a multiclass network, there is no unified approach to this problem. In this paper, we prove that a queueing network is positive Harris recurrent if the corresponding fluid limit model eventually reaches zero and stays there regardless of the initial system configuration. As an application of the result, we prove that single class networks, multiclass feedforward networks and firstbufferfirstserved preemptive resume discipline in a reentrant line are positive Harris recurrent under the usual traffic condition. AMS 1991 subject classification: Primary 60K25, 90B22; Secondary 60K20, 90B35. Key words and phrases: multiclass queueing networks, Harris positive recurrent, stability, fluid approximation Running title: Stability of mu...
Stability Of Queueing Networks And Scheduling Policies
 IEEE Transactions on Automatic Control
, 1995
"... Usually, the stability of queueing networks is established by explicitly determining the invariant distribution. However, outside of the narrow class of queueing networks possessing a product form solution, such explicit solutions are rare, and consequently little is known concerning stability too. ..."
Abstract

Cited by 124 (16 self)
 Add to MetaCart
(Show Context)
Usually, the stability of queueing networks is established by explicitly determining the invariant distribution. However, outside of the narrow class of queueing networks possessing a product form solution, such explicit solutions are rare, and consequently little is known concerning stability too. We develop here a programmatic procedure for establishing the stability of queueing networks and scheduling policies. The method uses linear or nonlinear programming to determine what is an appropriate quadratic functional to use as a Lyapunov function. If the underlying system is Markovian, our method establishes not only positive recurrence and the existence of a steadystate probability distribution, but also the geometric convergence of an exponential moment. We illustrate this method on several example problems. For an example of an open reentrant line, we show that all stationary nonidling policies are stable for all load factors less than one. This includes the well known First Com...
Adversarial queueing theory
 In Proc. 28th ACM STOC
, 1996
"... We introduce a new approach to the study of dynamic (or continuous) packet routing, where packets are being continuously injected into a network. Our objective is to study what happens to packet routing under continuous injection ..."
Abstract

Cited by 114 (6 self)
 Add to MetaCart
We introduce a new approach to the study of dynamic (or continuous) packet routing, where packets are being continuously injected into a network. Our objective is to study what happens to packet routing under continuous injection
Stability and Convergence of Moments for Multiclass Queueing Networks via Fluid Limit Models
 IEEE Transactions on Automatic Control
, 1995
"... The subject of this paper is open multiclass queueing networks, which are common models of communication networks, and complex manufacturing systems such as wafer fabrication facilities. We provide sufficient conditions for the existence of bounds on longrun average moments of the queue lengths at ..."
Abstract

Cited by 112 (37 self)
 Add to MetaCart
(Show Context)
The subject of this paper is open multiclass queueing networks, which are common models of communication networks, and complex manufacturing systems such as wafer fabrication facilities. We provide sufficient conditions for the existence of bounds on longrun average moments of the queue lengths at the various stations, and we bound the rate of convergence of the mean queue length to its steady state value. Our work provides a solid foundation for performance analysis either by analytical methods or by simulation. These results are applied to several examples including reentrant lines, generalized Jackson networks, and a general polling model as found in computer networks applications. Keywords: Multiclass queueing networks, ergodicity, general state space Markov processes, polling models, generalized Jackson networks, stability, performance analysis. 1 Introduction The subject of this paper is open multiclass queueing networks, which are models of complex systems such as wafer fabri...
Fluid Approximations And Stability Of Multiclass Queueing Networks: WorkConserving Disciplines
, 1995
"... This paper studies the fluid approximation (also known as the functional strong lawoflargenumbers) and the stability (positive Harris recurrent) for a multiclass queueing network. Both of these are related to the stabilities of a linear fluid model, constructed from the firstorder parameters (i. ..."
Abstract

Cited by 85 (9 self)
 Add to MetaCart
This paper studies the fluid approximation (also known as the functional strong lawoflargenumbers) and the stability (positive Harris recurrent) for a multiclass queueing network. Both of these are related to the stabilities of a linear fluid model, constructed from the firstorder parameters (i.e., longrun average arrivals, services and routings) of the queueing network. It is proved that the fluid approximation for the queueing network exists if the corresponding linear fluid model is weakly stable, and that the queueing network is stable if the corresponding linear fluid model is (strongly) stable. Sufficient conditions are found for the stabilities of a linear fluid model. Keywords and phrases: Multiclass queueing networks, fluid models, fluid approximations, stability, positive Harris recurrent, and workconserving service disciplines. Preliminary Versions: September 1993 Revisions: June 1994; September 1994; January 1995 To appear in Annals of Applied Probability AMS 1980 su...
Maximum pressure policies in stochastic processing networks
, 2005
"... Complex systems like semiconductor wafer fabrication facilities (fabs), networks of data switches, and largescale call centers all demand efficient resource allocation. Deterministic models like linear programs (LP) have been used for capacity planning at both the design and expansion stages of s ..."
Abstract

Cited by 73 (6 self)
 Add to MetaCart
Complex systems like semiconductor wafer fabrication facilities (fabs), networks of data switches, and largescale call centers all demand efficient resource allocation. Deterministic models like linear programs (LP) have been used for capacity planning at both the design and expansion stages of such systems. LPbased planning is critical in setting a medium range or longterm goal for many systems, but it does not translate into a daytoday operational policy that must deal with discreteness of jobs and the randomness of the processing environment. A stochastic processing network, advanced by J. Michael Harrison (2000, 2002, 2003), is a system that takes inputs of materials of various kinds and uses various processing resources to produce outputs of materials of various kinds. Such a network provides a powerful abstraction of a wide range of realworld systems. It provides highfidelity stochastic models in diverse economic sectors including manufacturing, service, and information technology. We propose a family of maximum pressure service policies for dynamically allocating service capacities in a stochastic processing network. Under a mild assumption on network structure, we prove that a network operating under a maximum pressure policy achieves maximum throughput predicted by LPs. These policies are semilocal in the sense that each
Existence and uniqueness of semimartingale reflecting Brownian motions in convex polyhedrons
 Theory of Probability and Its Applications
, 1995
"... We consider the problem of existence and uniqueness of semimartingale reflecting Brownian motions (SRBM's) in convex polyhedrons. Loosely speaking, such a process has a semimartingale decomposition such that in the interior of the polyhedron the process behaves like a Brownian motion with a con ..."
Abstract

Cited by 64 (15 self)
 Add to MetaCart
(Show Context)
We consider the problem of existence and uniqueness of semimartingale reflecting Brownian motions (SRBM's) in convex polyhedrons. Loosely speaking, such a process has a semimartingale decomposition such that in the interior of the polyhedron the process behaves like a Brownian motion with a constant drift and covariance matrix, and at each of the (d \Gamma 1)dimensional faces that form the boundary of the polyhedron, the bounded variation part of the process increases in a given direction (constant for any particular face), so as to confine the process to the polyhedron. For historical reasons, this &quot;pushing &quot; at the boundary is called instantaneous reflection. For simple convex polyhedrons, we give a necessary and sufficient condition on the geometric data for the existence and uniqueness of an SRBM. For nonsimple convex polyhedrons, our condition is shown to be sufficient. It is an open question as to whether our condition is also necessary in the nonsimple case. From the uniqueness, it follows that an SRBM defines a strong Markov process. Our results have application to the study of diffusions arising as heavy traffic limits of multiclass queueing networks and in particular, the nonsimple case has application to multiclass fork and join networks. Our proof of weak existence uses a patchwork martingale problem introduced by T. G. Kurtz, whereas uniqueness hinges on an ergodic argument similar to that used by L. M. Taylor and R. J. Williams to prove uniqueness for SRBM's in an orthant.
Transience of Multiclass Queueing Networks via Fluid Limit Models
 Annals of Applied Probability
, 1995
"... This paper treats transience for queueing network models by considering an associated fluid model. If starting from any initial condition the fluid model explodes at a linear rate, then the associated queueing network with i.i.d. service times and a renewal arrival process explodes faster than any f ..."
Abstract

Cited by 64 (10 self)
 Add to MetaCart
(Show Context)
This paper treats transience for queueing network models by considering an associated fluid model. If starting from any initial condition the fluid model explodes at a linear rate, then the associated queueing network with i.i.d. service times and a renewal arrival process explodes faster than any fractional power. Keywords: Queueing networks, stability. 1 Introduction There has been much recent interest in understanding the dynamics of queueing networks, and in particular their stability properties. Numerous techniques have been developed for verification of stability or ergodicity using a variety of methods. Of interest to us in the present paper is the recent approach based upon a fluid approximation. Rybko and Stolyar [15] have recently examined the stability properties of a particular example by studying the properties of the associated fluid approximation. Dupuis and Williams obtained results of this kind for reflected Brownian motion [8], and these ideas were subsequently gener...
Stability and Instability of Fluid Models for ReEntrant Lines
, 1996
"... Reentrant lines can be used to model complex manufacturing systems such as wafer fabrication facilities. As the first step to the optimal or nearoptimal scheduling of such lines, we investigate their stability. In light of a recent theorem of Dai (1995) which states that a scheduling policy is sta ..."
Abstract

Cited by 62 (18 self)
 Add to MetaCart
Reentrant lines can be used to model complex manufacturing systems such as wafer fabrication facilities. As the first step to the optimal or nearoptimal scheduling of such lines, we investigate their stability. In light of a recent theorem of Dai (1995) which states that a scheduling policy is stable if the corresponding fluid model is stable, we study the stability and instability of fluid models. To do this we utilize piecewise linear Lyapunov functions. We establish stability of FirstBufferFirstServed (FBFS) and LastBufferFirstServed (LBFS) disciplines in all reentrant lines, and of all workconserving disciplines in any three buffer reentrant lines. For the four buffer network of Lu and Kumar we characterize the stability region of the Lu and Kumar policy, and show that it is also the global stability region for this network. We also study stability and instability of Kellytype networks. In particular, we show that not all workconserving policies are stable for such netw...
Sequencing and routing in multiclass queueing networks part I: Feedback regulation
 SIAM J. Control Optim
"... Abstract. Part II continues the development of policy synthesis techniques for multiclass queueing networks based upon a linear fluid model. The following are shown: (i) A relaxation of the fluid model based on workload leads to an optimization problem of lower dimension. An analogous workloadrelax ..."
Abstract

Cited by 55 (12 self)
 Add to MetaCart
(Show Context)
Abstract. Part II continues the development of policy synthesis techniques for multiclass queueing networks based upon a linear fluid model. The following are shown: (i) A relaxation of the fluid model based on workload leads to an optimization problem of lower dimension. An analogous workloadrelaxation is introduced for the stochastic model. These relaxed control problems admit pointwise optimal solutions in many instances. (ii) A translation to the original fluid model is almost optimal, with vanishing relative error as the networkload ρ approaches one. It is pointwise optimal after a short transient period, provided a pointwise optimal solution exists for the relaxed control problem. (iii) A translation of the optimal policy for the fluid model provides a policy for the stochastic networkmodel that is almost optimal in heavy traffic, over all solutions to the relaxed stochastic model, again with vanishing relative error. The regret is of order  log(1 − ρ).