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

Σχετικά έγγραφα
Outline. M/M/1 Queue (infinite buffer) M/M/1/N (finite buffer) Networks of M/M/1 Queues M/G/1 Priority Queue

CE 530 Molecular Simulation

Εισαγωγή στην θεωρία ουρών.

2 Composition. Invertible Mappings

Στοιχεία Θεωρίας Αναµονής (queueing theory) ίκτυα Επικοινωνιών: Στοιχεία Θεωρίας Αναµονής -- N. Μήτρου

EE512: Error Control Coding

ST5224: Advanced Statistical Theory II

Matrices and Determinants

Απόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.

Fractional Colorings and Zykov Products of graphs

Econ 2110: Fall 2008 Suggested Solutions to Problem Set 8 questions or comments to Dan Fetter 1

Solutions to Exercise Sheet 5

Jesse Maassen and Mark Lundstrom Purdue University November 25, 2013

HOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:

Section 8.3 Trigonometric Equations

Areas and Lengths in Polar Coordinates

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)

Homework 3 Solutions

ΣΥΣΤΗΜΑΤΑ ΑΝΑΜΟΝΗΣ Queuing Systems

Problem Set 3: Solutions

Areas and Lengths in Polar Coordinates

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS

Math221: HW# 1 solutions

Every set of first-order formulas is equivalent to an independent set

Homework 8 Model Solution Section

THE M/G/1 FEEDBACK RETRIAL QUEUE WITH TWO TYPES OF CUSTOMERS. Yong Wan Lee

TMA4115 Matematikk 3

PARTIAL NOTES for 6.1 Trigonometric Identities

Tired Waiting in Queues? Then get in line now to learn more about Queuing!

k A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +

Systems with unlimited supply of work: MCQN with infinite virtual buffers A Push Pull multiclass system

Finite Field Problems: Solutions

Congruence Classes of Invertible Matrices of Order 3 over F 2

The challenges of non-stable predicates

The Simply Typed Lambda Calculus

Section 7.6 Double and Half Angle Formulas

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Ψηφιακή Οικονομία. Διάλεξη 10η: Basics of Game Theory part 2 Mαρίνα Μπιτσάκη Τμήμα Επιστήμης Υπολογιστών

2. THEORY OF EQUATIONS. PREVIOUS EAMCET Bits.

4.6 Autoregressive Moving Average Model ARMA(1,1)

Models for Probabilistic Programs with an Adversary

Probability and Random Processes (Part II)

C.S. 430 Assignment 6, Sample Solutions

Inverse trigonometric functions & General Solution of Trigonometric Equations

Μηχανική Μάθηση Hypothesis Testing

Example Sheet 3 Solutions

6.3 Forecasting ARMA processes

Solution Series 9. i=1 x i and i=1 x i.

Other Test Constructions: Likelihood Ratio & Bayes Tests

w o = R 1 p. (1) R = p =. = 1

Partial Differential Equations in Biology The boundary element method. March 26, 2013

Second Order Partial Differential Equations

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions

Practice Exam 2. Conceptual Questions. 1. State a Basic identity and then verify it. (a) Identity: Solution: One identity is csc(θ) = 1

On a four-dimensional hyperbolic manifold with finite volume

Uniform Convergence of Fourier Series Michael Taylor

5. Choice under Uncertainty

Statistical Inference I Locally most powerful tests

derivation of the Laplacian from rectangular to spherical coordinates

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β

5.4 The Poisson Distribution.

Concrete Mathematics Exercises from 30 September 2016

ΣΥΣΤΗΜΑΤΑ ΑΝΑΜΟΝΗΣ Queuing Systems Διαδικασίες Γεννήσεων - Θανάτων Εξισώσεις Ισορροπίας - Ουρές Μ/Μ/1, M/M/1/N Προσομοίωση Ουράς Μ/Μ/1/Ν

Fourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics

