workshop prixnet distributed virtual circuit switching protocol with auction pricing loubna echabbi...
TRANSCRIPT
![Page 1: Workshop PRIXNET Distributed Virtual Circuit Switching protocol with auction pricing Loubna ECHABBI Dominique BARTH Laboratoire PRISM](https://reader036.vdocuments.us/reader036/viewer/2022072014/56649eb35503460f94bbb49d/html5/thumbnails/1.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022072014/56649eb35503460f94bbb49d/html5/thumbnails/2.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022072014/56649eb35503460f94bbb49d/html5/thumbnails/3.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022072014/56649eb35503460f94bbb49d/html5/thumbnails/4.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022072014/56649eb35503460f94bbb49d/html5/thumbnails/5.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022072014/56649eb35503460f94bbb49d/html5/thumbnails/6.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022072014/56649eb35503460f94bbb49d/html5/thumbnails/7.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022072014/56649eb35503460f94bbb49d/html5/thumbnails/8.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022072014/56649eb35503460f94bbb49d/html5/thumbnails/9.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022072014/56649eb35503460f94bbb49d/html5/thumbnails/10.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022072014/56649eb35503460f94bbb49d/html5/thumbnails/11.jpg)
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](https://reader036.vdocuments.us/reader036/viewer/2022072014/56649eb35503460f94bbb49d/html5/thumbnails/12.jpg)
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.