workshop prixnet distributed virtual circuit switching protocol with auction pricing loubna echabbi...

12
Workshop PRIXNET Distributed Virtual Circuit Distributed Virtual Circuit Switching protocol with auction Switching protocol with auction pricing pricing Loubna ECHABBI Dominique BARTH Laboratoire PRISM

Upload: allen-dickerson

Post on 31-Dec-2015

212 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Workshop PRIXNET Distributed Virtual Circuit Switching protocol with auction pricing Loubna ECHABBI Dominique BARTH Laboratoire PRISM

Wo

rks

ho

p P

RIX

NE

T

Distributed Virtual Circuit Switching Distributed Virtual Circuit Switching protocol with auction pricingprotocol with auction pricing

Loubna ECHABBI

Dominique BARTH

Laboratoire PRISM

Page 2: Workshop PRIXNET Distributed Virtual Circuit Switching protocol with auction pricing Loubna ECHABBI Dominique BARTH Laboratoire PRISM

Wo

rks

ho

p P

RIX

NE

T

FrameworkFramework

Virtuel circuit switching networks.

Goal: Ressource allocation to satisfy some QoS.

How : connection establishment.

O D

34

25

3

Page 3: Workshop PRIXNET Distributed Virtual Circuit Switching protocol with auction pricing Loubna ECHABBI Dominique BARTH Laboratoire PRISM

Wo

rks

ho

p P

RIX

NE

T

Conflict : Congestion in a router

Definition: the demand is greater than the available resource.

Question : which criterions to choose accepted requests.

Maximize the number of accepted requests.

Minimize the remaining bandwidth.

for more fairness: Use auctions to charge accepted requests some congestion cost. These prices can be used to compute routing tables or in the service pricing.

Page 4: Workshop PRIXNET Distributed Virtual Circuit Switching protocol with auction pricing Loubna ECHABBI Dominique BARTH Laboratoire PRISM

Wo

rks

ho

p P

RIX

NE

T

Auctions : local approach

At each router we have the following information:

A set of requests (budget, demand, destination..)

A set of outgoing links ( capacities )

A set of links obtained from the routing table which link each request to possible outgoing links. Two types of routing are studied :

Deterministic routing : 1 destination= 1 outgoing link.

Non deterministic routing : 1 destination= n outgoing links

Page 5: Workshop PRIXNET Distributed Virtual Circuit Switching protocol with auction pricing Loubna ECHABBI Dominique BARTH Laboratoire PRISM

Wo

rks

ho

p P

RIX

NE

T

Auctions: first model Requests submit their offer .

The router chooses a combination of traffic that maximizes its profit.

The non accepted requests increase their offer (by one unit).

The stopping criteria : non accepted requests cannot increase their offer anymore. At each step the problem is NP-complete (even in the deterministic case: contains the knapsack problem).

Auctions final result is difficult to be characterized .

Page 6: Workshop PRIXNET Distributed Virtual Circuit Switching protocol with auction pricing Loubna ECHABBI Dominique BARTH Laboratoire PRISM

Wo

rks

ho

p P

RIX

NE

T

Auctions : second model

2 4

4 33 12 3

* 1

4 33 1* 3

* 1

3 4

1 4

4 33 12 3

1 1

The main idea: each link fixes its cost.

Page 7: Workshop PRIXNET Distributed Virtual Circuit Switching protocol with auction pricing Loubna ECHABBI Dominique BARTH Laboratoire PRISM

Wo

rks

ho

p P

RIX

NE

T

Second model : Deterministic case

Auctions on different links are independent

At each step the problem is polynomial.

The auction’s final result can be polynomialy obtained by sorting the requests in a decreasing order and accepting them in this order while keeping the capacity constraint held.

Note: When congestion occurs, the accepted requests are charged the first non accepted bid, else the cost is null.

Page 8: Workshop PRIXNET Distributed Virtual Circuit Switching protocol with auction pricing Loubna ECHABBI Dominique BARTH Laboratoire PRISM

Wo

rks

ho

p P

RIX

NE

T

Second model: non deterministic case.

Definition: The set of stable links, at a given step, is the set of links such that all requests that can be routed at least on one element of this set, is indeed accepted on a link in that set.

Auction on different links are not independent.

23

222

33

4

Page 9: Workshop PRIXNET Distributed Virtual Circuit Switching protocol with auction pricing Loubna ECHABBI Dominique BARTH Laboratoire PRISM

Wo

rks

ho

p P

RIX

NE

T

Second model: non deterministic case

4 3

3 1

2 2

1 2

1 3

1 2

1 3

4 3

3 1

2 2

1 2

1 3

1 2

1 3

2 3

2 2

2 3

4 3

3 1

2 2

* 2

4 3

3 1

2 2

* 2

2 3

1 3

1 2

Page 10: Workshop PRIXNET Distributed Virtual Circuit Switching protocol with auction pricing Loubna ECHABBI Dominique BARTH Laboratoire PRISM

Wo

rks

ho

p P

RIX

NE

T

Second model: non deterministic case

Conjecture: the stable link maximization problem is NP-Complete.

Process: At each step, we maximize the number of stable links. At the end of each step, non stable links increase their offer and eliminate requests that cannot bargain .

Property: With any configuration that maximizes the set of stable links , stable links are the same.

Page 11: Workshop PRIXNET Distributed Virtual Circuit Switching protocol with auction pricing Loubna ECHABBI Dominique BARTH Laboratoire PRISM

Wo

rks

ho

p P

RIX

NE

T

A heuristic idea

6 3

2

3

1

1

1

5

4

3

2

1

2

5

*

2

0

*

4

3

Page 12: Workshop PRIXNET Distributed Virtual Circuit Switching protocol with auction pricing Loubna ECHABBI Dominique BARTH Laboratoire PRISM

Wo

rks

ho

p P

RIX

NE

T

Previous work and perspectives

Previous work:

Complexity study.

Implementation of the exact problem in Cplex.

Implementation of a simulator with the virtual circuit protocol layered on a grid network. Current work:

A comparison between the exact and the heuristic methods using the simulator.

Test of different auction strategies.