Extremal properties of the FIFO discipline in queueing networks

1992 ◽  
Vol 29 (4) ◽  
pp. 967-978 ◽  
Author(s):  
Rhonda Righter ◽  
J. George Shanthikumar

We show that using the FIFO service discipline at single server stations with ILR (increasing likelihood ratio) service time distributions in networks of monotone queues results in stochastically earlier departures throughout the network. The converse is true at stations with DLR (decreasing likelihood ratio) service time distributions. We use these results to establish the validity of the following comparisons:(i) The throughput of a closed network of FIFO single-server queues will be larger (smaller) when the service times are ILR (DLR) rather than exponential with the same means.(ii) The total stationary number of customers in an open network of FIFO single-server queues with Poisson external arrivals will be stochastically smaller (larger) when the service times are ILR (DLR) rather than exponential with the same means.We also give a surprising counterexample to show that although FIFO stochastically maximizes the number of departures by any time t from an isolated single-server queue with IHR (increasing hazard rate, which is weaker than ILR) service times, this is no longer true for networks of more than one queue. Thus the ILR assumption cannot be relaxed to IHR.Finally, we consider multiclass networks of exponential single-server queues, where the class of a customer at a particular station determines its service rate at that station, and show that serving the customer with the highest service rate (which is SEPT — shortest expected processing time first) results in stochastically earlier departures throughout the network, among all preemptive work-conserving policies. We also show that a cµ rule stochastically maximizes the number of non-defective service completions by any time t when there are random, agreeable, yields.

1992 ◽  
Vol 29 (04) ◽  
pp. 967-978 ◽  
Author(s):  
Rhonda Righter ◽  
J. George Shanthikumar

We show that using the FIFO service discipline at single server stations with ILR (increasing likelihood ratio) service time distributions in networks of monotone queues results in stochastically earlier departures throughout the network. The converse is true at stations with DLR (decreasing likelihood ratio) service time distributions. We use these results to establish the validity of the following comparisons: (i) The throughput of a closed network of FIFO single-server queues will be larger (smaller) when the service times are ILR (DLR) rather than exponential with the same means. (ii) The total stationary number of customers in an open network of FIFO single-server queues with Poisson external arrivals will be stochastically smaller (larger) when the service times are ILR (DLR) rather than exponential with the same means. We also give a surprising counterexample to show that although FIFO stochastically maximizes the number of departures by any time t from an isolated single-server queue with IHR (increasing hazard rate, which is weaker than ILR) service times, this is no longer true for networks of more than one queue. Thus the ILR assumption cannot be relaxed to IHR. Finally, we consider multiclass networks of exponential single-server queues, where the class of a customer at a particular station determines its service rate at that station, and show that serving the customer with the highest service rate (which is SEPT — shortest expected processing time first) results in stochastically earlier departures throughout the network, among all preemptive work-conserving policies. We also show that a cµ rule stochastically maximizes the number of non-defective service completions by any time t when there are random, agreeable, yields.


1990 ◽  
Vol 27 (02) ◽  
pp. 465-468 ◽  
Author(s):  
Arie Harel

We show that the waiting time in queue and the sojourn time of every customer in the G/G/1 and G/D/c queue are jointly convex in mean interarrival time and mean service time, and also jointly convex in mean interarrival time and service rate. Counterexamples show that this need not be the case, for the GI/GI/c queue or for the D/GI/c queue, for c ≧ 2. Also, we show that the average number of customers in the M/D/c queue is jointly convex in arrival and service rates. These results are surprising in light of the negative result for the GI/GI/2 queue (Weber (1983)).


1990 ◽  
Vol 27 (2) ◽  
pp. 465-468 ◽  
Author(s):  
Arie Harel

We show that the waiting time in queue and the sojourn time of every customer in the G/G/1 and G/D/c queue are jointly convex in mean interarrival time and mean service time, and also jointly convex in mean interarrival time and service rate. Counterexamples show that this need not be the case, for the GI/GI/c queue or for the D/GI/c queue, for c ≧ 2. Also, we show that the average number of customers in the M/D/c queue is jointly convex in arrival and service rates.These results are surprising in light of the negative result for the GI/GI/2 queue (Weber (1983)).


1998 ◽  
Vol 12 (3) ◽  
pp. 329-350 ◽  
Author(s):  
Sridhar Seshadri ◽  
Michael Pinedo

A significant amount of recent research has been focused on the stability of multiclass open networks of queues (MONQs). It has been shown that these networks may be unstable under various queueing disciplines even when at each one of the nodes the arrival rate is less than the service rate. Clearly, in such cases the expected delay and the expected number of customers in the system are infinite. In this paper we propose a new class of scheduling rules that can be used in multiclass queueing networks. We refer to this class as the stable shortfall-based priority (SSBP) rules. This SSBP class itself belongs to a larger class of rules, which we refer to as the shortfall-based priority (SBP) rules. SBP is a generalization of the standard non-preemptive priority rule in which customers of the same priority class are served first-come, first-served (FCFS). Rules from SBP can mimic FCFS as well as the so-called strict or head-of-the-line priority disciplines. We show that the use of any rule from the SSBP class ensures stability in a broad class of MONQs found in practice. We proceed with the construction of a sample path inequality for the work done by an SSBP server and show how this inequality can be used to derive upper bounds for the delay when service times are bounded. Bounds for the expected delay of each class of customers in an MONQ are then obtained under the assumptions that the external arrival processes have i.i.d. interarrival times, the routings are deterministic and the service times at each step of the route are bounded. In order to derive these bounds for the average delay in an MONQ we make use of some of the classical ideas of Kingman.


