Analyzing <Emphasis Type="Italic">M/M/</Emphasis>1 Queues with Perturbations in the Arrival Process

This paper investigates when the M/M/1 model can be used to predict accurately the operating characteristics of queues with arrival processes that are slightly different from the Poisson process assumed in the model. The arrival processes considered here are perturbed Poisson processes. The perturbations are deviations from the exponential distribution of the inter-arrival times or from the assumption of independence between successive inter-arrival times. An estimate is derived for the difference between the expected numbers in perturbed and M/M/1 queueing systems with the same traffic intensity. The results, for example, indicate that the M/M/1 model can predict the performance of the queue when the arrival process is perturbed by inserting a few short inter-arrival times, an occasional batch arrival or small dependencies between successive inter-arrival times. In contrast, the M/M/1 is not a good model when the arrival process is perturbed by inserting a few long inter-arrival times.     

Sojourn times in a processor sharing queue with multiple vacations

We study an M/G/1 processor sharing queue with multiple vacations. The server only takes a vacation when the system has become empty. If he finds the system still empty upon return, he takes another vacation, and so on. Successive vacations are identically distributed, with a general distribution. When the service requirements are exponentially distributed we determine the sojourn time distribution of an arbitrary customer. We also show how the same approach can be used to determine the sojourn time distribution in an M/M/1-PS queue of a polling model, under the following constraints: the service discipline at that queue is exhaustive service, the service discipline at each of the other queues satisfies a so-called branching property, and the arrival processes at the various queues are independent Poisson processes. For a general service requirement distribution we investigate both the vacation queue and the polling model, restricting ourselves to the mean sojourn time.     

A Stochastic Directional Convexity Result and Its Application in Comparison of Queues

Second order properties of queues are important in design and analysis of service systems. In this paper we show that the blocking probability of M/M/C/N queue is increasing directionally convex in (λ,?μ), where λ is arrival rate and μ is service rate. To illustrate the usefulness of this result we consider a heterogeneous queueing system with non-stationary arrival and service processes. The arrival and service rates alternate between two levels (λ₁,μ₁) and (λ₂,μ₂), spending an exponentially distributed amount of time with rate cα _i in level i, i=1,2. When the system is in state i, the arrival rate is λ _i and the service rate is μ _i . Applying the increasing directional convexity result we show that the blocking probability is decreasing in c, extending a result of Fond and Ross [7] for the case C=N=1.

     

Networks of infinite-server queues with nonstationary Poisson input

In this paper we focus on networks of infinite-server queues with nonhomogeneous Poisson arrival processes. We start by introducing a more general Poisson-arrival-location model (PALM) in which arrivals move independently through a general state space according to a location stochastic process after arriving according to a nonhomogeneous Poisson process. The usual open network of infinite-server queues, which is also known as a linear population process or a linear stochastic compartmental model, arises in the special case of a finite state space. The mathematical foundation is a Poisson-random-measure representation, which can be obtained by stochastic integration. It implies a time-dependent product-form result: For appropriate initial conditions, the queue lengths (numbers of customers in disjoint subsets of the state space) at any time are independent Poisson random variables. Even though there is no dependence among the queue lengths at each time, there is important dependence among the queue lengths at different times. We show that the joint distribution is multivariate Poisson, and calculate the covariances. A unified framework for constructing stochastic processes of interest is provided by stochastically integrating various functionals of the location process with respect to the Poisson arrival process. We use this approach to study the flows in the queueing network; e.g., we show that the aggregate arrival and departure processes at a given queue (to and from other queues as well as outside the network) are generalized Poisson processes (without necessarily having a rate or unit jumps) if and only if no customer can visit that queue more than once. We also characterize the aggregate arrival and departure processes when customers can visit the queues more frequently. In addition to obtaining structural results, we use the stochastic integrals to obtain explicit expressions for time-dependent means and covariances. We do this in two ways. First, we decompose the entire network into a superposition of independent networks with fixed deterministic routes. Second, we make Markov assumptions, initially for the evolution of the routes and finally for the entire location process. For Markov routing among the queues, the aggregate arrival rates are obtained as the solution to a system of input equations, which have a unique solution under appropriate qualifications, but not in general. Linear ordinary differential equations characterize the time-dependent means and covariances in the totally Markovian case.     

