Tomographic Node Placement Strategies and the Impact of the Routing Model

Fault-tolerant computer networks rely on mechanisms supporting the fast detection of link failures. Tomographic techniques can be used to implement such mechanisms at low cost: it is often sufficient to deploy a small number of tomography nodes exchanging probe messages along paths between them and detect link failures based on these messages. Our paper studies a practically relevant aspect of network tomography: the impact of the routing model. While the relevance of the routing model on path diversity and hence tomography cost is obvious and well-known on an anecdotal level, we lack an analytical framework to quantify the influence of different routing models (such as destination-based routing) exists. This paper fills this gap and introduces a formal model for asymmetric network tomography and a taxonomy of path routing models. This facilitates algorithmic reasoning about tomographic placement problems and quantifying the difference between routing models. In particular, we provide optimal and near-optimal algorithms to deploy a minimal number of asymmetric and symmetric tomography nodes for basic network topologies (modelled as graphs) under different routing model classes. Interestingly, we find that in many cases routing according to a more restrictive routing model gives better results: compared to a more general routing model, computing a good placement is algorithmically more tractable and does not entail high monitoring costs, a desirable trade-off in practice.

[1]  Matthias Rost,et al.  Stitching Inter-Domain Paths over IXPs , 2016, SOSR.

[2]  Robert Soulé,et al.  Kulfi: Robust Traffic Engineering Using Semi-Oblivious Routing , 2016, ArXiv.

[3]  Stefan Schmid,et al.  SHEAR: A Highly Available and Flexible Network Architecture Marrying Distributed and Logically Centralized Control Planes , 2015, 2015 IEEE 23rd International Conference on Network Protocols (ICNP).

[4]  Kin K. Leung,et al.  On optimal monitor placement for localizing node failures via network tomography , 2015, Perform. Evaluation.

[5]  Mo Dong,et al.  Towards a flexible data center fabric with source routing , 2015, SOSR.

[6]  Kin K. Leung,et al.  Node Failure Localization via Network Tomography , 2014, Internet Measurement Conference.

[7]  Stefan Schmid,et al.  Provable data plane connectivity with local fast failover: introducing openflow graph algorithms , 2014, HotSDN.

[8]  Russell J. Clark,et al.  SDX , 2014, SIGCOMM.

[9]  Emin Gün Sirer,et al.  Managing the network with Merlin , 2013, HotNets.

[10]  Sajjad Zarifzadeh,et al.  Range tomography: combining the practicality of boolean tomography with the resolution of analog tomography , 2012, Internet Measurement Conference.

[11]  K. Argyraki,et al.  Shifting network tomography toward a practical goal , 2011, CoNEXT '11.

[12]  Matthew Roughan,et al.  The Internet Topology Zoo , 2011, IEEE Journal on Selected Areas in Communications.

[13]  Marwan Krunz,et al.  SRLG Failure Localization in Optical Networks , 2011, IEEE/ACM Transactions on Networking.

[14]  Amin Karbasi,et al.  Graph-Constrained Group Testing , 2010, IEEE Transactions on Information Theory.

[15]  Albert G. Greenberg,et al.  VL2: a scalable and flexible data center network , 2009, SIGCOMM '09.

[16]  Frits C. R. Spieksma,et al.  Connectivity Measures for Internet Topologies on the Level of Autonomous Systems , 2009, Oper. Res..

[17]  Nick Feamster,et al.  Practical issues with using network tomography for fault diagnosis , 2008, CCRV.

[18]  Renata Teixeira,et al.  NetDiagnoser: troubleshooting network unreachabilities using end-to-end probes and routing data , 2007, CoNEXT '07.

[19]  Nick G. Duffield,et al.  Network Tomography of Binary Network Performance Characteristics , 2006, IEEE Transactions on Information Theory.

[20]  Eran Shir,et al.  DIMES: let the internet measure itself , 2005, CCRV.

[21]  Ritesh Kumar,et al.  Efficient beacon placement for network tomography , 2004, IMC '04.

[22]  Nick G. Duffield,et al.  Simple network performance tomography , 2003, IMC '03.

[23]  Alejandro López-Ortiz,et al.  On the number of distributed measurement points for network tomography , 2003, IMC '03.

[24]  Lixin Gao,et al.  Stable Internet routing without global coordination , 2000, SIGMETRICS '00.

[25]  Shlomo Moran,et al.  Optimal Covering of Cacti by Vertex-Disjoint Paths , 1991, Theor. Comput. Sci..

[26]  B. Eggers Computers And Intractability A Guide To The Theory Of Np Completeness , 2016 .

[27]  Ratul Mahajan,et al.  Measuring ISP topologies with Rocketfuel , 2004, IEEE/ACM Transactions on Networking.

[28]  Renata Teixeira,et al.  General Terms Measurement , 2022 .