2017 ◽  
Vol 27 (1) ◽  
pp. 119-131 ◽  
Author(s):  
Arianna Brugno ◽  
Ciro D’Apice ◽  
Alexander Dudin ◽  
Rosanna Manzo

Abstract A novel customer batch service discipline for a single server queue is introduced and analyzed. Service to customers is offered in batches of a certain size. If the number of customers in the system at the service completion moment is less than this size, the server does not start the next service until the number of customers in the system reaches this size or a random limitation of the idle time of the server expires, whichever occurs first. Customers arrive according to a Markovian arrival process. An individual customer’s service time has a phase-type distribution. The service time of a batch is defined as the maximum of the individual service times of the customers which form the batch. The dynamics of such a system are described by a multi-dimensional Markov chain. An ergodicity condition for this Markov chain is derived, a stationary probability distribution of the states is computed, and formulas for the main performance measures of the system are provided. The Laplace–Stieltjes transform of the waiting time is obtained. Results are numerically illustrated.


2013 ◽  
Vol 30 (05) ◽  
pp. 1350019 ◽  
Author(s):  
EFRAT PEREL ◽  
URI YECHIALI

We consider systems comprised of two interlacing M/M/ • /• type queues, where customers of each queue are the servers of the other queue. Such systems can be found for example in file sharing programs, SETI@home project, and other applications [Arazi, A, E Ben-Jacob and U Yechiali (2005). Controlling an oscillating Jackson-type network having state-dependant service rates. Mathematical Methods of Operations Research, 62, 453–466]. Denoting by Li the number of customers in queue i(Qi), i = 1, 2, we assume that Q1 is a multi-server finite-buffer system with an overall capacity of size N, where the customers there are served by the L2 customers present in Q2. Regarding Q2, we study two different scenarios described as follows: (i) All customers present in Q1 join hands together to form a single server for the customers in Q2, with service time exponentially distributed with an overall intensity μ2L1. That is, the service rate of the customers in Q2 changes dynamically, following the state of Q1. (ii) Each of the customers present in Q1individually acts as a server for the customers in Q2, with service time exponentially distributed with mean 1/μ2. In other words, the number of servers at Q2 changes according to the queue size fluctuations of Q1. We present a probabilistic analysis of such systems, applying both Matrix Geometric method and Probability Generating Functions (PGFs) approach, and derive the stability condition for each model, along with its two-dimensional stationary distribution function. We reveal a relationship between the roots of a given matrix, related to the PGFs, and the stability condition of the systems. In addition, we calculate the means of Li, i = 1, 2, along with their correlation coefficient, and obtain the probability of blocking at Q1. Finally, we present numerical examples and compare between the two models.


1963 ◽  
Vol 3 (4) ◽  
pp. 503-512 ◽  
Author(s):  
B. D. Craven

Various authors have studied the transient behaviour of single-server queues. Notably, Takacs [13], [14] has analysed a queue with recurrent input and exponential service time distributions, Keilson and Kooharian [9], [10] and Finch [5] have considered a queue with general independent input and service times, Finch [6] has analysed a queue with non-recurrent input and Erlang service, and Jaiswal [8] has considered the bulk-service queue with Poisson input and Erlang service.


1991 ◽  
Vol 28 (02) ◽  
pp. 433-445 ◽  
Author(s):  
Masakiyo Miyazawa ◽  
Genji Yamazaki

The attained waiting time of customers in service of the G/G/1 queue is compared for various work-conserving service disciplines. It is proved that the attained waiting time distribution is minimized (maximized) in convex order when the discipline is FCFS (PR-LCFS). We apply the result to characterize finiteness of moments of the attained waiting time in the GI/GI/1 queue with an arbitrary work-conserving service discipline. In this discussion, some interesting relationships are obtained for a PR-LCFS queue.


1987 ◽  
Vol 19 (03) ◽  
pp. 708-738 ◽  
Author(s):  
X. R. Cao

Perturbation analysis is a new technique which yields the sensitivities of system performance measures with respect to parameters based on one sample path of a system. This paper provides some theoretical analysis for this method. A new notion, the realization probability of a perturbation in a closed queueing network, is studied. The elasticity of the expected throughput in a closed Jackson network with respect to the mean service times can be expressed in terms of the steady-state probabilities and realization probabilities in a very simple way. The elasticity of the throughput with respect to the mean service times when the service distributions are perturbed to non-exponential distributions can also be obtained using these realization probabilities. It is proved that the sample elasticity of the throughput obtained by perturbation analysis converges to the elasticity of the expected throughput in steady-state both in mean and with probability 1 as the number of customers served goes to This justifies the existing algorithms based on perturbation analysis which efficiently provide the estimates of elasticities in practice.


Sign in / Sign up

Export Citation Format

Share Document