designing data networks a flow-level perspective alexandre proutiere microsoft research workshop on...
TRANSCRIPT
![Page 1: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/1.jpg)
Designing data networks A flow-level perspective
Alexandre Proutiere Microsoft Research
Workshop on Mathematical Modeling and Analysis of Computer Networks
June 2007, ENS, Paris
![Page 2: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/2.jpg)
• Flow-level stability of utility-based allocation in non-convex rate regions. with Thomas Bonald. CISS 2006
• Capacity of wireless networks with intra- and inter-cell mobility. with Sem Borst and Nidhi Hegde. Infocom 2006
• Flow level stability of data networks with non convex and time varying rate regions.with Jiaping Liu et al. ACM Sigmetrics 2007
Talk based on ...
![Page 3: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/3.jpg)
Issues
• Since Kelly 1997, resource allocation schemes in data nets are (proved to be) designed so as to maximize some network utility
• Is it good idea?• How to choose the utility function?• Should this choice depend on the underlying network resources?
![Page 4: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/4.jpg)
Related work: the thru-fairness trade-off
• Tang-Wang-Low. Counter-intuitive throughput behaviors in networks under end-to-end control. IEEE/ACM ToN, 2006.
Wired nets: A fixed number of permanent TCP connections The total long-term thru is not monotone in α
• Mo-Walrand. α-fair allocations:
0 1 2fairness
efficiency
PF MPD Maxmin
• Radunovic-Le Boudec. Rate Performance Objectives of Multihop Wireless Networks, IEEE Trans. on Mobile Computing, 2004.
Wireless multihop nets: a fixed nb of TPC connections PF outperforms Max-min
• Qualcomm HDR. A PF scheduler
![Page 5: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/5.jpg)
A flow-level analysis
• Most of existing work on data networks assume a fixed population of TCP connections or flows• However users perceive performance at flow-level: durations of the connections• The instantaneous thru of the network is not a sufficient metric to design the networks (i.e., to choose the notion of utility)
• Let’s adopt a flow-level approach: a dynamic population of flows!
![Page 6: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/6.jpg)
Outline
1. Modeling data networks
2. Fixed and convex rate regions (wired networks, wireless networks with centralized scheduling)
3. Arbitrary and fixed rate regions (wireless networks with distributed resource allocation)
4. Time-varying rate regions (wired networks with priority traffic, link failures ..., wireless networks with fading / mobility)
![Page 7: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/7.jpg)
Outline
1. Modeling data networks
2. Fixed and convex rate regions (wired networks, wireless networks with centralized scheduling)
3. Arbitrary and fixed rate regions (wireless networks with distributed resource allocation)
4. Time-varying rate regions (wired networks with priority traffic, link failures ..., wireless networks with fading / mobility)
![Page 8: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/8.jpg)
Resource sharing in data networks
• Network: a set of resources
• Data flows classified according to the set of used resources
• Flow-level network state:
• Packet-level mechanisms (TCP+scheduling) share resources among flows
total rate of class-k flows in state x
![Page 9: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/9.jpg)
Rate region
• Fix the network state (the population of flows) • The rate region of a network is the set of feasible long-term rates
NB: Most often, the rate region does not depend on the network state
![Page 10: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/10.jpg)
Resource sharing objectives
• Congestion control and scheduling algorithms share resources, i.e., choose a point in the rate region depending on the network state • An optimization approach – Kelly 1997 (TCP+sched) solves:
• Why? Because- TCP does so (Kelly)- Distributed implementation
![Page 11: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/11.jpg)
Performance metrics
• Users perceive performance at flow-level: the mean time to transfer documents
• Flow-level dynamics- Poisson arrivals of class-k flows: - Departures at rate (exp. flow sizes):
• Flows transferred in a finite time iff stability of the process of the numbers of flows
Performance metric: capacity regionThe set of such that the system is stable at flow-level
1/(mean flow duration)
0
![Page 12: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/12.jpg)
Rate regions
• Wired networks with fixed link capacities: a convex polytope
• Wired networks with priority traffic / link failure+multi-path routing: a time-varying convex polytope
![Page 13: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/13.jpg)
Rate regions
• Wireless networks with centralized scheduling a convex polytope
• With fading / user mobility / variable interference: a time-varying rate region
TDMA rate region
![Page 14: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/14.jpg)
Rate regions
• Wireless networks with distributed resource allocation, power control / rate adaptation a continuous non-convex rate region
1
2SNR = 10 dB
![Page 15: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/15.jpg)
Rate regions
• Wireless networks with distributed resource allocation, without power control a discrete rate region
1
2
![Page 16: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/16.jpg)
The big picture
Flow-level traffic demand
Multi-class queuewith state-dependent capacity
Packet level: rate region, utility func.
Capacity regionFlow-level performanceObjective
Design(choice of U)
![Page 17: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/17.jpg)
The math question
K K
x1
x2
xK
solves
How to choose the utility function U such that the stability region of the queuing system is maximized? (or more generally some performance metrics?)
![Page 18: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/18.jpg)
Outline
1. Modeling data networks
2. Fixed and convex rate regions (wired networks, wireless networks with centralized scheduling)
3. Arbitrary and fixed rate regions (wireless networks with distributed resource allocation)
4. Time-varying rate regions (wired networks with priority traffic, link failures ..., wireless networks with fading / mobility)
![Page 19: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/19.jpg)
Fixed convex rate region
Theorem 1*Any α-fair allocation (α>0) achieves maximum stability, and the capacity region is the rate region
*Bonald-Massoulie 2001 Tassiulas-Ephremides 1992 Bonald-Massoulie-Proutiere-Virtamo 2006
![Page 20: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/20.jpg)
Fixed convex rate region
Theorem 1Any α-fair allocation (α>0) achieves maximum stability, and the capacity region is the rate region
The choice of the utility function is not crucial for stability purposes!Optimization approaches to design data network mechanisms are a good idea
![Page 21: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/21.jpg)
Vote for PF!
• It is robust to traffic characterisitcs evolutionMassoulie: PF and BF are cloes to each other
• It realizes a good fairness-efficiency trade-off in wired networksBonald-Roberts
• It has to be chosen for wireless systems
1/(mean flow duration)
0
PF
![Page 22: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/22.jpg)
Vote for PF!
• It is robust to traffic characteristics evolutionMassoulie: PF and BF are close to each other
• It realizes a good fairness-efficiency trade-off in wired networksBonald-Roberts
• It has to be chosen for wireless systems
1/(mean flow duration)
0
Maxmin
![Page 23: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/23.jpg)
Vote for PF!
• It is robust to traffic characterisitcs evolutionMassoulie: PF and BF are cloes to each other
• It realizes a good fairness-efficiency trade-off in wired networksBonald-Roberts
• It has to be chosen for wireless systems
1/(mean flow duration)
0
α = 0.2
![Page 24: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/24.jpg)
Outline
1. Modeling data networks
2. Fixed and convex rate regions (wired networks, wireless networks with centralized scheduling)
3. Arbitrary and fixed rate regions (wireless networks with distributed resource allocation)
4. Time-varying rate regions (wired networks with priority traffic, link failures ..., wireless networks with fading / mobility)
![Page 25: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/25.jpg)
Fixed and arbitrary rate region
• Networks with 2 flow classes: the stability region of cone policies (e.g. α-fair allocations) is known Bonald-Proutiere 2006
• Networks with more flow classes: impossible to characterize the stability region of usual allocations
- Stability of Aloha systems, Szpankowski, Anantharam,…- More results in Borst-Jonckheere 2006- This talk: exhaustive analysis of α-fair allocations
![Page 26: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/26.jpg)
Fixed and arbitrary rate region
• Maximum capacity region
Theorem 2*There exists an allocation stabilizing the network if and only if the traffic intensity vector ρ belongs to the smallest coordinate-convex, convex set containing the rate region
*Tassiulas-Ephremides 1992
![Page 27: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/27.jpg)
Fixed and arbitrary rate region
• α-fair allocations
![Page 28: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/28.jpg)
Fixed and arbitrary rate region
• α-fair allocations
is the set of points in the rate region actually scheduled by the α-fair allocation(i.e., the set of points a in the rate region such that there exists a state x for which a maximizes α-fairness)
![Page 29: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/29.jpg)
Fixed and arbitrary rate region
• α-fair allocations
Theorem 3The capacity region of the α-fair allocation contains the smallest coordinate-convex set containing
stable
![Page 30: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/30.jpg)
Fixed and arbitrary rate region
• α-fair allocations
Theorem 3The capacity region of the α-fair allocation contains the smallest coordinate-convex set containing
Theorem 4The system under the α-fair allocation is unstable when ρ belongs to
stable
unstable
??
?
![Page 31: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/31.jpg)
Fixed and arbitrary rate region
• α-fair allocations
Corollary 1In case of continuous , the capacity region of the α-fair allocation is the smallest coordinate-convex set containing
stable
unstable
![Page 32: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/32.jpg)
Efficiency vs fairness
• The flow-level stability region depends on the chosen utility function • Stability decreases with the fairness parameter α• Max-min fairness is always the worse allocation!!!
0 1 2
PF MPD Maxmin
Flow-levelstability
Min stab. regionMax stab. region
Theorem 5(beta)There exists α1, α2 such that when the α-fair allocation achieves maximum (resp. minimum) stability if α<α1 (resp. if α>α2)
α1 α2
![Page 33: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/33.jpg)
Example: Shannon networks
• A network of interfering links with power control (no time coordination)• Link rates follow Shannon formula, e.g.
1
2
3
![Page 34: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/34.jpg)
Example: Shannon networks
Theorem 6*For α≥1, the α-fair allocation problem can be re-formulated as a convex problem
*Papandriopoulos et al., ICC 2006
CorollaryFor α≥1, the α-fair allocation achieves minimum stability
The gap between the minimum and maximum capacity region increases with interference
![Page 35: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/35.jpg)
Outline
1. Modeling data networks
2. Fixed and convex rate regions (wired networks, wireless networks with centralized scheduling)
3. Arbitrary and fixed rate regions (wireless networks with distributed resource allocation)
4. Time-varying rate regions (wired networks with priority traffic, link failures ..., wireless networks with fading / mobility)
![Page 36: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/36.jpg)
Time-varying rate region
• Model: a convex rate region with stationary ergodic variations
• Maximum capacity region
Theorem 7There exists an allocation stabilizing the network if and only if the traffic intensity vector ρ belongs to
![Page 37: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/37.jpg)
Time-varying rate region
• α-fair allocations- In state x, the rate vector scheduled, when the rate region is , is denoted by
• Capacity region
Theorem 8The capacity region of the α-fair allocation is the smallest coordinate-convex set containing
![Page 38: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/38.jpg)
Efficiency vs fairness
• The flow-level stability region depends on the chosen utility function • Stability decreases with the fairness parameter α• Max-min fairness is always the worse allocation!!!
0 1 2
PF MPD Maxmin
Flow-levelstability
Min stab. regionMax stab. region
Theorem 9(beta)There exists α1, α2 such that when the α-fair allocation achieves maximum (resp. minimum) stability if α<α1 (resp. if α>α2)
α1 α2
![Page 39: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/39.jpg)
Example 1: link failure
![Page 40: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/40.jpg)
Example 1: link failure
![Page 41: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/41.jpg)
Example 2: the downlink of cell. net.
TDMA rate regions
Class 1 Class 2
![Page 42: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/42.jpg)
Example 2: the downlink of cell. net.
![Page 43: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/43.jpg)
Conclusions
• Fixed and convex rate regions: wireless networks
PF MPD Maxmin
0 1 2
Stability
Flow throughput
• Non-convex or time-varying rate regions
PF MPD Maxmin
0 1 2
Stability
Maximum stability Minimum stability
![Page 44: Designing data networks A flow-level perspective Alexandre Proutiere Microsoft Research Workshop on Mathematical Modeling and Analysis of Computer Networks](https://reader038.vdocuments.mx/reader038/viewer/2022110321/56649cf95503460f949c9f16/html5/thumbnails/44.jpg)
Conclusions
• Instantaneous fairness has a price in terms of stability Maxmin is always the worse allocation PF is also the worse in Shannon networks
• Does stability has a cost in terms of fairness (mean flow durations?) ... May be not ... • The stability / performance is higly impacted by the underlying rate region structure and its variations: there is no unique objective garanteeing performance all the time• We need to tune α to adapt to the network structure • ....• Utility based allocations are interesting but we have to change the notion of utility as the net evolves