Download presentation
Presentation is loading. Please wait.
1
Network Design with (Dis)economies of Scale Lisa Zhang Joint with Matthew Andrews, Spyridon Antonakopoulos and Steve Fortune
2
All Rights Reserved © Alcatel-Lucent 2006, ##### 2 | Presentation Title | Month 2006 Power: New Resource in Networking Network power efficiency is a new metric Mismatch in growth, 2020 projection –Traffic x30-100 –CMOS power efficiency x3-6 Goal: Power proportional - power follows load Current situation: –Power consumption largely independent of traffic –Under-utilized network elements (routers, switches) due to over- provisioned network for traffic fluctuation and redundancy Opportunity for optimization Routing: example of global optimization for a network of servers
3
All Rights Reserved © Alcatel-Lucent 2006, ##### 3 | Presentation Title | Month 2006 Routing Input Network topology and matrix of traffic demands Cost function f that models power consumption Question Find routing paths that satisfy the demands and minimize total power consumption of network. –Min e f ( x e ) where x e is traffic load on e Well studied problem for a range of f( ) What is appropriate f( ) in the context of power? ABC… A053… B501… C310… ⋮⋮⋮⋮⋱ A B C D E F
4
All Rights Reserved © Alcatel-Lucent 2006, ##### 4 | Presentation Title | Month 2006 Some simple cost functions Perfectly linear cost function shortest-paths routing for each traffic demand Solvable in polynomial time [Dijkstra] Step-function Steiner forest problem 2-approximation: can find a solution at most twice the optimal cost in polynomial time [Agrawal-Klein-Ravi, Goemans-Williamson] link load cost link load cost perfectly linearstep-function
5
All Rights Reserved © Alcatel-Lucent 2006, ##### 5 | Presentation Title | Month 2006 Buy-at-bulk cost functions Sub-additive cost function buy-at-bulk network design problem Sub-additive: f(x 1 + x 2 ) ≤ f(x 1 ) + f(x 2 ); models economies of scale Can find O(log n) approx for uniform case [Awerbuch-Azar]; polylog(n) approx for non- uniform case [Chekuri-Hajiaghayi-Kortsarz-Salavatipour] Cannot approximated better than (log ¼ n) [Andrews] link load cost sub-additive average
6
All Rights Reserved © Alcatel-Lucent 2006, ##### 6 | Presentation Title | Month 2006 Energy costs and (dis)economies of scale What if the cost function has the form f(x) = + x for x > 0, f(0) = 0? Motivation: describes power consumption of CMOS circuits with dynamic frequency and voltage scaling Reflects a combination of economies and diseconomies of scale Similarly-shaped cost curves commonly encountered in many industries potential for wide model applicability link load cost average
7
All Rights Reserved © Alcatel-Lucent 2006, ##### 7 | Presentation Title | Month 2006 Results If the cost function has the form f(x) = + x for x > 0, f(0) = 0 If = 0, constant approx If > 0, –Polylog(n) approx –For every , (log ¼ n) lower bound What is the opportunity for power savings in real networks? Experimental study that motivates power-aware optimization
8
All Rights Reserved © Alcatel-Lucent 2006, ##### 8 | Presentation Title | Month 2006 Polylog Approximation Joint with M. Andrews and S. Antonakopoulos link load cost
9
All Rights Reserved © Alcatel-Lucent 2006, ##### 9 | Presentation Title | Month 2006 Connection to Capacitated Network Design (CND) CND: use capacitated links of least total cost to carry given traffic demands Replace each link by a collection of parallel edges, with a fixed capacity equal to 1 / , and flat (step-function) costs: f( 1 / ) – f(0) = 2 , f(2 1 / ) - f( 1 / ) = (2 – 1) , f(3 1 / ) - f(2 1 / ) = (3 – 2 ) , and so on. Cheap edges will be used before expensive ones. CND not equivalent to Steiner forest, because of edge capacities. f(x)f(x) (3 – 2 ) (2 – 1) 22 … 3 1 / 2 1 / 1 / 1 st edge 2 nd edge 3 rd edge
10
All Rights Reserved © Alcatel-Lucent 2006, ##### 10 | Presentation Title | Month 2006 Algorithm outline Goal: (polylog(n), polylog(n))-approx to Capacitated Network Design (CND) Link capacity violated by polylog(n) factor Total cost within polylog(n) times OPT LP, optimal fractional solution of CND Implies polylog(n)-approx to integral routing under with diseconomy of scale Simplify assumption: unit demands, unit link capacity Algorithm outline for approximating CND: While there exist unrouted demands: 1.Solve LP relaxation and decompose fractional solution into well-cut-linked flows 2.Construct an expander graph as virtual network topology 3.Route some fraction of demands via edge-disjoint paths on the virtual topology Output the union of all partial routings We need to ensure that each partial routing (i) serves at least a polylog(n) fraction of the demands, and (ii) has cost at most polylog(n) times OPT LP.
11
All Rights Reserved © Alcatel-Lucent 2006, ##### 11 | Presentation Title | Month 2006 LP relaxation Solve an LP relaxation of CND Min e C e i X i,e s.t. {flow conservation on X i,e } i X i,e ≤ 1 0 ≤ X i,e ≤ 1 In the fractional solution OPT LP, each demand may be routed along more than one paths, each carrying only part of the demand’s bandwidth.
12
All Rights Reserved © Alcatel-Lucent 2006, ##### 12 | Presentation Title | Month 2006 Well-cut-linked decomposition Well-cut-linked decompostion [Chekuri-Khanna-Shepherd] A partition of original graph into node-disjoint subgraphs, and a function (·) on the terminals. (·) represents surviving demand flows within each subgraph –At least a polylog fraction of total demand survives. –Each surviving demand has at least polylog fraction of surviving flow Property of subgraph under decomposition: –Any equal partition of any subgraph has large cut: fractional flow in OPT LP of edges in A-B cut ≥ min{(A), (B)} Large cut A B
13
All Rights Reserved © Alcatel-Lucent 2006, ##### 13 | Presentation Title | Month 2006 Min-cost flow Each subgraph is well-cut-linked as a result of decomposition Every equal partition has large cut using fractional flow in OPT LP Cost of fractional links along fractional paths for the cut is bounded by OPT LP Integrality theorem converts fractional flows into integral flows Round up fractional links into integral links Cost of integral links along integral flow paths is bounded by polylog * OPT LP Large cut
14
All Rights Reserved © Alcatel-Lucent 2006, ##### 14 | Presentation Title | Month 2006 Constructing an expander topology When is a graph G′ = (V′, E′) an expander? Expansion: for any S V′ with |S| |V′| / 2, the number of edges in the cut (S, V′ - S) is at least c|S|, for a constant c > 0. Similar to the property of well-cut-linked terminals we saw earlier. How to construct an expander? Suppose we are given a routine that for any balanced partition (A, B) of a node set V* produces a perfect matching. Then, we can construct an expander by calling this routine O(log 2 |V*|) times. [Khandekar-Rao-Vazirani]
15
All Rights Reserved © Alcatel-Lucent 2006, ##### 15 | Presentation Title | Month 2006 Constructing an expander topology How to build an expander on the terminals of each well-cut-linked subgraph of the decomposition? Perfect matchings consist of entire paths joining terminals, not just edges; cost of these path matchings can be bounded polylog OPT LP Well-cut-linkedness ensures the existence of such a path-matching. Result: a virtual expander topology that uses each edge of the real topology at most a polylog number of times.
16
All Rights Reserved © Alcatel-Lucent 2006, ##### 16 | Presentation Title | Month 2006 Edge-disjoint routing in the virtual expander topology Given an expander and a set of node pairs, we can route at least a polylog fraction of those pairs via edge-disjoint paths. In the real topology we can route at least a polylog fraction of the demands, while the load on every edge is at most polylog larger compared to the load under OPT LP. We apply the same process on the remaining demands. No more than a polylog number of iterations required. Theorem. (polylog(n), polylog(n))-approx to uniform Capacitated Network Design, where link cap is violated by polylog(n) factor and total cost within polylog(n) times OPT LP. Theorem. Uniform network design with (dis)economies of scale is polylog(n)-approximable.
17
All Rights Reserved © Alcatel-Lucent 2006, ##### 17 | Presentation Title | Month 2006 Open questions What happens to non-uniform CND, where links have different capacities? What happens to non-uniform routing with (dis)economies of scale, where each link e has a distinct cost function f e ( )? What happens to protection version of the problem?
18
All Rights Reserved © Alcatel-Lucent 2006, ##### 18 | Presentation Title | Month 2006 Experimental motivation Joint with S. Antonakopoulos and S. Fortune
19
All Rights Reserved © Alcatel-Lucent 2006, ##### 19 | Presentation Title | Month 2006 Goal: Quantification of opportunity for saving power as realistically as possible Opportunity for power saving Optimizing traffic routes (global optimization) Rate-adaptive network elements (local optimization) –Adaptivity characterized by Energy Proportional Index (EPI): ratio of base power to full traffic power –Full power at full link rate C –Base power to keep network element operational –Linearization Both approaches have engineering challenges Opportunity for each method alone and in combination perfect rate adaptivity c c 100% EPI50% EPI25% EPI0% EPI traffic power traffic power c traffic power c 75% EPI traffic power c traffic power always on c traffic power
20
All Rights Reserved © Alcatel-Lucent 2006, ##### 20 | Presentation Title | Month 2006 Data sets Focus on service-provider networks: Rocketfuel datasets by U. Washington packet-tracing technology to discover router-level graphs routers labeled with cities, multiple routers/city
21
All Rights Reserved © Alcatel-Lucent 2006, ##### 21 | Presentation Title | Month 2006 Routing Heuristic “Iterative greedy least-power routing” motivated by [Charikar-Karagiazova] Randomly permute demands Route each demand along route that incurs least marginal cost First use incurs base power Subsequent use incurs increment cost Iterate until no improvement is observed
22
All Rights Reserved © Alcatel-Lucent 2006, ##### 22 | Presentation Title | Month 2006 Plots for x% EPI in rate-power curve 0% EPI (perfect rate adaptivity) Min-hop routing optimal always on (current state) power traffic multiplier 0% 100% c traffic power c traffic power Overprovision in capacity
23
All Rights Reserved © Alcatel-Lucent 2006, ##### 23 | Presentation Title | Month 2006 Plots for x% EPI in rate-power curve 0% EPI (perfect rate adaptivity) always on (current state) saving due to rate adaptation traffic multiplier 0% 100% Min-hop routing Power-aware routing c traffic power saving due to routing
24
All Rights Reserved © Alcatel-Lucent 2006, ##### 24 | Presentation Title | Month 2006 AS 1775 c 75% EPI traffic power
25
All Rights Reserved © Alcatel-Lucent 2006, ##### 25 | Presentation Title | Month 2006 AS 1755 For lightly loaded networks, power saving opportunities are there. For small rate adaptivity, opportunity for routing optimization is there.
26
All Rights Reserved © Alcatel-Lucent 2006, ##### 26 | Presentation Title | Month 2006 Open Problems What happens to non-uniform CND, where links have different capacities? What happens to non-uniform routing with (dis)economies of scale, where each link e has a distinct cost function f e ( )? What happens to protection version of the problem? What is analogue of Charikar—Karagiazova for routing with (dis)economies of scale?
27
All Rights Reserved © Alcatel-Lucent 2006, ##### 27 | Presentation Title | Month 2006 Backup
Similar presentations
© 2024 SlidePlayer.com. Inc.
All rights reserved.