Detecting network load violations for distributed control planes
Detecting network load violations for distributed control planes
复制标题
检测分布式控制平面的网络负载违规
DOI：
10.1145/3385412.3385976
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Akella, Aditya
中科院分区：
文献类型：
--
作者：
Subramanian, Kausik;Abhashkumar, Anubhavnidhi;D'Antoni, Loris;Akella, Aditya
网络运营商所面临的主要挑战之一涉及其网络是否能够满足输入业务需求、避免过载以及满足服务水平协议。自动验证网络链路是否过载非常复杂，需要对频繁的网络故障、复杂的路由和负载平衡技术以及不断变化的流量需求进行建模。我们提出了QARC，一个分布式控制平面抽象，可以自动验证控制平面是否可能导致链路负载违规故障。QARC是全自动的，可以帮助运营商对网络进行编程，使其对故障更具弹性，并升级网络以避免违规行为。我们将QARC应用于真实的数据中心和ISP网络，并发现有趣的负载违规情况。QARC可以在一小时内检测违规行为。
One of the major challenges faced by network operators pertains to whether their network can meet input traffic demand, avoid overload, and satisfy service-level agreements. Automatically verifying if no network links are overloaded is complicated---requires modeling frequent network failures, complex routing and load-balancing technologies, and evolving traffic requirements. We present QARC, a distributed control plane abstraction that can automatically verify whether a control plane may cause link-load violations under failures. QARC is fully automatic and can help operators program networks that are more resilient to failures and upgrade the network to avoid violations. We apply QARC to real datacenter and ISP networks and find interesting cases of load violations. QARC can detect violations in under an hour.
登录
查看更多内容
DOI：
10.1145/3132747.3132753
发表时间：
2017-10
期刊：
Proceedings of the 26th Symposium on Operating Systems Principles
影响因子：
--
作者：
Aaron Gember;Aditya Akella;Ratul Mahajan;H. Liu
通讯作者：
Aaron Gember;Aditya Akella;Ratul Mahajan;H. Liu
Tiramisu：快速多层网络验证
DOI：
--
发表时间：
2020
期刊：
17th USENIX Symposium on Networked Systems Design and Implementation
影响因子：
--
作者：
Abhashkumar, A.;Gember-Jacobson, A.;Akella, A.
通讯作者：
Akella, A.
DOI：
10.1145/3179425
发表时间：
2018
期刊：
Proceedings of the ACM on Measurement and Analysis of Computing Systems
影响因子：
--
作者：
Subramanian, Kausik;D'Antoni, Loris;Akella, Aditya
通讯作者：
Akella, Aditya
NV：用于验证网络控制平面的中间语言
DOI：
10.1145/3385412.3386019
发表时间：
2020
期刊：
PLDI 2020: Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
作者：
Giannarakis, Nick;Loehr, Devon;Beckett, Ryan;Walker, David
通讯作者：
Walker, David