Queues where customers of one queue act as servers of the other queue

We consider a system comprised of two connected M/M/?/? type queues, where customers of one queue act as servers for the other queue. One queue, Q ₁, operates as a limited-buffer M/M/1/N?1 system. The other queue, Q ₂, has an unlimited-buffer and receives service from the customers of Q ₁. Such analytic models may represent applications like SETI@home, where idle computers of users are used to process data collected by space radio telescopes. Let L ₁ denote the number of customers in Q ₁. Then, two models are studied, distinguished by their service discipline in Q ₂: In Model 1, Q ₂ operates as an unlimited-buffer, single-server M/M/1/∞ queue with Poisson arrival rate λ ₂ and dynamically changing service rate μ ₂ L ₁. In Model 2, Q ₂ operates as a multi-server M/M/L ₁/∞ queue with varying number of servers, L ₁, each serving at a Poisson rate of μ ₂. We analyze both models and derive the Probability Generating Functions of the system’s steady-state probabilities. We then calculate the mean total number of customers present in each queue. Extreme cases are indicated.     

Infinite-server systems with Coxian arrivals

We consider a network of infinite-server queues where the input process is a Cox process of the following form: The arrival rate is a vector-valued linear transform of a multivariate generalized (i.e., being driven by a subordinator rather than a compound Poisson process) shot-noise process. We first derive some distributional properties of the multivariate generalized shot-noise process. Then these are exploited to obtain the joint transform of the numbers of customers, at various time epochs, in a single infinite-server queue fed by the above-mentioned Cox process. We also obtain transforms pertaining to the joint stationary arrival rate and queue length processes (thus facilitating the analysis of the corresponding departure process), as well as their means and covariance structure. Finally, we extend to the setting of a network of infinite-server queues.

     

Strong approximations for Markovian service networks

Inspired by service systems such as telephone call centers, we develop limit theorems for a large class of stochastic service network models. They are a special family of nonstationary Markov processes where parameters like arrival and service rates, routing topologies for the network, and the number of servers at a given node are all functions of time as well as the current state of the system. Included in our modeling framework are networks of M _t /M _t /n _t queues with abandonment and retrials. The asymptotic limiting regime that we explore for these networks has a natural interpretation of scaling up the number of servers in response to a similar scaling up of the arrival rate for the customers. The individual service rates, however, are not scaled. We employ the theory of strong approximations to obtain functional strong laws of large numbers and functional central limit theorems for these networks. This gives us a tractable set of network fluid and diffusion approximations. A common theme for service network models with features like many servers, priorities, or abandonment is “non-smooth” state dependence that has not been covered systematically by previous work. We prove our central limit theorems in the presence of this non-smoothness by using a new notion of derivative. This revised version was published online in June 2006 with corrections to the Cover Date.     

Departures inGR^{X{n}} /G_n /\infty

Departure processes in infinite server queues with non-Poisson arrivals have not received much attention in the past. In this paper, we try to fill this gap by considering the continuous time departure process in a general infinite server system with a Markov renewal batch arrival process ofM different types of customers. By a conditional approach, analytical results are obtained for the generating functions and binomial moments of the departure process. Special cases are discussed, showing that while Poisson arrival processes generate Poisson departures, departure processes are much more complicated with non-Poisson arrivals.This research has been supported in part by the Natural Science and Engineering Research Council of Canada (Grant A5639).     

Analysis of an M/G/∞ queue with batch arrivals and batch-dedicated servers

We analyze an M/G/∞ queue with batch arrivals, where jobs belonging to a batch have to be processed by the same server. The number of jobs in the system is characterized as a compound Poisson random variable through a scaling of the original arrival and batch size processes.     

A critically loaded multiclass Erlang loss system