ΕΛΛΗΝΙΚΗ ΔΗΜΟΚΡΑΤΙΑ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ. Ψηφιακή Οικονομία. Διάλεξη 7η: Consumer Behavior Mαρίνα Μπιτσάκη Τμήμα Επιστήμης Υπολογιστών

(C) 2010 Pearson Education, Inc. All rights reserved.

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

ΠΤΥΧΙΑΚΗ ΕΡΓΑΣΙΑ "ΠΟΛΥΚΡΙΤΗΡΙΑ ΣΥΣΤΗΜΑΤΑ ΛΗΨΗΣ ΑΠΟΦΑΣΕΩΝ. Η ΠΕΡΙΠΤΩΣΗ ΤΗΣ ΕΠΙΛΟΓΗΣ ΑΣΦΑΛΙΣΤΗΡΙΟΥ ΣΥΜΒΟΛΑΙΟΥ ΥΓΕΙΑΣ "

M / M (k) /1 Queuing model with varying bulk service

SOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

Depth versus Rigidity in the Design of International Trade Agreements. Leslie Johns

Example of the Baum-Welch Algorithm

ΚΥΠΡΙΑΚΗ ΕΤΑΙΡΕΙΑ ΠΛΗΡΟΦΟΡΙΚΗΣ CYPRUS COMPUTER SOCIETY ΠΑΓΚΥΠΡΙΟΣ ΜΑΘΗΤΙΚΟΣ ΔΙΑΓΩΝΙΣΜΟΣ ΠΛΗΡΟΦΟΡΙΚΗΣ 19/5/2007

Jackson 2.25 Homework Problem Solution Dr. Christopher S. Baird University of Massachusetts Lowell

Διάρκεια μιας Ομολογίας (Duration) Ανοσοποίηση (Immunization)

Approximation of distance between locations on earth given by latitude and longitude

ΕΙΣΑΓΩΓΗ ΣΤΗ ΣΤΑΤΙΣΤΙΚΗ ΑΝΑΛΥΣΗ

Quadratic Expressions

A Note on Intuitionistic Fuzzy. Equivalence Relation

Exercises 10. Find a fundamental matrix of the given system of equations. Also find the fundamental matrix Φ(t) satisfying Φ(0) = I. 1.

CRASH COURSE IN PRECALCULUS

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in

CHAPTER 48 APPLICATIONS OF MATRICES AND DETERMINANTS

2. Μηχανικό Μαύρο Κουτί: κύλινδρος με μια μπάλα μέσα σε αυτόν.

( y) Partial Differential Equations

Math 6 SL Probability Distributions Practice Test Mark Scheme

F19MC2 Solutions 9 Complex Analysis

forms This gives Remark 1. How to remember the above formulas: Substituting these into the equation we obtain with

A Bonus-Malus System as a Markov Set-Chain. Małgorzata Niemiec Warsaw School of Economics Institute of Econometrics

Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3

HOMEWORK#1. t E(x) = 1 λ = (b) Find the median lifetime of a randomly selected light bulb. Answer:

12. Radon-Nikodym Theorem

Srednicki Chapter 55

Elements of Information Theory

Numerical Analysis FMN011

1. A fully continuous 20-payment years, 30-year term life insurance of 2000 is issued to (35). You are given n A 1

Second Order RLC Filters

1. (a) (5 points) Find the unit tangent and unit normal vectors T and N to the curve. r(t) = 3cost, 4t, 3sint

Example 1: THE ELECTRIC DIPOLE

Μοντελοποίηση, Ανάλυση και Σχεδιασμός Στοχαστικών Συστημάτων

Transcript:

Queueing Theory I Suary Little s Law Queueing Syste Notation Stationary Analysis of Eleentary Queueing Systes M/M/ M/M/ M/M//

