Resource Allocation Deterministic Analysis Traffic Model Stochastic Different

  • Slides: 19
Download presentation
Resource Allocation: Deterministic Analysis

Resource Allocation: Deterministic Analysis

Traffic Model Stochastic Different sample paths with different properties Expected case analysis Deterministic Properties

Traffic Model Stochastic Different sample paths with different properties Expected case analysis Deterministic Properties applying to every sample path worst case analysis

System Description Single server service rate C Single buffer Finite Infinite Arrival stream Departure

System Description Single server service rate C Single buffer Finite Infinite Arrival stream Departure Stream Output Queued System

Reichs Equation A(t) Total traffic arriving in interval (0, t) D(t) Total traffic departing

Reichs Equation A(t) Total traffic arriving in interval (0, t) D(t) Total traffic departing in interval (0, t) X(t) Queue length at time t X(t) = sup 0 s t (A(t) – A(s) – C(t-s)) D(t) = A(t) – X(t) = A(t) - sup 0 s t (A(t) – A(s) – C(t-s)) = inf 0 s t (A(s) + C(t-s))

Convolution D(t) = inf 0 s t (A(s) + C(t-s)) = inf 0 s

Convolution D(t) = inf 0 s t (A(s) + C(t-s)) = inf 0 s t (A(s) + B(t-s)) A*B(t) = inf 0 s t (A(s) + B(t-s)) (t) = 0 for t 0 = otherwise A* (t) = A d(t)= (t-d) A* d(t) = A(t-d) For causal B, B , thus A* B A* = A

Service curve for network elements S(t) A(t) D(t) S(t) and S(t) are nonnegative, non-decreasing

Service curve for network elements S(t) A(t) D(t) S(t) and S(t) are nonnegative, non-decreasing causal functions such that D A* S and D A* S The first is minimum service curve and the second the maximum service curve If D = A*F for some non-negative, non-decreasing causal F, then F is the service curve

Examples packetizer coder Coder emits bursts of bytes at rate r Packetizer packetizes L

Examples packetizer coder Coder emits bursts of bytes at rate r Packetizer packetizes L bits in a packet, if less than L bits are available, then packetizes whatever available Maximum delay is L/r D A(t – L/r) Minimum service curve is S = L/r

Constant rate server S(t) = C max(t, 0) Coder + A Packetizer Dp Constant

Constant rate server S(t) = C max(t, 0) Coder + A Packetizer Dp Constant rate server S D = Dp * S (A * L/r ) * S = A * ( L/r * S) Minimum service curve is L/r * S D

Delay in a network element FIFO service Let u be the minimum time such

Delay in a network element FIFO service Let u be the minimum time such that all the data arriving in [0, t] depart by time u Then u = inf{s: D(s) A(t)} Maximum delay max = supt 0 {u – t: inf{s: D(s) A(t)}} This is the maximum horizontal distance between A and D D (A * max ) If A curve is shifted to the right by max it is below D

Envelope A function E(t) is an envelope for the arrival function A(t) if A(t)

Envelope A function E(t) is an envelope for the arrival function A(t) if A(t) – A(u) E(t-u) for all u and t, 0 u t That is A A*E For causal E, E , thus A* E A* = A A*E Thus A = A*E An envelope is sub-additive if for all u t, E(t) E(u) + E(t-u) Thus E E*E for a sub-additive envelope

Regulator Output of a source is typically statistically characterizable Source output can be upper-bounded

Regulator Output of a source is typically statistically characterizable Source output can be upper-bounded by envelopes by passing it through a regulator A network element is a regulator with envelope E, if for any input arrival process A, the departure process D satisfies D D*E

Buffered Leaky Bucket Regulator There exists a fictitious token bucket which obtains token at

Buffered Leaky Bucket Regulator There exists a fictitious token bucket which obtains token at the rate . The bucket can hold up to tokens A packet generated from a source can be released only if the token bucket has a token, and the token is removed after releasing the packet

D(t) – D(u) + (t-u) In [u, t] the maximum amount of data that

D(t) – D(u) + (t-u) In [u, t] the maximum amount of data that can be transported is the total number of tokens generated in [u, t] + the total number of tokens accumulated at u. The first quantity is (t-u) The second is Thus D D*E where E(t) = + t It follows that a leaky bucket regulator has envelope + t Is this envelope causal? Is it sub-additive?

For any arrival process A, the departure process of the regulator satisfies D =

For any arrival process A, the departure process of the regulator satisfies D = A*E Thus E is the service curve of the regulator Proof: Note down from the board

A process A with envelope E 1 is passed through a leaky bucket regulator

A process A with envelope E 1 is passed through a leaky bucket regulator with envelope E 2 Show that the resulting output has envelope E 1 * E 2 Lets work this out! Consider the output of a voice coder Emits bits at the rate R A has envelope E = Rt Regulate this process by a leaky bucket regulator with envelope E(t) = + t The resulting process will have an envelope min(Rt, + t)

What do we do if we know the envelopes? We can upper bound the

What do we do if we know the envelopes? We can upper bound the delay of an arrival process if its envelope and the minimum service curve of the network element is known. Let an arrival process A be transmitted through a network element with minimum service curve S(t) D is the departure process dmax = inf {d: E* d S}

Here, dmax is the least amount the envelope E(t) be shifted so that it

Here, dmax is the least amount the envelope E(t) be shifted so that it falls below he service curve S. The delay produced by the network element is upper bounded in terms of dmax D A * dmax Proof: D A * S A * (E* dmax ) = (A * E) * dmax A * dmax

Example computations of d E(t) = min(Rt, + t) S(t) = ct dmax =

Example computations of d E(t) = min(Rt, + t) S(t) = ct dmax = (R-c)/c(R - ) Lets work it out! max

Consider an arbitrary envelope E(t) and S(t) = ct It follows that E(t- dmax)

Consider an arbitrary envelope E(t) and S(t) = ct It follows that E(t- dmax) ct Not quite rigorous! E(t) c(t+ dmax) dmax (E(t)-ct)/c More rigorously, dmax = supt 0(E(t)-ct)/c If delay upper bound must be less than some T, then the minimim required service rate cmin is such that supt 0(E(t)- cmin t)/ cmin = T It follows that cmin = supt 0(E(t)/ T + t)