Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4:...

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

Transcript of Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4:...

Page 1: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

CDA5530: Performance Models of Computers and Networks

Chapter 4: Elementary Queuing Theory

Page 2: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

2

Definition

� Queuing system: � a buffer (waiting room), � service facility (one or more servers)� a scheduling policy (first come first serve, etc.)

� We are interested in what happens when a stream of customers (jobs) arrive to such a system � throughput,� sojourn (response) time,

� Service time + waiting time

� number in system, � server utilization, etc.

Page 3: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

3

Terminology

� A/B/c/K queue � A - arrival process, interarrival time distr.

� B - service time distribution

� c - no. of servers

� K - capacity of buffer

� Does not specify scheduling policy

Page 4: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

4

Standard Values for A and B

� M - exponential distribution (M is for Markovian)

� D - deterministic (constant)� GI; G - general distribution

� M/M/1: most simple queue� M/D/1: expo. arrival, constant service time

� M/G/1: expo. arrival, general distr. service time

Page 5: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

5

Some Notations

� Cn: custmer n, n=1,2,L� an: arrival time of Cn

� dn: departure time of Cn

� α(t): no. of arrivals by time t� δ(t): no. of departure by time t� N(t): no. in system by time t

� N(t)=α(t)- δ(t)

Page 6: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

6

� Average arrival rate (from t=0 to now): � λt = α(t)/t

αααα(t)(t)(t)(t)

δ(t)(t)(t)(t)

Page 7: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

7

Little’s Law

� γ(t): total time spent by all customers in system during interval (0, t)

� Tt: average time spent in system during (0, t) by customers arriving in (0, t) Tt = γ(t)/α(t)

� Nt: average no. of customers in system during (0, t)� Nt = γ(t)/t

� For a stable system, Nt= λt Tt� Remmeber λt = α(t)/t

� For a long time and stable system� N = λ T� Regardless of distributions or scheduling policy

Page 8: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

8

Utilization Law for Single Server Queue

� X: service time, mean T=E[X]� Y: server state, Y=1 busy, Y=0 idle� ρ: server utilization, ρ = P(Y=1)� Little’s Law: N = λ E[X]� While: N = P(Y=1)· 1 + P(Y=0)· 0 = ρ� Thus Utilization Law:

ρ = λ E[X]Q: What if the system includes the queue?

Page 9: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

9

Internet Queuing Delay Introduction

� How many packets in the queue?� How long a packet takes to go through?

Page 10: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

10

The M/M/1 Queue

� An M/M/1 queue has � Poisson arrivals (with rate λ)

� Exponential time between arrivals

� Exponential service times (with mean 1/μ, so μ is the “service rate”).

� One (1) server� An infinite length buffer

� The M/M/1 queue is the most basic and important queuing model for network analysis

Page 11: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

11

State Analysis of M/M/1 Queue

� N : number of customers in the system� (including queue + server)

� Steady state

� πn defined as πn=P(N=n)

� ρ=λ/µ: Traffic rate (traffic intensity)

State transition diagram

Page 12: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

12

� we can use πQ = 0 and ∑πi = 1

� We can also use balance equation

Page 13: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

13

� # of transitions � = # of transitions

State Analysis of M/M/1 Queue

πn are probabilities:

: prob. the server is working (why ρ is called “server utilization”)

Page 14: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

14

State Analysis of M/M/1 Queue

� N: avg. # of customers in the system

0 0.2 0.4 0.6 0.8 10

20

40

60

80

100

ρ

Pa

cke

ts in

Qu

eu

e

Page 15: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

15

M/M/1 Waiting Time

� Xn: service time of n-th customer, Xn =st X where X is exponential rv

� Wn: waiting time of n-th customer� Not including the customer’s service time

� Tn: sojourned time Tn =Wn +Xn

� When ρ < 1, steady state solution exists and Xn, Wn, Tn � X, W, T

� Q: E[W]?

Page 16: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

16

State Analysis of M/M/1 Queue

� W: waiting time for a new arrival

� T: sojourn (response) time

: remaining service time of the customer in service

Exponential r.v. with mean 1/µ due to memoryless

property of expo. Distr.

: service time of i-th customer

Page 17: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

17

Alternative Way for Sojourn Time Calculation

� We know that E[N] = ρ/(1-ρ)� We know arrival rate λ

� Then based on Little’s Law� N = λ T

� E[T]=E[N]/λ = 1/(µ-λ)

Page 18: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

18

M/M/1 Queue Example

� A router’s outgoing bandwidth is 100 kbps

� Arrival packet’s number of bits has expo. distr.

with mean number of 1 kbits

� Poisson arrival process: 80 packets/sec� How many packets in router expected by a new arrival?� What is the expected waiting time for a new arrival?

� What is the expected access delay (response time)?� What is the prob. that the server is idle?� What is P( N > 5 )?� Suppose you can increase router bandwidth, what is the minimum

bandwidth to support avg. access delay of 20ms?

Page 19: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

19

Sojourn Time Distribution

� T’s pdf is denoted as fT(t), t≥ 0

� T = X1 + X2 +L +Xn + X� Given there are N=n customers in the system

� Then, T is sum of n+1 exponential distr.� T is (n+1)-order Erlang distr.

� When conditioned on n, the pdf of X is

denoted as fT|N(t|n)

fT |N(t|n) =µ(µt)ne−µt

n!

Page 20: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

20

Sojourn Time Distribution

� Remove condition N=n:� Remember P(N=n) = πn = (1-ρ)ρn

fT(t) = fT |0(t|0)π0+ fT |1(t|1)π1+ · · ·

fT (t) =∞∑

n=0

(1− ρ)ρnµ(µt)ne−µt

n!

