Queues and Queueing Networks

Similar documents
Queueing Theory I Summary! Little s Law! Queueing System Notation! Stationary Analysis of Elementary Queueing Systems " M/M/1 " M/M/m " M/M/1/K "

CPSC 531: System Modeling and Simulation. Carey Williamson Department of Computer Science University of Calgary Fall 2017

Performance Evaluation of Queuing Systems

Chapter 1. Introduction. 1.1 Stochastic process

Introduction to Queueing Theory

Queueing systems. Renato Lo Cigno. Simulation and Performance Evaluation Queueing systems - Renato Lo Cigno 1

Introduction to Queueing Theory

INDEX. production, see Applications, manufacturing

5/15/18. Operations Research: An Introduction Hamdy A. Taha. Copyright 2011, 2007 by Pearson Education, Inc. All rights reserved.

Introduction to Queueing Theory

Elementary queueing system

Queueing Theory II. Summary. ! M/M/1 Output process. ! Networks of Queue! Method of Stages. ! General Distributions

BIRTH DEATH PROCESSES AND QUEUEING SYSTEMS

Queueing Systems: Lecture 3. Amedeo R. Odoni October 18, Announcements

Chapter 10. Queuing Systems. D (Queuing Theory) Queuing theory is the branch of operations research concerned with waiting lines.

Slides 9: Queuing Models

Lecture 7: Simulation of Markov Processes. Pasi Lassila Department of Communications and Networking

PBW 654 Applied Statistics - I Urban Operations Research

Data analysis and stochastic modeling

Kendall notation. PASTA theorem Basics of M/M/1 queue

Part II: continuous time Markov chain (CTMC)

QUEUING SYSTEM. Yetunde Folajimi, PhD

J. MEDHI STOCHASTIC MODELS IN QUEUEING THEORY

Introduction to Queueing Theory with Applications to Air Transportation Systems

Chapter 6 Queueing Models. Banks, Carson, Nelson & Nicol Discrete-Event System Simulation

Contents Preface The Exponential Distribution and the Poisson Process Introduction to Renewal Theory

M/G/1 and M/G/1/K systems

Queueing Review. Christos Alexopoulos and Dave Goldsman 10/6/16. (mostly from BCNN) Georgia Institute of Technology, Atlanta, GA, USA

Continuous Time Processes

Lecture 20: Reversible Processes and Queues

Systems Simulation Chapter 6: Queuing Models

Queuing Networks: Burke s Theorem, Kleinrock s Approximation, and Jackson s Theorem. Wade Trappe

Link Models for Circuit Switching

GI/M/1 and GI/M/m queuing systems

LECTURE #6 BIRTH-DEATH PROCESS

Queueing Theory and Simulation. Introduction

Queueing Review. Christos Alexopoulos and Dave Goldsman 10/25/17. (mostly from BCNN) Georgia Institute of Technology, Atlanta, GA, USA

Non Markovian Queues (contd.)

Introduction to Queuing Networks Solutions to Problem Sheet 3

Queuing Theory. The present section focuses on the standard vocabulary of Waiting Line Models.

Queueing Theory. VK Room: M Last updated: October 17, 2013.

Figure 10.1: Recording when the event E occurs

Introduction to Markov Chains, Queuing Theory, and Network Performance

Outline. Finite source queue M/M/c//K Queues with impatience (balking, reneging, jockeying, retrial) Transient behavior Advanced Queue.

Part I Stochastic variables and Markov chains

2905 Queueing Theory and Simulation PART III: HIGHER DIMENSIONAL AND NON-MARKOVIAN QUEUES

Control of Fork-Join Networks in Heavy-Traffic

Queuing Theory. Richard Lockhart. Simon Fraser University. STAT 870 Summer 2011

Birth-Death Processes

Chapter 2 Queueing Theory and Simulation

Stochastic Models of Manufacturing Systems

An Analysis of the Preemptive Repeat Queueing Discipline

10.2 For the system in 10.1, find the following statistics for population 1 and 2. For populations 2, find: Lq, Ls, L, Wq, Ws, W, Wq 0 and SL.

The effect of probabilities of departure with time in a bank

