Diffusion approximation for a processor sharing queue in heavy traffic

We establish a conservation law for G/G/1 queues with any work-conserving service discipline using the equilibrium equations, also called the basic equations. We use this conservation law to prove an extremal property of the first-come firstserved (FCFS) service discipline: among all service disciplines that are work-conserving and independent of remaining service requirements for individual customers, the FCFS service discipline minimizes [maximizes] the mean sojourn time in a G/G/1 queue with independent (but not necessarily identical) service times with a common mean and new better [worse] than used (NBUE[NWUE]) distributions. This extends recent results of Halfin and Whitt (1990), Righter et al. (1990) and Yamazaki and Sakasegawa (1987a,b). In addition we use the conservation law to obtain an approximation for the mean queue length in a GI/GI/1 queue under the processor-sharing service discipline with finite degree of multiplicity, called LiPS discipline. Several numerical examples are presented which support the practical usefulness of the proposed approximation.

In this paper we propose a highly accurate approximate performance analysis of a heterogeneous server system with a processor sharing service discipline and a general job-size distribution under a generalized join the shortest queue (GJSQ) routing protocol. The GJSQ routing protocol is a natural extension of the well-known join the shortest queue routing policy that takes into account the non-identical service rates in addition to the number of jobs at each server. The performance metrics that are of interest here are the equilibrium distribution and the mean and standard deviation of the number of jobs at each server. We show that the latter metrics are near-insensitive to the job-size distribution using simulation experiments. By applying a single queue approximation we model each server as a single server queue with a state-dependent arrival process, independent of other servers in the system, and derive the distribution of the number of jobs at the server. These state-dependent arrival rates are intended to capture the inherent correlation between servers in the original system and behave in a rather atypical way.

This paper considers a single server queue in which the service time is exponentially distributed and the service station may breakdown according to a Poisson process with the rates γ and γ' in busy period and idle period respectively. Repair will be performed immediately following a breakdown. The repair time is assumed to have an exponential distribution. Let g(t) and G(t) be the probability density function and the cumulative distribution function of the interarrival time respectively. When t tends to infinity, the rate of g(t)/[1 – G(t)] will tend to a constant. A set of equations will be derived for the probabilities of the queue length and the states of the arrival, repair and service processes when the queue is in a stationary state. By solving these equations, numerical results for the stationary queue length distribution can be obtained.

In this paper, a single-server queue with negative customers is considered. The arrival of a negative customer will remove one positive customer that is being served, if any is present. An alternative approach will be introduced to derive a set of equations which will be solved to obtain the stationary queue length distribution. We assume that the service time distribution tends to a constant asymptotic rate when time t goes to infinity. This assumption will allow for finding the stationary queue length of queueing systems with non-exponential service time distributions. Numerical examples for gamma distributed service time with fractional value of shape parameter will be presented in which the steady-state distribution of queue length with such service time distributions may not be easily computed by most of the existing analytical methods.

A model for the service time structure in the single server queue is given embodying correlations between contiguous and near-contiguous service times. A number of results are derived in the case of Poisson arrivals both for equilibrium and the transient state. In particular, Kendall's (equilibrium) resultP(a departure leaves the queue empty) = 1 — (mean service time)/(mean inter-arrival time) is found still to hold good. The effect of the correlation on the mean and variance of the equilibrium queue length distribution is examined in a simple case.

Models are given for sequences of correlated exponential interarrival and service times for a single-server queue. These multivariate exponential models are formed as probabilistic linear combinations of sequences of independent exponential random variables and are easy to generate on a computer. Limiting results for customer waiting time under heavy traffic conditions are obtained for these queues. Heavy traffic results are useful for analyzing the effect of correlated interarrival and service times in queues on such quantities as queue length and customer waiting time. They can also be used to check simulation results.

In this paper we study a broad class of semi-Markovian queues introduced by Sengupta. This class contains many classical queues such as the GI/M/1 queue, SM/MAP/1 queue and others, as well as queues with correlated inter-arrival and service times. Queues belonging to this class are characterized by a set of matrices of size m and Sengupta showed that its waiting time distribution can be represented as a phase-type distribution of order m. For the special case of the SM/MAP/1 queue without correlated service and inter-arrival times the queue length distribution was also shown to be phase-type of order m, but no derivation for the queue length was provided in the general case. This paper introduces an order m^2 phase-type representation (kappa, K) for the queue length distribution in the general case. Moreover, we prove that the order m^2 of the distribution cannot be further reduced in general. Examples for which the order is between m and m^2 are also identified. We derive these results in both discrete and continuous time and also discuss the numerical procedure to compute (kappa, K). Moreover, by combining a result of Sengupta and Ozawa, we provide a simple formula to compute the order m phase-type representation of the waiting time in a MAP/MAP/1 queue without correlated service and inter-arrival times, using the R matrix of a Quasi-Birth-Death Markov chain.

