1 / 22

Next-hop Policy Routing

Next-hop Policy Routing. CPSC 455/555 1/24/2006. Biconnected directed network Destination Users input a utility for every allowed path Mechanism outputs utility-maximizing directed tree ( arborescence ) Mechanism outputs incentive payments. G = ( N , E ) j  N

ciara
Download Presentation

Next-hop Policy Routing

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. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript


  1. Next-hop Policy Routing CPSC 455/555 1/24/2006

  2. Biconnected directed network Destination Users input a utility for every allowed path Mechanism outputs utility-maximizing directed tree (arborescence) Mechanism outputs incentive payments G = (N,E) j N ui: SijR0Sij allowed ij paths g: u  TjTjall j-rooted treesg = argmaxTTjiui(Tij)Tijthe ij path in T p : u  Rn General Policy Routing Problem

  3. General Policy Routing Problems • Computing g alone is NP-hard • Approximating to within an n1/4- factor is NP-hard • If NPZPP, there is no poly-time algorithm that approximates to with an n1/2- factor • There are potentially exponentially many paths for which an agent wishes to express a utility • In practice, we don’t expect an agent’s preferences to require the expressiveness of this model.

  4. Next-hop Preferences • Restrict utility functions to depend only on next hopui(ui1,…,uik, j) =ui(ui1) • Models different roles of connected Autonomous Systems • Customer • Peer • Provider • AS may reasonably be most concerned about next hop • AS controls next hop • AS has firsthand performance observations

  5. Biconnected directed network Destination Users input a utility for every neighbor Mechanism outputs utility-maximizing directed tree (arborescence) Mechanism outputs incentive payments G = (N,E) j N wi :+(ui)R0 g : w  TjTjall j-rooted treesg = argmaxTTjw(T)w(T) =  (ui,uk)Twi(uk) p : w  Rn Next-hop Policy Routing Problem

  6. Next-hop Output Lemma 1: Computing the next-hop policy routing output is equivalent to computing the maximum weight directed spanning tree rooted at j. Proof: The weight of any output T cannot be decreased by connecting any nodes that are not in T, since utilities are nonnegative. Therefore we can restrict our attention to such outputs. By definition, the output must be of maximum weight.

  7. Next-hop Output Corollary 1: Computing the next-hop policy routing output is equivalent to computing the minimum weight directed spanning tree rooted at j. Proof: Let M=maxeEw(e). Reweight the edges with w’(e) = M-w(e). Thenw’(T) = (n-1)M – w(T)so the maximum weight tree under w is the minimum weight tree under w’.

  8. Next-hop Payment • We know VCG payments must be of the formpi = kiwk(T*) + hi(w-i) • We normalize this by setting leaves in the output tree to receive payment zero. Let T-ibe the max weight arborescence of N-i. pi = kiwk(T*) - w(T-i) = w(T*) – wi(T*) - w(T-i) • Payment can be computed in polynomial time with (n-1) max weight arborescence calculations.

  9. MDST Mechanism Summary Can we implement this in a BGP-like mechanism?

  10. Proving Hardness for “BGP-based” Routing Algorithms Requirements for routing to any destination : [P1] Each AS uses O(l) space for a route of lengthl. [P2] The routes converge in O(log n) stages. [P3] Most changes should not have to be broadcast to most nodes. Formally, there are only o(n) nodes that can trigger (n) updates when they fail or change valuation. Hardness results must hold: • For “Internet-like” graphs: • O(1) average degree • O(log n) diameter, even after removing a node • For an open set of preference values

  11. LCP Routing is BGP-based Theorem: Assume all node costs are in [1,r], for r = polylog(n). Then the FPSS mechanism for lowest-cost routing is BGP-based. Proof:[P1]Each AS uses O(l) space for a route of length l. FPSS algorithm only adds a price and cost per node. [P2]The routes converge in O(log n) stages. Let d longest LCP and d’ be the longest k avoiding path. These are at most an r factor times the diameter of the network. The algorithm converges in max(d,d’).

  12. LCP Routing is BGP-based Proof cont’d: [P3]There are only o(n) nodes that can trigger (n) updates when they fail or change valuation. For a given destination, the paths of each node can be affected by the failures of at most dd’ other nodes. Thus the number of nodes that need updating upon failure summed over all nodes is O(ndd’) = O(n·polylog(n)). If (n) nodes could trigger (n) updates this would be (n2). The same argument holds for cost changes, since they do not trigger path changes in an open set. O(ndd’) O(dd’)

  13. Long Convergence Time of MDST Theorem 1: An algorithm for the MDST mechanism cannot satisfy property [P2]. Proof sketch: • MDST has a path of length (n+1)/2 + lg(n) = (n). • BGP routes in a hop-by-hop manner •  (n) stages required for convergence. • Internet-like graph • Max weighted tree invariant when weights are perturbed by < 1/2 1 1 1 1 1 1 1 2 2 2 2

  14. Extensive Dynamic Communication of MDST Theorem 2: A distributed algorithm for the MDST mechanism cannot satisfy property [P3]. Proof sketch: • (i) Construct a network and valuations such that • for (n) nodes i, T-i is disjoint from the MDST T*. • A change in the valuation of any node uk of its edge in T* will change • pi=w(T*) – wi(T*)– w(T-i). • (iii) Node ui (or whichever node stores pi) must receive • an update when this change happens. •  (n) nodes can each trigger (n) update messages.

  15. L- 2k -1 B R B R L- 2k -1 k-cluster k-cluster (k+1)-cluster Network Construction (1) (a) Construct 1-cluster with two nodes: L-1 red port blue port L  2 lg n + 4 B R L-1 1-cluster (b) Recursively construct (k+1)-clusters: red port blue port

  16. 5 7 9 9 9 9 B R B B R R B R 9 9 9 9 7 7 5 3 2 j Network Construction (2) (c) Top level: m-cluster with n = 2m + 1 nodes. blue port red port B R m-cluster L- 2m -1 L- 2m -2 j Destination Final network (m = 3):

  17. 5 7 9 9 9 9 B R B B R R B R 9 9 9 9 7 7 5 3 2 j Network Construction (2) (c) Top level: m-cluster with n = 2m + 1 nodes. blue port red port B R m-cluster L- 2m -1 L- 2m -2 j Destination Final network (m = 3): blue j-tree

  18. 5 7 9 9 9 9 B R B B R R B R 9 9 9 9 7 7 5 3 2 j Network Construction (2) (c) Top level: m-cluster with n = 2m + 1 nodes. blue port red port B R m-cluster L- 2m -1 L- 2m -2 j Destination Final network (m = 3): blue j-tree red j-tree

  19. Optimal Spanning Trees Proof: The equality follows from an easy inductive argument. For the inequality, let T be any other j-tree. T must have red and blue edges. Every cluster has exactly one blue edge and one red edge that connects to a node outside the cluster. If only one of these edges appears in T, say, the blue edge, then one of the following must be true: 1. All the edges of T within the cluster are blue 2. The cluster contains a smaller cluster with both red and blue outgoing edges. Therefore at least one cluster must have a red outgoing edge and a blue outgoing edge in T. Lemma 2:w(blue tree) = w(red tree) + 1w(any other j-tree) + 2

  20. Optimal Spanning Trees Proof cont’d: Consider the smallest cluster with a red outgoing edge and a blue outgoing edge. Let it be a (k+1)-cluster. We can use this cluster to increase the spanning tree weight by 2, contradicting its maximality. L- 2k -3  L- 2k -3 B R k-cluster k-cluster (k+1)-cluster L- 2k -1 L- 2k -3 B B k-cluster k-cluster (k+1)-cluster

  21. 5 7 9 9 9 9 B R B B R R B R 9 9 9 9 7 7 5 3 2 j Proof of Theorem 2 • MDST T* is the blue spanning tree. • For any blue nodeB, T-B is the red spanning tree on N–{B}. • A small change in any edge, red or blue, changes pB=W(T*) – uB(T*) – W(T-B)  Any change triggers update messages to all blue nodes!

  22. Summary • General preferences computationally intractable • Next-hop preferences are reasonable and computable • Routing protocol should have BGP properties on Internet-like graphs • A next-hop mechanism (MDST) cannot be computed via a BGP-like protocol.

More Related