Networking = Plumbing. Queueing Analysis: I. Last Lecture. Lecture Outline. Jeremiah Deng. 29 July 2013

Advanced Computer Networks Lecture 3. Models of Queuing

Richard C. Larson. March 5, Photo courtesy of Johnathan Boeke.

Analysis of A Single Queue

Exercises Stochastic Performance Modelling. Hamilton Institute, Summer 2010

A Queueing System with Queue Length Dependent Service Times, with Applications to Cell Discarding in ATM Networks

System with a Server Subject to Breakdowns

Analysis of an M/M/1/N Queue with Balking, Reneging and Server Vacations

Performance analysis of queueing systems with resequencing

Solutions to Homework Discrete Stochastic Processes MIT, Spring 2011

6 Solving Queueing Models

Probability and Statistics Concepts

Classical Queueing Models.

Glossary availability cellular manufacturing closed queueing network coefficient of variation (CV) conditional probability CONWIP

Non-Persistent Retrial Queueing System with Two Types of Heterogeneous Service

Name of the Student:

Structured Markov Chains

Analysis of M/M/n/K Queue with Multiple Priorities

Queueing. Chapter Continuous Time Markov Chains 2 CHAPTER 5. QUEUEING

Monotonicity Properties for Multiserver Queues with Reneging and Finite Waiting Lines

All models are wrong / inaccurate, but some are useful. George Box (Wikipedia). wkc/course/part2.pdf

57:022 Principles of Design II Final Exam Solutions - Spring 1997

Classification of Queuing Models

SYMBOLS AND ABBREVIATIONS

Computer Networks More general queuing systems

Multiserver Queueing Model subject to Single Exponential Vacation

Statistics 150: Spring 2007

Markov Chains. X(t) is a Markov Process if, for arbitrary times t 1 < t 2 <... < t k < t k+1. If X(t) is discrete-valued. If X(t) is continuous-valued

IEOR 6711, HMWK 5, Professor Sigman

An M/M/1/N Queuing system with Encouraged Arrivals

International Journal of Pure and Applied Mathematics Volume 28 No ,

M/M/1 Retrial Queueing System with Negative. Arrival under Erlang-K Service by Matrix. Geometric Method

HITTING TIME IN AN ERLANG LOSS SYSTEM

11 The M/G/1 system with priorities

Introduction to queuing theory

Introduction to Queuing Theory. Mathematical Modelling

Derivation of Formulas by Queueing Theory

Chapter 5. Elementary Performance Analysis

Queuing Theory. Queuing Theory. Fatih Cavdur April 27, 2015

Section 1.2: A Single Server Queue

Chapter 5: Special Types of Queuing Models

Waiting Line Models: Queuing Theory Basics. Metodos Cuantitativos M. En C. Eduardo Bustos Farias 1

Intro Refresher Reversibility Open networks Closed networks Multiclass networks Other networks. Queuing Networks. Florence Perronnin

CDA5530: Performance Models of Computers and Networks. Chapter 4: Elementary Queuing Theory

MULTIPLE CHOICE QUESTIONS DECISION SCIENCE

A Study on M x /G/1 Queuing System with Essential, Optional Service, Modified Vacation and Setup time

Transcription:

Queues and Queueing Networks Sanjay K. Bose Dept. of EEE, IITG Copyright 2015, Sanjay K. Bose 1

Introduction to Queueing Models and Queueing Analysis Copyright 2015, Sanjay K. Bose 2

Model of a Queue Arrivals Departures Waiting Positions Server(s) Copyright 2015, Sanjay K. Bose 3

Input Specifications Arrival Process Description Service Process Description Number of Servers Number of Waiting Positions Special Queueing Rules, e.g. - order of service (FCFS, LCFS, SIRO, etc.) baulking, reneging, jockeying for queue position Copyright 2015, Sanjay K. Bose 4

Input Specifications For networks of queues, one must provide additional information, such as - Interconnections between the queues Routing Strategy - deterministic, class based or probabilistic with given routing probabilities Strategy followed to handle blocking if the destination queue is one of finite capacity (i.e. with finite number of waiting positions) Copyright 2015, Sanjay K. Bose 5

