Stability analysis of mncm class of algorithms and two more problems
Download
1 / 18

Stability Analysis of MNCM Class of Algorithms and two more problems ! - PowerPoint PPT Presentation


  • 61 Views
  • Uploaded on

Stability Analysis of MNCM Class of Algorithms and two more problems !. EE384Y Project Presentation June 4, 2003 Nima Asgharbeygi. Outline. MNCM Class of Algorithms Fluid Analysis of LPF iSLIP Random. Introduction. Definition of MNCM : (Tabatabaee et. al. Infocom 2003)

loader
I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.
capcha
Download Presentation

PowerPoint Slideshow about ' Stability Analysis of MNCM Class of Algorithms and two more problems !' - infinity


An Image/Link below is provided (as is) to download presentation

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.


- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript
Stability analysis of mncm class of algorithms and two more problems

Stability Analysis of MNCM Class of Algorithmsand two more problems !

EE384Y Project Presentation

June 4, 2003

Nima Asgharbeygi


Outline
Outline

  • MNCM Class of Algorithms

  • Fluid Analysis of LPF

  • iSLIP Random


Introduction
Introduction

  • Definition of MNCM : (Tabatabaee et. al. Infocom 2003)

    A maximal size matching algorithm m belongs to MNCM class iff m contains all nodes with maximum weight.

  • Node weights:

  • MNCM includes LPF, MNM and MFM algorithms.

  • A port-based fluid model proof was represented.


Counter examples
Counter Examples

  • Deterministic arrivals,

    • Example due Da Chuang

  • IID Bernoulli arrivals,

    • Simulation shows instability for uniform traffic.

    • Counter example:

      Algorithm:Serveonly if ; otherwise serve some other non-empty VOQ’s to maximize weight of the matching.


What s wrong with the proof
What’s wrong with the proof?

  • Lyapunov function:

  • The issue:

    • “Due to continuity properties of B(t), for every there exists some such that for all there is always one common index that .”

    • This is wrong!

    • An interval of length in continuous time, corresponds to an interval of arbitrarily large length ( ) in discrete time domain.

    • This is not guaranteed by MNCM (easy to see by a periodic pattern counter example).


Important to remember
Important to Remember

  • To have a valid stability proof, we must ensure that both fluid model policy and the discrete policy always make the same decision; i.e. equivalency of departure processes.


Outline1
Outline

  • MNCM Class of Algorithms

  • Fluid Analysis of LPF

  • iSLIP Random


Problem statement
Problem Statement

  • algorithm definition:

    • Apply MWM algorithm on these edge weights:

      Where

    • This is our famous LPF if .

    • Not straight forward to use fluid model on original LPF, because of discontinuity of


Stability of fluid policy
Stability of Fluid Policy

  • Fluid model weights:

  • Theorem: This fluid model is weakly stable under MWM policy if

    for some constants

  • Proof: Use and show that:


Equivalency of fluid and discrete models
Equivalency of Fluid and Discrete Models

  • How should relate to ensure equivalency?

  • Recall that

  • Enough to have

  • Reasonable to choose


Example
Example

  • Let

    • Then

    • Fluid model is based on

    • Easy to see

    • So is efficient under general traffic.

    • LPF is the limiting case of as

      Uniformity of convergence proves efficiency of LPF under general traffic.

1

z

1

z


Outline2
Outline

  • MNCM Class of Algorithms

  • Fluid Analysis of LPF

  • iSLIP Random


Problem statement1
Problem Statement

  • iSLIP Random scheduling algorithm

  • Wish to find results on stability and convergence of iSLIP-R.

Input degree

Probability of being empty

1 iteration


Approach
Approach

  • The problem is to find

  • Let

  • Assume that size of maximal match=N, and initially input i connected to output i (for all i).


Approach continued
Approach (continued)

  • Greedy algorithm:

    • Pick an available input i with smallest and connect it to a possible output with smallest ,

      (add to ). Repeat until no available input remains.

  • Theorem: Given and initially input i connected to output i (for all i), the greedy algorithm maximizes E[# of empty output bins].


Outline of proof
Outline of Proof

  • The proof is based on the following lemma.

  • Lemma: If for given the sets

    maximize , then for any j and k:


Results
Results

  • Need to search for best to maximize E[# of empty output bins].

  • I guess it is but yet no proof!

    • This gives

    • Therefore, iSLIP-R with only one iteration would be stable by speedup 4 for large N.



ad