A large-deviations analysis of the GI/GI/1 SRPT queue

We consider a GI/GI/1 queue with the shortest remaining processing time discipline (SRPT) and light-tailed service times. Our interest is focused on the tail behavior of the sojourn-time distribution. We obtain a general expression for its large-deviations decay rate. The value of this decay rate critically depends on whether there is mass in the endpoint of the service-time distribution or not. An auxiliary priority queue, for which we obtain some new results, plays an important role in our analysis. We apply our SRPT results to compare SRPT with FIFO from a large-deviations point of view. 2000 Mathematics Subject Classification: Primary—60K25; Secondary—60F10; 90B22     

A BMAP/SM/1 queue with service times depending on the arrival process

We study a BMAP/>SM/1 queue with batch Markov arrival process input and semi‐Markov service. Service times may depend on arrival phase states, that is, there are many types of arrivals which have different service time distributions. The service process is a heterogeneous Markov renewal process, and so our model necessarily includes known models. At first, we consider the first passage time from level {κ+1} (the set of the states that the number of customers in the system is κ+1) to level {κ} when a batch arrival occurs at time 0 and then a customer service included in that batch simultaneously starts. The service descipline is considered as a LIFO (Last‐In First‐Out) with preemption. This discipline has the fundamental role for the analysis of the first passage time. Using this first passage time distribution, the busy period length distribution can be obtained. The busy period remains unaltered in any service disciplines if they are work‐conserving. Next, we analyze the stationary workload distribution (the stationary virtual waiting time distribution). The workload as well as the busy period remain unaltered in any service disciplines if they are work‐conserving. Based on this fact, we derive the Laplace–Stieltjes transform for the stationary distribution of the actual waiting time under a FIFO discipline. In addition, we refer to the Laplace–Stieltjes transforms for the distributions of the actual waiting times of the individual types of customers. Using the relationship between the stationary waiting time distribution and the stationary distribution of the number of customers in the system at departure epochs, we derive the generating function for the stationary joint distribution of the numbers of different types of customers at departures. This revised version was published online in June 2006 with corrections to the Cover Date.     

Time-dependent properties of symmetric queues

We settle a conjecture of Kella et al. (J. Appl. Probab. 42:223–234, 2005): the distribution of the number of jobs in the system of a symmetric M/G/1 queue at a fixed time is independent of the service discipline if the system starts empty. Our derivations are based on a time-reversal argument for regenerative processes and a connection with a clearing model.     

Analysis of the M/M/1 Queue with Processor Sharing via Spectral Theory

We show in this paper that the computation of the distribution of the sojourn time of an arbitrary customer in a M/M/1 with the processor sharing discipline (abbreviated to M/M/1 PS queue) can be formulated as a spectral problem for a self-adjoint operator. This approach allows us to improve the existing results for this queue in two directions. First, the orthogonal structure underlying the M/M/1 PS queue is revealed. Second, an integral representation of the distribution of the sojourn time of a customer entering the system while there are n customers in service is obtained.     

Heavy-traffic analysis for the GI/G/1 queue with heavy-tailed distributions

We consider a GI/G/1 queue in which the service time distribution and/or the interarrival time distribution has a heavy tail, i.e., a tail behaviour like t ^−ν with 1 < ν ⩽ 2 , so that the mean is finite but the variance is infinite. We prove a heavy-traffic limit theorem for the distribution of the stationary actual waiting time W. If the tail of the service time distribution is heavier than that of the interarrival time distribution, and the traffic load a → 1, then W, multiplied by an appropriate ‘coefficient of contraction’ that is a function of a, converges in distribution to the Kovalenko distribution. If the tail of the interarrival time distribution is heavier than that of the service time distribution, and the traffic load a → 1, then W, multiplied by another appropriate ‘coefficient of contraction’ that is a function of a, converges in distribution to the negative exponential distribution. This revised version was published online in June 2006 with corrections to the Cover Date.     

The M/G/1 FIFO Queue with Several Customer Classes

In this note we present short derivations of the joint queue length distribution in the M/G/1 queue with several classes of customers and FIFO service discipline.     

Asymptotic expansions for waiting time probabilities in an M/G/1 queue with long-tailed service time

We consider anM/G/1 queue with FCFS queue discipline. We present asymptotic expansions for tail probabilities of the stationary waiting time when the service time distribution is longtailed and we discuss an extension of our methods to theM ^[x]/G/1 queue with batch arrivals.     

M/G/1/N vacation model with varying E-limited service discipline

We define and analyze anM/G/1/N vacation model that uses a service discipline that we call theE-limited with limit variation discipline. According to this discipline, the server provides service until either the system is emptied (i.e. exhausted) or a randomly chosen limit ofl customers has been served. The server then goes on a vacation before returning to service the queue again. The queue length distribution and the Laplace-Stieltjes transforms of the waiting time, busy period and cycle time distributions are found. Further, an expression for the mean waiting time is developed. Several previously analyzed service disciplines, including Bernoulli scheduling, nonexhaustive service and limited service, are special cases of the general varying limit discipline that is analyzed in this paper.     

Analytical Distribution of Waiting Time in the M/{iD}/1 Queue

We give an analytical formula for the steady-state distribution of queue-wait in the M/G/1 queue, where the service time for each customer is a positive integer multiple of a constant D > 0. We call this an M/{iD}/1 queue. We give numerical algorithms to calculate the distribution. In addition, in the case that the service distribution is sparse, we give revised algorithms that can compute the distribution more quickly.AMS subject classification: 60K25, 90B22     

On the Queue Length Distribution for the GI/G/1/K/VM Queue

Abstract