We consider a generalization of the classical Erlang loss model to multiple classes of customers. Each of the J customer classes has an associated Poisson arrival process and an arbitrary holding time distribution. Classj customers requireM _j servers simultaneously. We determine the asymptotic form of the blocking probabilities for all customer classes in the regime known as critical loading, where both the number of servers and offered load are large and almost equal. Asymptotically, the blocking probability of classj customers is proportional toM _j . This asymptotic result provides an approximation for the blocking probabilities which is reasonably accurate. We also consider the behavior of the Erlang fixed point (reduced load approximation) for this model under critical loading. Although the blocking probability of classj customers given by the Erlang fixed point is again asymptotically proportional toM _j , the Erlang fixed point typically gives the wrong limit. Next we show that under critical loading the throughputs have a pleasingly simple form of monotonicity with respect to arrival rates: the throughput of classi is increasing in the arrival rate of classi and decreasing in the arrival rate of classj forji. Finally, we compare two simple control policies for this system under critical loading.     

Large deviations ordering of point processes in some queueing networks

Given a stochastic ordering between point processes, say that a p.p. N is smooth if it is less than the Poisson process with the same average intensity for this ordering. In this article we investigate whether initially smooth processes retain their smoothness as they cross a network of FIFO ·/D/1 queues along fixed routes. For the so-called strong variability ordering we show that point processes remain smooth as they proceed through a tandem of quasi-saturated (i.e., loaded to 1) M+·/D/1 queues. We then introduce the Large Deviations ordering, which involves comparison of the rate functions associated with Large Deviations Principles satisfied by the point processes. For this ordering, we show that smoothness is retained when the processes cross a feed-forward network of unsaturated ·/D/1 queues. We also examine the LD characteristics of a deterministic p.p. at the output of an M+·/D/1 queue. This revised version was published online in June 2006 with corrections to the Cover Date.     

On the fluid limit of the M/G/∞ queue

The paper deals with the fluid limits of some generalized M/G/∞ queues under heavy-traffic scaling. The target application is the modeling of Internet traffic at the flow level. Our paper first gives a simplified approach in the case of Poisson arrivals. Expressing the state process as a functional of some Poisson point process, an elementary proof for limit theorems based on martingales techniques and weak convergence results is given. The paper illustrates in the special Poisson arrivals case the classical heavy-traffic limit theorems for the G/G/∞ queue developed earlier by Borovkov and by Iglehart, and later by Krichagina and Puhalskii. In addition, asymptotics for the covariance of the limit Gaussian processes are obtained for some classes of service time distributions, which are useful to derive in practice the key parameters of these distributions.     

On the distribution of the number stranded in bulk-arrival, bulk-service queues of the M/G/1 form

Bulk-arrival queues with single servers that provide bulk service are widespread in the real world, e.g., elevators in buildings, people-movers in amusement parks, air-cargo delivery planes, and automated guided vehicles. Much of the literature on this topic focusses on the development of the theory for waiting time and number in such queues. We develop the theory for the number stranded, i.e., the number of customers left behind after each service, in queues of the M/G/1 form, where there is single server, the arrival process is Poisson, the service is of a bulk nature, and the service time is a random variable. For the homogenous Poisson case, in our model the service time can have any given distribution. For the non-homogenous Poisson arrivals, due to a technicality, we assume that the service time is a discrete random variable. Our analysis is not only useful for performance analysis of bulk queues but also in designing server capacity when the aim is to reduce the frequency of stranding. Past attempts in the literature to study this problem have been hindered by the use of Laplace transforms, which pose severe numerical difficulties. Our approach is based on using a discrete-time Markov chain, which bypasses the need for Laplace transforms and is numerically tractable. We perform an extensive numerical analysis of our models to demonstrate their usefulness. To the best of our knowledge, this is the first attempt in the literature to study this problem in a comprehensive manner providing numerical solutions.     

The Periodic BMAP/PH/c Queue