An Open Queueing Network Copyright 2015, Sanjay K. Bose 6

A Closed Queueing Network Copyright 2015, Sanjay K. Bose 7

A Queue or a Queueing Network may be studied in different ways The results may be provided from different points of view Analysis and/or Simulation That of a customer entering the system for service That of a service provider who provides the resources (servers, buffers etc.) Copyright 2015, Sanjay K. Bose 8

Parameters of interest for a customer arriving to the queue for service (Service Parameters) Queueing delay Total delay Number waiting in queue Number in the system Blocking probability (for finite capacity queues) Probability that the customer has to wait for service Transient Analysis or Equilibrium Analysis Mean Results or Probability Distributions Copyright 2015, Sanjay K. Bose 9

Parameters of interest for the Service Provider (Service Parameters) Server Utilization/Occupancy Buffer Utilization/Occupancy Total Revenue obtained Total Revenue lost Customer Satisfaction (Grade of Service) Transient Analysis or Equilibrium Analysis Mean Results or Probability Distributions Copyright 2015, Sanjay K. Bose 10

Analytical Approach Subject to appropriate modelling assumptions, obtain exact analytical results for the mean performance parameters under equilibrium conditions In some special cases, we can also obtain results on higher moments (variance etc.) or probability distributions and/or their transforms. Transient analysis is not generally feasible, except for some very simple cases. For this, simulation methods are preferred. In some case, especially for queueing networks, exact analysis is not feasible but good approximate analytical methods are available. Copyright 2015, Sanjay K. Bose 11

Analysis of a Simple Queue (with some simplifying assumptions) Arrivals with an average arrival rate of Infinite Buffer (infinite number of waiting positions) Single Server service rate at the server Copyright 2015, Sanjay K. Bose 12

Assume that, as t0 P{one arrival in time t} = t P{no arrival in time t} =1- t P{more than one arrival in time t} = O((t) 2 ) = 0 Arrival Process Mean Inter-arrival time = 1 P{one departure in time t} = t P{no departure in time t} =1- t P{more than one departure in time t} = O((t) 2 ) = 0 Service Process Mean Service time = 1 P{one or more arrival and one or more departure in time t} = O((t) 2 ) = 0 Copyright 2015, Sanjay K. Bose 13

We have not really explicitly said it, but the implications of our earlier description for the arrivals and departures as t0 is that - The arrival process is a Poisson process with exponentially distributed random inter-arrival times The service time is an exponentially distributed random variable The arrival process and the service process are independent of each other Copyright 2015, Sanjay K. Bose 14

The state of the queue is defined by defining an appropriate system state variable System State at time t = N(t) = Number in the system at t (waiting and in service) Let p N (t) =P{system in state N at time t} Note that, given the initial system state at t=0 (which is typically assumed to be zero), if we can find p N (t) then we can actually describe probabilistically how the system will evolve with time. Copyright 2015, Sanjay K. Bose 15

