Morpheus：用于 SDN 的安全灵活动态更新
网络与互联网体系结构
2015-09-14 v1
摘要
SDN 控制器必须定期修改以添加功能、提升性能和修复错误，但当前实现动态更新的技术尚不充分。简单地停止旧控制器并启动新控制器可能导致状态丢失，这常引起错误行为——例如，如果状态表示被防火墙列入黑名单的主机，那么应当被阻断的流量可能被允许通过。基于记录与重放的技术可以自动重建状态，但部署代价高且可能导致错误行为。问题场景尤其可能出现在分布式控制器和改变语义的更新中。本文提出了一种基于显式状态转移实现动态控制器更新的新方法。我们的框架不为自动推断状态变化（一种代价高且根本上不完整的方法），而是为程序员提供有效工具来实现避免重大中断的正确更新。我们开发了原语，使程序员能够直接（且在大多数情况下容易地）将新控制器的状态初始化为旧状态的函数，并设计了在过渡期间确保一致行为的协议。我们还提出了一个称为 Morpheus 的原型实现，并在代表性案例研究中评估了其有效性。
引用
@article{arxiv.1509.03614,
title = {Morpheus: Safe and Flexible Dynamic Updates for SDNs},
author = {Karla Saur and Joseph Collard and Nate Foster and Arjun Guha and Laurent Vanbever and Michael Hicks},
journal= {arXiv preprint arXiv:1509.03614},
year = {2015}
}