In queueing theory, most models are based on time-homogeneous arrival processes and service time distributions. However, in communication networks arrival rates and/or the service capacity usually vary periodically in time. In order to reflect this property accurately, one needs to examine periodic rather than homogeneous queues. In the present paper, the periodic BMAP/PH/c queue is analyzed. This queue has a periodic BMAP arrival process, which is defined in this paper, and phase-type service time distributions. As a Markovian queue, it can be analysed like an (inhomogeneous) Markov jump process. The transient distribution is derived by solving the Kolmogorov forward equations. Furthermore, a stability condition in terms of arrival and service rates is proven and for the case of stability, the asymptotic distribution is given explicitly. This turns out to be a periodic family of probability distributions. It is sketched how to analyze the periodic BMAP/M _t /c queue with periodically varying service rates by the same method.     

A Markov Renewal Based Model for Wireless Networks

We propose a queueing network model which can be used for the integration of the mobility and teletraffic aspects that are characteristic of wireless networks. In the general case, the model is an open network of infinite server queues where customers arrive according to a non-homogeneous Poisson process. The movement of a customer in the network is described by a Markov renewal process. Moreover, customers have attributes, such as a teletraffic state, that are driven by continuous time Markov chains and, therefore, change as they move through the network. We investigate the transient and limit number of customers in disjoint sets of nodes and attributes. These turn out to be independent Poisson random variables. We also calculate the covariances of the number of customers in two sets of nodes and attributes at different time epochs. Moreover, we conclude that the arrival process per attribute to a node is the sum of independent Poisson cluster processes and derive its univariate probability generating function. In addition, the arrival process to an outside node of the network is a non-homogeneous Poisson process. We illustrate the applications of the queueing network model and the results derived in a particular wireless network.     

Diffusion Approximations for Queues with Markovian Bases

Consider a base family of state-dependent queues whose queue-length process can be formulated by a continuous-time Markov process. In this paper, we develop a piecewise-constant diffusion model for an enlarged family of queues, each of whose members has arrival and service distributions generalized from those of the associated queue in the base. The enlarged family covers many standard queueing systems with finite waiting spaces, finite sources and so on. We provide a unifying explicit expression for the steady-state distribution, which is consistent with the exact result when the arrival and service distributions are those of the base. The model is an extension as well as a refinement of the M/M/s-consistent diffusion model for the GI/G/s queue developed by Kimura [13] where the base was a birth-and-death process. As a typical base, we still focus on birth-and-death processes, but we also consider a class of continuous-time Markov processes with lower-triangular infinitesimal generators.     

Ergodicity and analysis of the process describing the system state in polling systems with two queues

Consider a polling system of two queues served by a single server that visits the queues in cyclic order. The polling discipline in each queue is of exhaustive-type, and zero-switchover times are considered. We assume that the arrival times in each queue form a Poisson process and that the service times form sequences of independent and identically distributed random variables, except for the service distribution of the first customer who is served at each polling instant (the time in which the server moves from one queue to the other one). The sufficient and necessary conditions for the ergodicity of such polling system are established as well as the stationary distribution for the continuous-time process describing the state of the system. The proofs rely on the combination of three embedded processes that were previously used in the literature. An important result is that ρ=1 can imply ergodicity in one specific case, where ρ is the typical traffic intensity for polling systems, and ρ<1 is the classical non-saturation condition.     

On the optimal control of a two-queue polling model

This paper deals with two M/M/1 queues served by a single server with threshold switching. Our main goal is to solve the Poisson equation and, as a result, give expressions for the long-run expected average cost of holding units and switching actions of the server, and the bias vector.     

Generalized M/G/C/C state dependent queueing models and pedestrian traffic flows

The generality and usefulness ofM/G/C/C state dependent queueing models for modelling pedestrian traffic flows is explored in this paper. We demonstrate that the departure process and the reversed process of these generalizedM/G/C/C queues is a Poisson process and that the limiting distribution of the number of customers in the queue depends onG only through its mean. Consequently, the models developed in this paper are useful not only for the analysis of pedestrian traffic flows, but also for the design of the physical systems accommodating these flows. We demonstrate how theM/G/C/C state dependent model is incorporated into the modelling of large scale facilities where the blocking probabilities in the links of the network can be controlled. Finally, extensions of this work to queueing network applications where blocking cannot be controlled are also presented, and we examine an approximation technique based on the expansion method for incorporating theseM/G/C/C queues in series, merge, and splitting topologies of these networks.