Tiramisu:快速且通用的网络验证
网络与互联网体系结构
2019-06-06 v1
摘要
当今的分布式网络控制平面支持多种路由协议、过滤机制和路由选择策略。这些协议运行于不同层,例如BGP运行于EGP层,OSPF运行于IGP层,VLAN运行于第2层。网络控制平面的行为取决于这些协议如何相互作用。这使得网络配置极为复杂且易出错。最先进的控制平面验证器要么太慢,要么未对网络的某些特性进行建模。本文提出一种新的多层hedge图抽象Tiramisu,支持对控制平面进行快速验证。Tiramisu结合图遍历算法与ILP(整数线性规划)来检查不同的网络策略。我们使用Tiramisu验证多个真实世界与合成配置的策略。实验表明,Tiramisu可在小型网络(约35台设备)中于<0.08 s内、大型网络(约160台设备)中于<0.12 s内验证任意策略,且比最先进技术快10–600倍而不失通用性。
引用
@article{arxiv.1906.02043,
title = {Tiramisu: Fast and General Network Verification},
author = {Anubhavnidhi Abhashkumar and Aaron Gember-Jacobson and Aditya Akella},
journal= {arXiv preprint arXiv:1906.02043},
year = {2019}
}
备注
14 pages + Appendices