Little s Law a(t): the process that counts the nuber of arrivals up to t. d(t): the process that counts the nuber of departures up to t. N(t) a(t)- d(t) a(t) d(t) N(t) Area γ(t) Tie t Average arrival rate (up to t) t a(t)/t Average tie each custoer spends in the syste T t γ(t)/a(t) Average nuber in the syste N t γ(t)/t Little s Law d(t) a(t) N(t) Area γ(t) N T t t t Taking the liit as t goes to infinity Expected nuber of custoers in the syste E[ N ] E[ T ] Tie t Expected tie in the syste Arrival rate IN the syste

Generality of Little s Law E[ N ] E[ T ] Little s Law is a pretty general result It does not depend on the arrival process distribution It does not depend on the service process distribution It does not depend on the nuber of servers and buffers in the syste. Aggregate Arrival rate Queueing Network Specification of Queueing Systes Custoer arrival and service stochastic odels Structural Paraeters Nuber of servers Storage capacity Operating policies Custoer class differentiation (are all custoers treated the sae or do soe have priority over others?) Scheduling/Queueing policies (which custoer is served next) Adission policies (which/when custoers are aditted)

Queueing Syste Notation Arrival Process M: Markovian D: Deterinistic Er: Erlang G: General A/B///N Service Process M: Markovian D: Deterinistic Er: Erlang G: General Nuber of servers,, Storage Capacity,, (if then it is oitted) Nuber of custoers N,, (for closed networks otherwise it is oitted) Perforance Measures of Interest We are interested in steady state behavior Even though it is possible to pursue transient results, it is a significantly ore difficult task. E[S] average syste tie (average tie spent in the syste) E[W] average waiting tie (average tie spent waiting in queue(s)) E[X] average queue length E[U] average utilization (fraction of tie that the resources are being used) E[R] average throughput (rate that custoers leave the syste) E[L] average custoer loss (rate that custoers are lost or probability that a custoer is lost)

Recall the Birth-Death Chain Exaple 3 - - At steady state, we obtain + In general... ( + ) + + + Making the su equal to... +... - Solution exists if - +... +... S + <... + M/M/ Exaple Meaning: Poisson Arrivals, exponentially distributed service ties, one server and infinite capacity buffer. - Using the birth-death result and, we obtain,,,,... Therefore + for / < ( ),,,...

M/M/ Perforance Metrics Server Utilization [ ] ( ) E U Throughput E R [ ] ( ) Expected Queue Length d { } E[ X ] ( ) ( ) d d d ( ) ( ) d d ( ) ( ) M/M/ Perforance Metrics Average Syste Tie E[ X] E[ S] E[ S] E[ X] E [ S] ( ) ( ) Average waiting tie in queue E[ S] E[ W] + E[ Z ] E[ W] E[ S] E[ Z ] E [ W ] ( ) ( )

M/M/ Perforance Metrics Exaples.5 4 Delay (tie units) / Nuber of custoers 35 3 5 5 5 Ε[Χ] Ε[S] Ε[W]...3.4.5.6.7.8.9 rho PASTA Property PASTA: Poisson Arrivals See Tie Averages Let (t) Pr{ Syste state X(t) } Let a (t) Pr{ Arriving custoer at t finds X(t) } In general (t) a (t)! Suppose a D/D/ syste with interarrival ties equal to and service ties equal to.5 a a a a.5..5..5 3. Thus (t).5 and (t).5 while a (t) and a (t)!

Theore For a queueing syste, when the arrival process is Poisson and independent of the service process then, the probability that an arriving custoer finds custoers in the syste is equal to the probability that the syste is at state. In other words, a () t () t Pr X () t,,,... Proof: () li Pr () (, + Δ ) Δ t { } { t } a t X a tt t li Δ t { X () t a( tt+ Δt) } Pr { a ( tt, +Δt) } { X () t } a( tt+δt) Pr a( tt, +Δt) Pr,, { } { } Arrival occurs in interval (t,δt) Pr Pr, li Pr{ X () t } () t Δ t M/M/ Queueing Syste Meaning: Poisson Arrivals, exponentially distributed service ties, identical servers and infinite capacity buffer. 3 if and if +

