deterministic network calculus. background ● queueing theory gives probabilistic results ●...

24
Deterministic Network Calculus

Post on 20-Dec-2015

219 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Deterministic Network Calculus. Background ● Queueing Theory gives probabilistic results ● Critical applications need hard bounds ● Queueing theory extends

Deterministic Network Calculus

Page 2: Deterministic Network Calculus. Background ● Queueing Theory gives probabilistic results ● Critical applications need hard bounds ● Queueing theory extends

Background

● Queueing Theory gives probabilistic results● Critical applications need hard bounds● Queueing theory extends only partially to

networks.● Scheduling theory accounts only for CPU sharing

and bounded blocking.● Periodic studies do not account for bursty traffic.

Page 3: Deterministic Network Calculus. Background ● Queueing Theory gives probabilistic results ● Critical applications need hard bounds ● Queueing theory extends

Cirquit analysis

Page 4: Deterministic Network Calculus. Background ● Queueing Theory gives probabilistic results ● Critical applications need hard bounds ● Queueing theory extends

Concatenation of Network Elements

Page 5: Deterministic Network Calculus. Background ● Queueing Theory gives probabilistic results ● Critical applications need hard bounds ● Queueing theory extends

Converging Flows

Page 6: Deterministic Network Calculus. Background ● Queueing Theory gives probabilistic results ● Critical applications need hard bounds ● Queueing theory extends

Feedback

Page 7: Deterministic Network Calculus. Background ● Queueing Theory gives probabilistic results ● Critical applications need hard bounds ● Queueing theory extends

Definition and Range Spaces

Page 8: Deterministic Network Calculus. Background ● Queueing Theory gives probabilistic results ● Critical applications need hard bounds ● Queueing theory extends

Definition and Range Spaces

Page 9: Deterministic Network Calculus. Background ● Queueing Theory gives probabilistic results ● Critical applications need hard bounds ● Queueing theory extends

The Playout Buffer

Page 10: Deterministic Network Calculus. Background ● Queueing Theory gives probabilistic results ● Critical applications need hard bounds ● Queueing theory extends

Arrival Curves

Page 11: Deterministic Network Calculus. Background ● Queueing Theory gives probabilistic results ● Critical applications need hard bounds ● Queueing theory extends

Arrival Curves

Page 12: Deterministic Network Calculus. Background ● Queueing Theory gives probabilistic results ● Critical applications need hard bounds ● Queueing theory extends

Spacing and Staircases

Page 13: Deterministic Network Calculus. Background ● Queueing Theory gives probabilistic results ● Critical applications need hard bounds ● Queueing theory extends

An Equivalence

Page 14: Deterministic Network Calculus. Background ● Queueing Theory gives probabilistic results ● Critical applications need hard bounds ● Queueing theory extends

The Leaky Bucket in Words

Page 15: Deterministic Network Calculus. Background ● Queueing Theory gives probabilistic results ● Critical applications need hard bounds ● Queueing theory extends

Leaky Bucket in Graphics

Page 16: Deterministic Network Calculus. Background ● Queueing Theory gives probabilistic results ● Critical applications need hard bounds ● Queueing theory extends

Nice to know about Leaky Buckets

Page 17: Deterministic Network Calculus. Background ● Queueing Theory gives probabilistic results ● Critical applications need hard bounds ● Queueing theory extends

Some DN-Calculus in Play

Henrik should prove this on the blackboard

Page 18: Deterministic Network Calculus. Background ● Queueing Theory gives probabilistic results ● Critical applications need hard bounds ● Queueing theory extends

The Generic Cell Rate Algorithm

Page 19: Deterministic Network Calculus. Background ● Queueing Theory gives probabilistic results ● Critical applications need hard bounds ● Queueing theory extends

GCRA

tat

Non conformant Conformant

T

t

Conformant

tT

Page 20: Deterministic Network Calculus. Background ● Queueing Theory gives probabilistic results ● Critical applications need hard bounds ● Queueing theory extends

GCRA facts

Page 21: Deterministic Network Calculus. Background ● Queueing Theory gives probabilistic results ● Critical applications need hard bounds ● Queueing theory extends

Leaky Buckets and GCRAs

Page 22: Deterministic Network Calculus. Background ● Queueing Theory gives probabilistic results ● Critical applications need hard bounds ● Queueing theory extends

Subadditivity

● We assume (0) = 0● Subadditive if t+s) <= (t) + (s)● Subadditive closure of

The largest subadditive function

less than or equal to

Page 23: Deterministic Network Calculus. Background ● Queueing Theory gives probabilistic results ● Critical applications need hard bounds ● Queueing theory extends

Subadditivity

Page 24: Deterministic Network Calculus. Background ● Queueing Theory gives probabilistic results ● Critical applications need hard bounds ● Queueing theory extends

Sufficiency of Subadditive Arrivals