778 research outputs found
Perfect Simulation of Queues
In this paper we describe a perfect simulation algorithm for the stable
queue. Sigman (2011: Exact Simulation of the Stationary Distribution of
the FIFO M/G/c Queue. Journal of Applied Probability, 48A, 209--213) showed how
to build a dominated CFTP algorithm for perfect simulation of the super-stable
queue operating under First Come First Served discipline, with
dominating process provided by the corresponding queue (using Wolff's
sample path monotonicity, which applies when service durations are coupled in
order of initiation of service), and exploiting the fact that the workload
process for the queue remains the same under different queueing
disciplines, in particular under the Processor Sharing discipline, for which a
dynamic reversibility property holds. We generalize Sigman's construction to
the stable case by comparing the queue to a copy run under Random
Assignment. This allows us to produce a naive perfect simulation algorithm
based on running the dominating process back to the time it first empties. We
also construct a more efficient algorithm that uses sandwiching by lower and
upper processes constructed as coupled queues started respectively from
the empty state and the state of the queue under Random Assignment. A
careful analysis shows that appropriate ordering relationships can still be
maintained, so long as service durations continue to be coupled in order of
initiation of service. We summarize statistical checks of simulation output,
and demonstrate that the mean run-time is finite so long as the second moment
of the service duration distribution is finite.Comment: 28 pages, 5 figure
Block-Structured Supermarket Models
Supermarket models are a class of parallel queueing networks with an adaptive
control scheme that play a key role in the study of resource management of,
such as, computer networks, manufacturing systems and transportation networks.
When the arrival processes are non-Poisson and the service times are
non-exponential, analysis of such a supermarket model is always limited,
interesting, and challenging.
This paper describes a supermarket model with non-Poisson inputs: Markovian
Arrival Processes (MAPs) and with non-exponential service times: Phase-type
(PH) distributions, and provides a generalized matrix-analytic method which is
first combined with the operator semigroup and the mean-field limit. When
discussing such a more general supermarket model, this paper makes some new
results and advances as follows: (1) Providing a detailed probability analysis
for setting up an infinite-dimensional system of differential vector equations
satisfied by the expected fraction vector, where "the invariance of environment
factors" is given as an important result. (2) Introducing the phase-type
structure to the operator semigroup and to the mean-field limit, and a
Lipschitz condition can be obtained by means of a unified matrix-differential
algorithm. (3) The matrix-analytic method is used to compute the fixed point
which leads to performance computation of this system. Finally, we use some
numerical examples to illustrate how the performance measures of this
supermarket model depend on the non-Poisson inputs and on the non-exponential
service times. Thus the results of this paper give new highlight on
understanding influence of non-Poisson inputs and of non-exponential service
times on performance measures of more general supermarket models.Comment: 65 pages; 7 figure
Recommended from our members
A Robust Queueing Network Analyzer Based on Indices of Dispersion
In post-industrial economies, modern service systems are dramatically changing the daily lives of many people. Such systems are often complicated by uncertainty: service providers usually cannot predict when a customer will arrive and how long the service will be. Fortunately, useful guidance can often be provided by exploiting stochastic models such as queueing networks. In iterating the design of service systems, decision makers usually favor analytical analysis of the models over simulation methods, due to the prohibitive computation time required to obtain optimal solutions for service operation problems involving multidimensional stochastic networks. However, queueing networks that can be solved analytically require strong assumptions that are rarely satisfied, whereas realistic models that exhibit complicated dependence structure are prohibitively hard to analyze exactly.
In this thesis, we continue the effort to develop useful analytical performance approximations for the single-class open queueing network with Markovian routing, unlimited waiting space and the first-come first-served service discipline. We focus on open queueing networks where the external arrival processes are not Poisson and the service times are not exponential.
We develop a new non-parametric robust queueing algorithm for the performance approximation in single-server queues. With robust optimization techniques, the underlying stochastic processes are replaced by samples from suitably defined uncertainty sets and the worst-case scenario is analyzed. We show that this worst-case characterization of the performance measure is asymptotically exact for approximating the mean steady-state workload in G/G/1 models in both the light-traffic and heavy-traffic limits, under mild regularity conditions. In our non-parametric Robust Queueing formulation, we focus on the customer flows, defined as the continuous-time processes counting customers in or out of the network, or flowing from one queue to another. Each flow is partially characterized by a continuous function that measures the change of stochastic variability over time. This function is called the index of dispersion for counts. The Robust Queueing algorithm converts the index of dispersion for counts into approximations of the performance measures. We show the advantage of using index of dispersion for counts in queueing approximation by a renewal process characterization theorem and the ordering of the mean steady-state workload in GI/M/1 models.
To develop generalized algorithm for open queueing networks, we first establish the heavy-traffic limit theorem for the stationary departure flows from a GI/GI/1 model. We show that the index of dispersion for counts function of the stationary departure flow can be approximately characterized as the convex combination of the arrival index of dispersion for counts and service index of dispersion for counts with a time-dependent weight function, revealing the non-trivial impact of the traffic intensity on the departure processes. This heavy-traffic limit theorem is further generalized into a joint heavy-traffic limit for the stationary customer flows in generalized Jackson networks, where the external arrival are characterized by independent renewal processes and the service times are independent and identically distributed random variables, independent of the external arrival processes.
We show how these limiting theorems can be exploited to establish a set of linear equations, whose solution serves as approximations of the index of dispersion for counts of the flows in an open queueing network. We prove that this set of equations is asymptotically exact in approximating the index of dispersion for counts of the stationary flows. With the index of dispersion for counts available, the network is decomposed into single-server queues and the Robust Queueing algorithm can be applied to obtain performance approximation. This algorithm is referred to as the Robust Queueing Network Analyzer.
We perform extensive simulation study to validate the effectiveness of our algorithm. We show that our algorithm can be applied not only to models with non-exponential distirbutions but also to models with more complex arrival processes than renewal processes, including those with Markovian arrival processes
Loss systems in a random environment
We consider a single server system with infinite waiting room in a random
environment. The service system and the environment interact in both
directions. Whenever the environment enters a prespecified subset of its state
space the service process is completely blocked: Service is interrupted and
newly arriving customers are lost. We prove an if-and-only-if-condition for a
product form steady state distribution of the joint queueing-environment
process. A consequence is a strong insensitivity property for such systems.
We discuss several applications, e.g. from inventory theory and reliability
theory, and show that our result extends and generalizes several theorems found
in the literature, e.g. of queueing-inventory processes.
We investigate further classical loss systems, where due to finite waiting
room loss of customers occurs. In connection with loss of customers due to
blocking by the environment and service interruptions new phenomena arise.
We further investigate the embedded Markov chains at departure epochs and
show that the behaviour of the embedded Markov chain is often considerably
different from that of the continuous time Markov process. This is different
from the behaviour of the standard M/G/1, where the steady state of the
embedded Markov chain and the continuous time process coincide.
For exponential queueing systems we show that there is a product form
equilibrium of the embedded Markov chain under rather general conditions. For
systems with non-exponential service times more restrictive constraints are
needed, which we prove by a counter example where the environment represents an
inventory attached to an M/D/1 queue. Such integrated queueing-inventory
systems are dealt with in the literature previously, and are revisited here in
detail
The effective bandwidth problem revisited
The paper studies a single-server queueing system with autonomous service and
priority classes. Arrival and departure processes are governed by marked
point processes. There are buffers corresponding to priority classes,
and upon arrival a unit of the th priority class occupies a place in the
th buffer. Let , denote the quota for the total
th buffer content. The values are assumed to be large, and
queueing systems both with finite and infinite buffers are studied. In the case
of a system with finite buffers, the values characterize buffer
capacities.
The paper discusses a circle of problems related to optimization of
performance measures associated with overflowing the quota of buffer contents
in particular buffers models. Our approach to this problem is new, and the
presentation of our results is simple and clear for real applications.Comment: 29 pages, 11pt, Final version, that will be published as is in
Stochastic Model
- …