M/M/ Queueing Syste Using the general birth-death result, if <!!, if Letting /() we get ( ) if <! if! To find ( ) + +!! + + ( ) ( )!! ( ) M/M/ Perforance Metrics Server Utilization ( ) E [ U ] + Pr{ X } +!! ( ) ( ) ( ) + + ( )!! ( ) ( ) ( ) ( ) ( ) + + + ( )! ( )! ( )!! ( ) + + ( ) ( )!! ( )

M/M/ Perforance Metrics Throughput E[ R] + Expected Queue Length ( ) E[ X ]... +!! ( ) E[ X ] +! ( ) Using Little s Law ( ) E[ S] E[ X ] +! ( ) Average Waiting tie in queue E[ W] E[ S] M/M/ Perforance Metrics Queueing Probability PQ Pr{ X }!! ( ) ( ) Erlang C Forula

Exaple Suppose that custoers arrive according to a Poisson process with rate. You are given the following two options, Install a single server with processing capacity.5 Install two identical servers with processing capacity.75 and 3.75 Split the incoing traffic to two queues each with probability.5 and have.75 and 3.75 serve each queue. Α Β 3 C 3 Exaple Throughput It is easy to see that all three systes have the sae throughput E[R A ] E[R B ] E[R C ] Server Utilization [ ] E U A [ ] E U B [ ] EU C.5 3 4 Therefore, each server is /3 utilized.75 3.5.75 3 Therefore, all servers are siilarly loaded.

Exaple Probability of being idle A 3 Β C + + 3 ( ) ( )!! ( ) For each server 4 4 3 + + 3 3 5 Exaple Queue length and delay [ ] E X A E [ X ] B.5 ( ) +! 5 ( ) E E A [ S ] E[ X ] A B 5 [ S ] E[ X ] B [ ] E X C /.5 /.75.5 [ ] E[ X ] E X 4 C C For each queue! C 4 [ ] E[ X ] E X C

M/M/ Queueing Syste Special case of the M/M/ syste with going to 3 + (+) and for all Let / then, the state probabilities are given by e + e!!! Syste Utilization and Throughput E[ U ] e E[ R] M/M/ Perforance Metrics Expected Nuber in the Syste E[ X ] e e!! Nuber of busy servers ( ) Using Little s Law [ ] [ ] E S E X No queueing!

M/M// Finite Buffer Capacity Meaning: Poisson Arrivals, exponentially distributed service ties, one server and finite capacity buffer. - Using the birth-death result and, we obtain,,,,... Therefore + + for / ( ),,,... + M/M// Perforance Metrics Server Utilization E [ U ] + + Throughput E [ R] ( ) < + Blocking Probability ( ) ( ) ( ) P B + Probability that an arriving custoer finds the queue full (at state )

M/M// Perforance Metrics Expected Queue Length ( ) ( ) { } d E[ X ] + + d ( ) d ( ) + d + + d d ( ) + ( ) ( ) ( )( + ) + ( ) + Syste tie E[ X ] ( ) E[ S] Net arrival rate (no losses) M/M// Queueing Syste Meaning: Poisson Arrivals, exponentially distributed service ties, servers and no storage capacity. 3 (-) - Using the birth-death result and, we obtain,,,,...! Therefore!! for /,,,...!

M/M// Perforance Metrics Blocking Probability /! PB! Erlang B Forula Probability that an arriving custoer finds all servers busy (at state ) Throughput /! <! [ ] ( ) E R M/M///N Closed Queueing Syste Meaning: Poisson Arrivals, exponentially distributed service ties, one server and the nuber of custoers are fixed to N. N N (N-) Using the birth-death result, we obtain N!,,,... N N! (N-) ( ) N N! ( N )! N- N

M/M///N Closed Queueing Syste N Response Tie (N-) Tie fro the oent the custoer entered the queue until it received service. For the queue, using Little s law we get, E[ X ] ( ) E[ S] (N-) N- In the thinking part, E[ N X] ( ) Therefore N ( ) N E [ S] ( ) ( ) N