Schneider, Tibor; Vissicchio, Stefano; Vanbever, Laurent; (2025) Verifying maximum link loads in a changing world. In: Benson, Theophilus A and Mysore, Radhika Niranjan, (eds.) Proceedings of the 22nd USENIX Symposium on Networked Systems Design and Implementation: NSDI '25. (pp. pp. 1269-1287). USENIX Association: Philadelphia, PA, USA.

Preview

Text nsdi25-schneider.pdf - Published Version Download (697kB) | Preview

Abstract

To meet ever more stringent requirements, network operators often need to reason about worst-case link loads. Doing so involves analyzing traffic forwarding after failures and BGP route changes. State-of-the-art systems identify failure scenarios causing congestion, but they ignore route changes. We present Velo, the first verification system that efficiently finds maximum link loads under failures and route changes. The key building block of Velo is its ability to massively reduce the gigantic space of possible route changes thanks to (i) a router-based abstraction for route changes, (ii) a theoretical characterization of scenarios leading to worst-case link loads, and (iii) an approximation of input traffic matrices. We fully implement and extensively evaluate Velo. Velo takes only a few minutes to accurately compute all worst-case link loads in large ISP networks. It thus provides operators with critical support to robustify network configurations, improve network management and take business decisions.

Download activity - last month

Export as CSVXMLJSON

Download activity - last 12 months

Export as JSONXMLCSV

Downloads by country - last 12 months

Export as CSVJSONXML

Archive Staff Only

View Item