Results 1  10
of
67
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 223 (17 self)
 Add to MetaCart
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 110 (16 self)
 Add to MetaCart
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 109 (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 78 (31 self)
 Add to MetaCart
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 63 (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...
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 constant ..."
Abstract

Cited by 51 (14 self)
 Add to MetaCart
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 "pushing " 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 46 (8 self)
 Add to MetaCart
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...
`First Come, First Served' can be unstable!
, 1994
"... : We consider flexible manufacturing systems using the `First Come, First Served' (FCFS or FIFO) scheduling policy at each machine. We describe and discuss in some detail simple deterministic examples which have adequate capacity but which, under FCFS, can exhibit instability: unboundedly growing WI ..."
Abstract

Cited by 42 (2 self)
 Add to MetaCart
: We consider flexible manufacturing systems using the `First Come, First Served' (FCFS or FIFO) scheduling policy at each machine. We describe and discuss in some detail simple deterministic examples which have adequate capacity but which, under FCFS, can exhibit instability: unboundedly growing WIP taking the form of a repeated pattern of behavior with the repetitions on an increasing scale. Key Words: scheduling policy, flexible manufacturing system, queueing network, stability, FIFO, `First Come First Served'. 1. Introduction We consider network models involving multiple flows with buffering/queuing at each node (processor). Specifying a queue discipline (i.e., a scheduling policy for the processing at nodes) then defines the dynamics for the system. A queue discipline is called stable if the queue lengths (WIP) remain uniformly bounded in time for any realization  configuration, initial state  with input rates subject to the obvious capacity limitations. We quote from [3...
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 36 (11 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...
Piecewise Linear Test Functions for Stability and Instability of Queueing Networks
 Queueing Systems
"... We develop the use of piecewise linear test functions for the analysis of stability of multiclass queueing networks and their associated fluid limit models. It is found that if an associated LP admits a positive solution, then a Lyapunov function exists. This implies that the fluid limit model is ..."
Abstract

Cited by 36 (3 self)
 Add to MetaCart
We develop the use of piecewise linear test functions for the analysis of stability of multiclass queueing networks and their associated fluid limit models. It is found that if an associated LP admits a positive solution, then a Lyapunov function exists. This implies that the fluid limit model is stable and hence that the network model is positive Harris recurrent with a finite polynomial moment. Also, it is found that if a particular LP admits a solution, then the network model is transient. Running head : Stability and Instability of Queueing Networks Keywords : Multiclass queueing networks, ergodicity, stability, performance analysis. 1 Introduction It has generally been taken for granted in queueing theory that stability of a network is guaranteed so long as the overall traffic intensity is less than unity and in recent years there has been much analysis which supports this belief for special classes of systems, such as single class queueing networks (see Borovkov [2], Sig...