= (1− ρ)µe−µt∞∑

n=0

(ρµt)n/n!

= (µ− λ)e−µteλt

= (µ− λ)e−(µ−λ)t

Thus, T is exponential distr. with rate (Thus, T is exponential distr. with rate (Thus, T is exponential distr. with rate (Thus, T is exponential distr. with rate (µµµµ----λλλλ))))

Page 21: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

21

M/M/1/K Queue

� Arrival: Poisson process with rate λ� Service: exponential distr. with rate µ

� Finite capacity of K customers� Customer arrives when queue is full is rejected

� Model as B-D process� N(t): no. of customers at time t

� State transition diagram

Page 22: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

22

Calculation of ππππ

� Balance equation:� πi=ρπi- = ρiπ, i=0,L, K

� If λ≠µ:

� If λ=µ:

K∑

i=0

πi = π0

K∑

i=0

ρi = π01− ρK+1

1− ρ

K∑

i=0

πi = 1⇒ π0 =1− ρ

1− ρK+1

K∑

i=0

πi = π0

K∑

i=0

ρi = (K + 1)π0

πi = 1/(K +1), i = 0, · · · ,K

Page 23: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

23

E[N]

� If λ≠µ:

E[N] =K∑

i=0

iπi

=1− ρ

1− ρK+1

K∑

i=0

ρi

� If λ=µ:

E[N] =K∑

i=0

iπi =1

K +1

K∑

i=0

i

=1

K +1

K(K +1)

2=K

2

Page 24: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

24

Throughput

� Throughput?� When not idle = µ

� When idle = 0� Throughput = (1-π)µ +π· 0

� When not full = λ (arrive pass)

� When full = 0 (arrive drop)� Prob. Buffer overflow = πK

� Throughput = (1-πK)λ +πK· 0

Page 25: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

25

Sojourn Time

� One way: T = X1+X2+L +Xn if there are n customers in (n≤K)� Doable, but complicated

� Another way: Little’s Law� N = λ T

� The λ means actualactual throughput

E[T ] =E[N]

throughput=

E[N]

(1− π0)µ

Page 26: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

26

M/M/c Queue

� c identical servers to provide service� Model as B-D process, N(t): no.of

customers� State transition diagram:

� Balance equation:

λπi−1 = iµπi, i ≤ c,

λπi−1 = cµπi, i > c

Page 27: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

27

� Solution to balance equation:

� Prob. a customer has to wait (prob. of queuing)

πi =

ρi

i!π0, 0 ≤ i ≤ c,ρi

c!ci−cπ0, c < i

P (queuing) = P (wait) =∞∑

n=cπn

Page 28: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

28

M/M/∞∞∞∞ Queue

� Infinite server (delay server)� Each user gets its own server for service

� No waiting time

� Balance equation:

λπi−1 = iµπi, i = 0,1, · · ·

πi =ρi

i!π0 =

ρi

i!e−ρ why?why?why?why?

Page 29: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

29

E[N ] =∞∑

i=0

iπi =∞∑

i=1

iρie−ρ

i!

= ρe−ρ∞∑

i=1

ρi−1

(i− 1)!= ρ

E[T ] =E[N ]

λ=1

µWhy?

Page 30: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

30

Machine Repairman Model

� c machines� Each fails at rate λ (expo. distr.)

� Single repairman, repair rate µ (expo. distr.)

� Define: N(t) – no. of machines working� 0≤ N(t) ≤ c

Page 31: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

31

πk−1µ = kλπk

πk =1

k!(µ

λ)kπ0

c∑

i=0

πi = 1⇒ π−10 =c∑

k=0

1

k!(µ

λ)k

Page 32: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

32

� Utilization rate?� ρ=P(repairman busy) = 1-π

c

� E[N]?� We can use

� Complicated

E[N] =c∑

i=1

iπi

Page 33: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

33

E[N] Alternative: Little’s Law

� Little’s law: N =λ T� Here: E[N] = arrival · up-time

� Arrival rate:

� Up time: expo. E[T]=1/λ

� Thus

ρµ+ (1− ρ) · 0

E[N] =ρµ

λ

Page 34: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

34

E[W]: waiting time in queue

� Y: up-time (working time), exp. λ� X: repair time, exp. µ

� W: waiting time� C: cycle time of a customer

� C=Y+W+X� E[C] = E[W]+1/λ+1/µ

� Throughput ρ � C?� ρ = c/E[C]

Page 35: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

35

� Thus

� Remember ρ=P(repairman busy) = 1-πc

� Nq: avg. no. of machines waiting in the queue

� Use Little’s Law: N=λ T� E[Nq] =ρ E[W] = c -ρ(1/λ+1/µ)

E[W ] =c

ρ− (

1

µ+1

λ)

Page 36: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

36

PASTA property

� PASTA: Poisson Arrivals See Time Average

� Meaning: When a customer arrives, it finds the

same situation in the queueing system as an

outside observer looking at the system at an

arbitrary point in time.� N(t): system state at time t� Poisson arrival process with rate λ

� M(t): system at time t given that an arrival occurs in the

next moment in (t, t+∆t)

Page 37: Chapter 4: Elementary Queuing Theoryczou/CDA5530-08/queue-1.pdf · 2008. 9. 18. · Chapter 4: Elementary Queuing Theory. 2 Definition Queuing system: a buffer (waiting room), service

37

� If not Poisson arrival, then not correct

P (M(t) = n) =P (N(t) = n|arrival in(t, t+∆t))

=P (N(t) = n, arrival in (t, t+∆t))

P(arrival in (t, t+∆t))

=P (N(t) = n)P (arrival in (t, t+∆t))

P (arrival in (t, t+∆t))

= P (N(t) = n)