A matrix geometric representation for the queue length distribution of multitype semi-Markovian queues

Input-queued scheduling algorithms are designed to improve the throughput which use the input and output terminal in the router to obtain the maximum packets. And the length of the input queue is an important target, that can decides the superiority-inferiority about the capability of the input algorithm. With the existing algorithms, the main content about the scheduling algorithm are ensuring the packets’ high priority and low level. But most of these algorithms do not consider the length of queue. In this paper, we consider the change of queue length when the packets enter the input channel at the router, and put forward a shortest queue time-slot adapting algorithm (SQTA algorithm). First of all, SQTA algorithm can base the changes of transmittion time to control the packets’ sending time interval, and this action can make SQTA algorithm match the processing power about the router, and at the same time, this algorithm can reduce the length of the packets queue. Second, SQTA algorithm can control of a phenomenon that the packets may overflow when the length of queue is full, and that also make the packets transmitted more stable in network. The experimental result shows that this scheduling algorithm can control the length of queue effectively and reduce the waiting time with packets queue, It can be shorten the remaining service time, and can improve the network operation obviously.

In this paper a fluid approximation, also known as a functional strong law of large numbers (FSLLN) for a GI/G/1 queue under a processor-sharing service discipline is established and its properties are analysed. The fluid limit depends on the arrival rate, the service time distribution of the initial customers, and the service time distribution of the arriving customers. This is in contrast to the known result for the GI/G/1 queue under a FIFO service discipline, where the fluid limit is piecewise linear and depends on the service time distribution only through its mean. The piecewise linear form of the limit can be recovered by an equilibrium type choice of the initial service distribution.

It is well known that queues with exponentially distributed service times have the smallest Shannon capacity among all single-server queues with the same service rate. In this paper, we study the capacity of timing channels in which the service time distributions have bounded support, i.e., Bounded Service Timing Channels (BSTC). We derive an upper bound and two lower bounds on the capacity of such timing channels. The tightness of these bounds is investigated analytically as well as via simulations. We find that the uniform BSTC serves a role for BSTCs that is similar to what the exponential service timing channel does for the case of timing channels with unbounded service time distributions. That is, when the length of the support interval is small, the uniform BSTC has the smallest capacity among all BSTCs.

Some statistical analysis of design data.- Line service times and utilization.- First concepts and relations of queuing theory.- A first resuot on the single-server queue.- A general result on the single-server queue.- Termina systems with polling.- Some results on queues with priority disciplines.- Some applications of Markov processes.- Core buffer requirements.- Service times of direct-access storage devices.- Queuing for data accesses.- Final remarks on the computer center analysis.- Imbedded Markov chains of some queuing processess.- Limit utilization and wait time distribution.

In this paper, a single-server queue with non-homogeneous Poisson input and general service time is considered. Particular attention is given to the case where the parameter of the Poisson input λ(t) is a periodic function of the time. The approach is an extension of the work of Takács and Reich . The main result of the investigation is that under certain conditions on the distribution of the service time, the form of the function λ(t) and the distribution of the waiting time at t = 0, the probability of a server being idle P 0 and the Laplace transform Ω of the waiting time are both asymptotically periodic in t. Putting where b(t) is a periodic function of time, it is shown that both P o and Ω can be expanded in a power series in z, and a method for calculating explicitly the asymptotic values of the leading terms is obtained. In many practical queueing problems, it is expected that the probability of arrivals will vary periodically. For example, in restaurants or at servicestations arrivals are more probable at rush hours than at slack periods, and rush hours are repeated day after day

We study the sojourn times of customers in an M/M/1 queue with the processor sharing service discipline and a server that is subject to breakdowns. The lengths of the breakdowns have a general distribution, whereas the “on-periods” are exponentially distributed. A branching process approach leads to a decomposition of the sojourn time, in which the components are independent of each other and can be investigated separately. We derive the Laplace–Stieltjes transform of the sojourn-time distribution in steady state, and show that the expected sojourn time is not proportional to the service requirement. In the heavy-traffic limit, the sojourn time conditioned on the service requirement and scaled by the traffic load is shown to be exponentially distributed. The results can be used for the performance analysis of elastic traffic in communication networks, in particular, the ABR service class in ATM networks, and best-effort services in IP networks.

Eficient techniques for simulating the Round-Robin and Processor-Sharing service disciplines are presented. These schemes are general an that they can be applied in any discrete-event simulation view to improve execution performance. For the Round-Robin discipline, the proposed approach is based on computation instead of process switching. For the ProcessorSharing discipline, we introduce a lazy approach in combination with any eficient priority queue structure to reduce scheduling-related computation. Using the Si simulation testbed for Simulating (process) interactions, the proposed algorithms are shown to be more efficient than the standard algorithms for simulating these service disciplines.