AED: incrementally synthesizing policy-compliant and manageable configurations
AED: incrementally synthesizing policy-compliant and manageable configurations
复制标题
AED：逐步综合符合策略且可管理的配置
DOI：
10.1145/3386367.3431304
复制
发表时间：
2020
期刊：
影响因子：
--
通讯作者：
Akella, Aditya
中科院分区：
文献类型：
--
作者：
Abhashkumar, Anubhavnidhi;Gember-Jacobson, Aaron;Akella, Aditya
当更新路由器配置时，网络运营商经常尝试满足各种管理目标（例如，保持跨设备的结构相似性），同时还确保正确地满足所有转发策略。我们的工具AED可以自动完成这一过程。AED将配置更新建模为语法树添加和删除的集合，并制定了一个创新的SMT（可满足性模理论）约束系统，该系统对配置的结构和与路由算法的交互进行编码。操作员用高级语言表达管理目标，AED将其转换为最大限度满足的“软”约束。对真实的和合成网络配置的评估表明，AED可以在一分钟内更新具有数十个路由器和数百个策略的网络，并且AED在满足管理目标方面优于手工制作的更新和最先进的工具。
When updating router configurations, network operators often attempt to meet a variety of management objectives (e.g., maintaining structural similarity across devices), while also ensuring all forwarding policies are correctly satisfied. Our tool, AED, automates this process. AED models configuration updates as a collection of syntax tree additions and removals, and formulates an innovative system of SMT (Satisfiability Modulo Theory) constraints that encode configurations' structure and interaction with routing algorithms. Operators express management objectives in a high-level language, and AED translates these to "soft" constraints that are maximally satisfied. Evaluations on real and synthetic network configurations show that AED can update networks with tens of routers and hundreds of policies in under a minute, and AED outperforms both hand-crafted updates and state-of-the-art tools in meeting management objectives.
登录
查看更多内容
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
影响因子：
--
作者：
Ryan Beckett;Aarti Gupta;Ratul Mahajan;D. Walker
通讯作者：
Ryan Beckett;Aarti Gupta;Ratul Mahajan;D. Walker
优化喇叭求解器以进行网络修复
DOI：
--
发表时间：
2016
期刊：
Formal Methods in Computer-Aided Design
影响因子：
--
作者：
Hossein Hojjat;P. Rümmer;Jedidiah McClurg;Pavol Cerný;Nate Foster
通讯作者：
Nate Foster