Copyright 2015, Sanjay K. Bose 16 By ignoring terms with (t) 2 and higher order terms, the probability of the system state at time t+t may then be found as - t t p t t p t t p ) ( ] )[1 ( ) ( 1 0 0 N=0 (1.1) t t p t t p t t t p t t p N N N N ) ( ) ( ] )[1 ( ) ( 1 1 N>0 (1.2) subject to the normalisation condition that i i t p 1 ) ( for all t0

Taking the limits as t0, and subject to the same normalisation, we get dp 0 ( t) p0 ( t) p1 ( t ) N=0 (1.3) dt dp N dt ( t) ( ) p ( t) p ( t) p ( ) N>0 (1.4) N N 1 N 1 t These equations may be solved with the proper initial conditions to get the Transient Solution. If the queue starts with N in the system, then the corresponding initial condition will be p i (0)=0 p N (0)=1 for in for i=n Copyright 2015, Sanjay K. Bose 17

For the equilibrium solution, the conditions invoked are - dp i ( t) dt 0 and p i (t)=p i for i=0, 1, 2.. Copyright 2015, Sanjay K. Bose 18

For this, defining =/ erlangs, with <1for stability, we get p 1 =p 0 p N+1 =(1+)p N - p N-1 = p N = N+1 p 0 N1 (1.5) Applying the Normalization Condition i0 p ( 1 ) i = 0, 1,, i i pi 1 we get (1.6) as the equilibrium solution for the state distribution when the arrival and service rates are such that =/<1 Note that the equilibrium solution does not depend on the initial condition but requires that the average arrival rate must be less than the average service rate Copyright 2015, Sanjay K. Bose 19

Mean Performance Parameters of the Queue (a) Mean Number in System, N N i ip i i (1 ) i0 i0 1 (1.7) (b) Mean Number Waiting in Queue, N q N q 2 ( i 1) pi (1 p0) 1 1 1 i 1 (1.8) Copyright 2015, Sanjay K. Bose 20

Mean Performance Parameters of the Queue (c) Mean Time Spent in System W This would require the following additional assumptions FCFS system though the mean results will hold for any queue where the server does not idle while there are customers in the system The equilibrium state probability p k will also be the same as the probability distribution for the number in the system as seen by an arriving customer The mean residual service time for the customer currently in service when an arrival occurs will still be 1/ Memory-less Property satisfied only by the exponential distribution Copyright 2015, Sanjay K. Bose 21

Mean Performance Parameters of the Queue (continued) Using these assumptions, we can write W ( k 1) p 1 (1 k k0 ) (1.9) (d) Mean Time Spent Waiting in Queue W q This will obviously be one mean service time less than W W q W 1 (1 ) (1.10) Copyright 2015, Sanjay K. Bose 22

Mean Performance Parameters of the Queue (continued) Alternatively, W q may be obtained using the same kind of arguments as those used to obtain W earlier. This will give W q k k pk 0 (1 ) which is the same result as obtained earlier. (e) P{Arriving customer has to wait for service} = 1-p 0 = Copyright 2015, Sanjay K. Bose 23

Mean Performance Parameters of the Queue (continued) (f) Server Utilization Fraction of time the server is busy = P{server is not idle} =1-p 0 = The queue we have analyzed is the single server M/M/1/ queue with Poisson arrivals, exponentially distributed service times and infinite number of buffer positions Copyright 2015, Sanjay K. Bose 24

The analytical approach given here may actually be applied for simple queueing situations where - The arrival process is Poisson, i.e. the inter-arrival times are exponentially distributed The service times are exponentially distributed The arrival process and the service process are independent of each other Copyright 2015, Sanjay K. Bose 25

Some other simple queues which may be similarly analyzed, under the same assumptions - Queue with Finite Capacity Queue with Multiple Servers Queue with Variable Arrival Rates Queue with Balking Copyright 2015, Sanjay K. Bose 26

Kendall s Notation for Queues A/B/C/D/E A B C D E Inter-arrival time distribution Service time distribution Number of servers Maximum number of jobs that can be there in the system (waiting and in service) Default for infinite number of waiting positions Queueing Discipline (FCFS, LCFS, SIRO etc.) Default is FCFS M exponential D deterministic E k Erlangian (order k) G general M/M/1 or M/M/1/ Single server queue with Poisson arrivals, exponentially distributed service times and infinite number of waiting positions Copyright 2014, Sanjay K. Bose 27

Equilibrium Analysis of M/M/-/- Type of Queues can be easily done using a State Transition Diagram 0 1 0 State Transition Diagram for a Birth- Death Process i ij j ji i j i j i p p p p p i 1 1 2 1 2 3 2 Flow Balance Normalization Condition p k (t) = P{X(t)=k} = Probability system in state k at time t. k-1 k k-1 k k+1 k k+1 Copyright 2014, Sanjay K. Bose 28

Equilibrium Analysis of M/-/-/- Type of Queues where the service times can be expressed as a combination of exponentially distributed random variables can also be done in a similar way using Method of Stages 0.5 1 Buffer Stage 1 1/ 0.5 0.5 Stage 2 1/ 0.5 2 Service Facility L B ( s) 0.5s( ) 1 ( s )( s ) 1 2 2 1 2 L B ( s) 0.5 s 0.5 ( s 2 ) 2 Copyright 2015, Sanjay K. Bose 29

Method of Stages Entry Stage 1 1 1 2 Stage 1 1 1-1 1-2 L Exit j i B( s) (1 1) 1... j1(1 j ) j i1 s i 0 i i s i Note: Feedback type connections are also allowed Copyright 2015, Sanjay K. Bose 30

Retrial Queue A Simple Example New Customers Arriving for Service Rate λ Customers Rearriving from Orbit Rate γ M/M/1/1 1/μ Customers who find server busy Customers Departing after Service λ Customers in Orbit Impatient Customers leaving without service Copyright 2014, Sanjay K. Bose 31

Retrial Queue A Simple Example State Descriptor: (i, n) i = 0,1 n = 0,1,2,... i number of customers in service, n number of customers in orbit λ λ λ 1, 0 1, 1 1, 2 λ µ γ λ µ 2γ λ µ 3γ 0, 0 0, 1 0, 2 State Transition Diagram Copyright 2014, Sanjay K. Bose 32

M/M/1 Retrial Queue with Impatient Customers λ Customers Rearriving from Orbit Rate γ M/M/1/1 1/μ Customers who find server busy Customers Departing after Service λ Customers in Orbit q 1-q Impatient Customers leaving without service Customers who find the server busy, enter the orbit with probability q and leave the system with probability (1-q) Copyright 2014, Sanjay K. Bose 33

Equilibrium Analysis of the M/G/1 Queue Mean Analysis using Residual Life Arguments Analysis using an Imbedded Markov Chain Approach Method of Supplementary Variables Method of Stages or other exact/approximate analytical methods may also be used Matrix-Geometric Method may be used to analyze G/M/1, G/E k /1 and G/PH k /1 kind of queues Copyright 2015, Sanjay K. Bose 34

M/G/1 Queue with Vacations Vacation: After a busy period, the server goes on vacation of random length. It examines the queue once again when it returns from the vacation Multiple Vacations (possibly) If system still empty when the server returns from a vacation, it goes for another vacation. This continues until it finds system nonempty on return from vacation; it then resumes service normally Single Vacation (per idle) After a busy period ends, server goes on only one vacation. If system is still empty when it returns, it stays and waits for a job to arrive. Other models are also possible, e.g. server goes on (possibly multiple) vacations following the busy period until there are K waiting jobs or the server goes for at most K vacations if it comes back and finds system empty Copyright 2014, Sanjay K. Bose 35

M[x]/G/1 Queue : Queue with Batch Arrivals Time Batch Arrivals at Rate Number of jobs in a batch = r (random variable) 1 r r = P{r jobs in a batch} r1 ( z) r z E{ r} r r (1) r1 r r Copyright 2014, Sanjay K. Bose 36

M[x]/G/1 Queue : Queue with Batch Arrivals Equilibrium solution for performance measures like mean delay and mean number in system may be done using an Imbedded Markov Chain approach Equilibrium solutions first obtained consider each batch as a single job Subsequently, examine service of a job within a batch Copyright 2015, Sanjay K. Bose 37

Priority Operation of a M/G/1 Queue Class 1 jobs 1 2 Class P jobs P P Priority Classes Class P Highest Priority Class Class 1 Lowest Priority Class Head of Line (HOL) Priority Operation of M/G/1 Queue Copyright 2014, Sanjay K. Bose 38

Priority Discipline Non-Preemptive Preemptive work conserving disciplines Preemptive Resume Preemptive Non-Resume Copyright 2014, Sanjay K. Bose 39

Analytical Approach for Studying Multi- Priority M/G/1 Queues Residual Life Approach Imbedded Markov Chain Approach Copyright 2014, Sanjay K. Bose 40

The G/M/1 Queue The G/M/1 queue is the dual of the M/G/1 queue where the arrival process is a general one but the service times are exponentially distributed. Service time distribution is exponential with parameter 1/ General Arrival Process with mean arrival rate. Total Traffic =/ Stability consideration require that <1 for the queue to be at equilibrium Copyright 2014, Sanjay K. Bose 41

G/G/1 and G/G/m Queue Exact analysis cannot be done but various bounds and approximations are available Special approximations which are quite good available under heavy traffic conditions Copyright 2015, Sanjay K. Bose 42