网络更新的高效综合
编程语言
2015-04-20 v3
摘要
软件定义网络（SDN）正在革新网络行业，但当前的SDN编程平台未提供自动更新全局配置的机制。手动实现更新对SDN程序员具有挑战性，因为网络是分布式系统，包含数百或数千个交互节点。即使初始和最终配置正确，天真地更新单个节点也可能导致不正确的瞬态行为，包括环路、黑洞和访问控制违规。本文提出一种自动综合保证保留指定属性的更新的方法。我们将网络更新形式化为分布式编程问题，并开发了基于反例引导搜索和增量模型检查的综合算法。我们描述了一个原型实现，并给出了在真实拓扑和属性上的实验结果，表明我们的工具可扩展到涉及超过一千个节点的更新。
引用
@article{arxiv.1403.5843,
title = {Efficient Synthesis of Network Updates},
author = {Jedidiah McClurg and Hossein Hojjat and Pavol Cerny and Nate Foster},
journal= {arXiv preprint arXiv:1403.5843},
year = {2015}
}