We present a transform-free distribution of the steady-state queue length for the GI/G/1/K queueing system with multiple vacations under exhaustive FIFO service discipline. The method we use is a modified supplementary variable technique and the result we obtain is expressed in terms of conditional expectations of the remaining service time, the remaining interarrival time, and the remaining vacation, conditional on the queue length at the embedded points. The case K → ∞ is also considered.     

Fluid approximation and its convergence Rate for GI/G/1 queue with vacations

A GI/G/1 queue with vacations is considered in this paper.We develop an approximating technique on max function of independent and identically distributed(i.i.d.) random variables,that is max{ηi,1 ≤ i ≤ n}.The approximating technique is used to obtain the fluid approximation for the queue length,workload and busy time processes.Furthermore,under uniform topology,if the scaled arrival process and the scaled service process converge to the corresponding fluid processes with an exponential rate,we prove by the...     

Tail asymptotics for the fundamental period in the MAP/G/1 queue

This paper studies the tail behavior of the fundamental period in the MAP/G/1 queue. We prove that if the service time distribution has a regularly varying tail, then the fundamental period distribution in the MAP/G/1 queue has also regularly varying tail, and vice versa, by finding an explicit expression for the asymptotics of the tail of the fundamental period in terms of the tail of the service time distribution. Our main result with the matrix analytic proof is a natural extension of the result in (de Meyer and Teugels, J. Appl. Probab. 17: 802–813, 1980) on the M/G/1 queue where techniques rely heavily on analytic expressions of relevant functions. I.-S. Wee’s research was supported by the Korea Research Foundation Grant KRF 2003-070-00008.     

Continuity of the M/G/c queue

Consider an M/G/c queue with homogeneous servers and service time distribution F. It is shown that an approximation of the service time distribution F by stochastically smaller distributions, say F _n , leads to an approximation of the stationary distribution π of the original M/G/c queue by the stationary distributions π _n of the M/G/c queues with service time distributions F _n . Here all approximations are in weak convergence. The argument is based on a representation of M/G/c queues in terms of piecewise deterministic Markov processes as well as some coupling methods.      

Analysis of M/G/1-Queues with Setup Times and Vacations under Six Different Service Disciplines

Single server M/G/1-queues with an infinite buffer are studied; these permit inclusion of server vacations and setup times. A service discipline determines the numbers of customers served in one cycle, that is, the time span between two vacation endings. Six service disciplines are investigated: the gated, limited, binomial, exhaustive, decrementing, and Bernoulli service disciplines. The performance of the system depends on three essential measures: the customer waiting time, the queue length, and the cycle duration. For each of the six service disciplines the distribution as well as the first and second moment of these three performance measures are computed. The results permit a detailed discussion of how the expected value of the performance measures depends on the arrival rate, the customer service time, the vacation time, and the setup time. Moreover, the six service disciplines are compared with respect to the first moments of the performance measures.     

Some first passage time problems for the shortest queue model

We consider the symmetric shortest queue (SQ) problem. Here we have a Poisson arrival stream of rate λ feeding two parallel queues, each having an exponential server that works at rate μ. An arrival joins the shorter of the two queues; if both are of equal length the arrival joins either with probability 1/2. We consider the first passage time until one of the queues reaches the value m ₀, and also the time until both reach this level. We give explicit expressions for the first two first passage moments, conditioned on the initial queue lengths, and also the full first passage distribution. We also give some asymptotic results for m ₀→∞ and various values of ρ=λ/μ. H. Yao work was partially supported by PSC-CUNY Research Award 68751-0037. C. Knessl work was supported in part by NSF grants DMS 02-02815 and DMS 05-03745.     

OnQ-matrices

Recently, Jeter and Pye gave an example to show that Pang's conjecture, thatL ₁ Q , is false. We show in this article that the above conjecture is true for symmetric matrices. Specifically, we show that a symmetric copositive matrix is inQ if and only if it is strictly copositive.     

Sojourn time asymptotics in the M/G/1 processor sharing queue

We show for the M/G/1 processor sharing queue that the service time distribution is regularly varying of index -ν, ν non-integer, iff the sojourn time distribution is regularly varying of index -ν. This result is derived from a new expression for the Laplace–Stieltjes transform of the sojourn time distribution. That expression also leads to other new properties for the sojourn time distribution. We show how the moments of the sojourn time can be calculated recursively and prove that the kth moment of the sojourn time is finite iff the kth moment of the service time is finite. In addition, we give a short proof of a heavy traffic theorem for the sojourn time distribution, prove a heavy traffic theorem for the moments of the sojourn time, and study the properties of the heavy traffic limiting sojourn time distribution when the service time distribution is regularly varying. Explicit formulas and multiterm expansions are provided for the case that the service time has a Pareto distribution. This revised version was published online in June 2006 with corrections to the Cover Date.     

Explicit solutions for the steady state distributions in M/PH/1 queues with workload dependent balking

We consider an M/PH/1 queue with balking based on the workload. An arriving customer joins the queue and stays until served only if the system workload is below a fixed level at the time of arrival. The steady state workload distribution in such a system satisfies an integral equation. We derive a differential equation for Phase type service time distribution and we solve it explicitly, with Erlang, Hyper-exponential and Exponential distributions as special cases. We illustrate the results with numerical examples.     

M/G/1/MLPS compared with M/G/1/PS within service time distribution class IMRL

Multilevel processor-sharing (MLPS) disciplines were originally introduced by Kleinrock (in computer applications 1976) but they were forgotten for years. However, due to an application related to the service differentiation between short and long TCP flows in the Internet, they have recently gained new interest. In this paper we show that, if the service time distribution belongs to class IMRL, the mean delay in the M/G/1 queue is reduced when replacing the PS discipline with any MLPS discipline for which the internal disciplines belong to {FB, PS}. This is a generalization of our earlier result where we restricted ourselves to the service time distribution class DHR, which is a subset of class IMRL.