HALO: Hop-by-Hop Adaptive Link-State Optimal Routing

We present HALO, the first link-state routing solution with hop-by-hop packet forwarding that minimizes the cost of carrying traffic through packet-switched networks. At each node u, for every other node t, the algorithm independently and iteratively updates the fraction of traffic destined to t that leaves u on each of its outgoing links. At each iteration, the updates are calculated based on the shortest path to each destination as determined by the marginal costs of the network's links. The marginal link costs used to find the shortest paths are in turn obtained from link-state updates that are flooded through the network after each iteration. For stationary input traffic, we prove that HALO converges to the routing assignment that minimizes the cost of the network. Furthermore, we observe that our technique is adaptive, automatically converging to the new optimal routing assignment for quasi-static network changes. We also report numerical and experimental evaluations to confirm our theoretical predictions, explore additional aspects of the solution, and outline a proof-of-concept implementation of HALO.

[1]  Karl Henrik Johansson,et al.  Dynamical properties of hybrid automata , 2003, IEEE Trans. Autom. Control..

[2]  Fillia Makedon,et al.  Fast Approximation Algorithms for Multicommodity Flow Problems , 1995, J. Comput. Syst. Sci..

[3]  Baruch Awerbuch,et al.  Distributed algorithms for multicommodity flow problems via approximate steepest descent framework , 2007, SODA '07.

[4]  Albert G. Greenberg,et al.  Fast accurate computation of large-scale IP traffic matrices from link loads , 2003, SIGMETRICS '03.

[5]  M. Kodialam,et al.  Oblivious Routing of Highly Variable Traffic in Service Overlays and IP Backbones , 2009, IEEE/ACM Transactions on Networking.

[6]  Daniel Pérez Palomar,et al.  A tutorial on decomposition methods for network utility maximization , 2006, IEEE Journal on Selected Areas in Communications.

[7]  Guy Leduc,et al.  TOTEM: A Toolbox for Traffic Engineering Methods , 2006 .

[8]  Karl Henrik Johansson,et al.  Continuity and invariance in hybrid automata , 2001 .

[9]  Luigi Fratta,et al.  The flow deviation method: An approach to store-and-forward communication network design , 1973, Networks.

[10]  Larry J. LeBlanc,et al.  A new proximal decomposition algorithm for routing in telecommunication networks , 1998, Networks.

[11]  T. Stern,et al.  A Class of Decentralized Routing Algorithms Using Relaxation , 1977, IEEE Trans. Commun..

[12]  F. Paganini,et al.  A Unified Approach to Congestion Control and Node-Based Multipath Routing , 2009, IEEE/ACM Transactions on Networking.

[13]  Edmund M. Yeh,et al.  Node-Based Optimal Power Control, Routing, and Congestion Control in Wireless Networks , 2006, IEEE Transactions on Information Theory.

[14]  Ao Tang,et al.  Cost of Not Splitting in Routing: Characterization and Estimation , 2011, IEEE/ACM Transactions on Networking.

[15]  Albert G. Greenberg,et al.  Data center TCP (DCTCP) , 2010, SIGCOMM '10.

[16]  D. O. Awduche,et al.  MPLS and traffic engineering in IP networks , 1999, IEEE Commun. Mag..

[17]  Mung Chiang,et al.  Link-State Routing with Hop-by-Hop Forwarding Can Achieve Optimal Traffic Engineering , 2008, IEEE INFOCOM 2008 - The 27th Conference on Computer Communications.

[18]  Stephen P. Boyd,et al.  Convex Optimization , 2004, Algorithms and Theory of Computation Handbook.

[19]  Ao Tang,et al.  Optimal link-state hop-by-hop routing , 2013, 2013 21st IEEE International Conference on Network Protocols (ICNP).

[20]  Mikkel Thorup,et al.  Increasing Internet Capacity Using Local Search , 2004, Comput. Optim. Appl..

[21]  Edith Cohen,et al.  Making Routing Robust to Changing Traffic Demands: Algorithms and Evaluation , 2006, IEEE/ACM Transactions on Networking.

[22]  Deep Medhi,et al.  Determining link weight system under various objectives for OSPF networks using a Lagrangian relaxation-based approach , 2005, IEEE Transactions on Network and Service Management.

[23]  Dahai Xu,et al.  Compact formulation of Network Entropy Maximization , 2012, 2012 46th Annual Conference on Information Sciences and Systems (CISS).

[24]  M. Projected Newton Methods and Optimization of Multicommodity Flows , 2022 .

[25]  Farhad Shahrokhi,et al.  The maximum concurrent flow problem , 1990, JACM.

[26]  Jim Kurose,et al.  Computer Networking: A Top-Down Approach , 1999 .

[27]  Roch Guérin,et al.  Achieving near-optimal traffic engineering solutions for current OSPF/IS-IS networks , 2005, IEEE/ACM Transactions on Networking.

[28]  Éva Tardos,et al.  Fast approximation algorithms for fractional packing and covering problems , 1991, [1991] Proceedings 32nd Annual Symposium of Foundations of Computer Science.

[29]  DiotChristophe,et al.  Achieving near-optimal traffic engineering solutions for current OSPF/IS-IS networks , 2005 .

[30]  C. E. Agnew,et al.  On quadratic adaptive routing algorithms , 1976, CACM.

[31]  Cheng Jin,et al.  MATE: MPLS adaptive traffic engineering , 2001, Proceedings IEEE INFOCOM 2001. Conference on Computer Communications. Twentieth Annual Joint Conference of the IEEE Computer and Communications Society (Cat. No.01CH37213).

[32]  Robert G. Gallager,et al.  A Minimum Delay Routing Algorithm Using Distributed Computation , 1977, IEEE Trans. Commun..