Upload
joel-holden
View
26
Download
0
Embed Size (px)
DESCRIPTION
Analysis of Maximum Size Matching scheduling algorithm (MSM) in input-queued switches under uniform traffic. Neda Beheshti and Mohsen Bayati {nbehesht, bayati} @stanford.edu - PowerPoint PPT Presentation
Citation preview
Analysis of Maximum Size Matching scheduling algorithm (MSM) in input-queued switches under
uniform traffic
Neda Beheshti and Mohsen Bayati
{nbehesht, bayati} @stanford.edu
EE384Y Project May 25, 2004
Outline• Motivation• Previous work• The Lyapunov function and Foster’s
Criteria• Final words• References
EE384Y Project May 25, 2004
The Lyapunov function
• Consider the following function
EE384Y Project May 25, 2004
It can be written in matrix form:
For example if N = 2, assuming:
Then we would have:
EE384Y Project May 25, 2004
Foster’s criteriaConsider the following random variables:
No let’s denote arrival and departure vectors with A(n) and D(n), hence:
Now looking at the last two terms the second one is a bounded function, so in order to check
Foster’s criteria we need to show the first one can become very negative as queue sizes get
large. Call this term B.
Arrival traffic is uniform with rate , hence:
We also have:
So B is now equal to:
Now using we only need to show for all i,j:
Using symmetry we only need to show the inequality for one queue say
Now let and then the inequality reduces to:
Consider the following three types of maximum size matchings:
a) The black edge + k green edges for then b) Two red edges + k greed edges: for then c) One red edge + k green edges: for then
For a, b we have: For any type c matching, MSM chooses a type c matching with equal probability. (Because we assume MSM chooses one of maximum matchings at random)And for any type a there can be at most N-k+1 different type c hence:
Is L(n) non-negative ?
Answer: For N = 2,3,4 yes. So it’s a Lyapunov function.
When N = 2,
positive semidefinite matrix
Similarly for N=3, 4 we can write P as sum of a positive semidefinite matrix and a matrixwhose entires are nonnegative, and this is enough to show L(n) is not negative.
Final word• We showed MSM is stable under uniform traffic for and
input queued switches.• For arrival traffic we only need the following assumptions.