[论文解读] Survey of Consistent Network Updates

Klaus-Tycho Foerster, Stefan Schmid+1 more|arXiv (Cornell University)|Sep 8, 2016

Software-Defined Networks and 5G参考文献 65被引用 38

一句话总结

本文全面综述了计算机网络中快速、一致的网络更新机制与协议，重点聚焦于软件定义网络（SDN）。它识别了关键的一致性属性，分析了实现这些属性的算法技术，并评估了其对更新速度和成本的影响，同时将这些问题与经典优化挑战联系起来。

ABSTRACT

Computer networks have become a critical infrastructure. Designing dependable computer networks however is challenging, as such networks should not only meet strict requirements in terms of correctness, availability, and performance, but they should also be flexible enough to support fast updates, e.g., due to a change in the security policy, an increasing traffic demand, or a failure. The advent of Software-Defined Networks (SDNs) promises to provide such flexiblities, allowing to update networks in a fine-grained manner, also enabling a more online traffic engineering. In this paper, we present a structured survey of mechanisms and protocols to update computer networks in a fast and consistent manner. In particular, we identify and discuss the different desirable update consistency properties a network should provide, the algorithmic techniques which are needed to meet these consistency properties, their implications on the speed and costs at which updates can be performed. We also discuss the relationship of consistent network update problems to classic algorithmic optimization problems. While our survey is mainly motivated by the advent of Software-Defined Networks (SDNs), the fundamental underlying problems are not new, and we also provide a historical perspective of the subject.

研究动机与目标

• 识别并分析网络更新应维持的期望一致性属性，以确保正确性和可靠性。
• 研究实现一致更新的算法技术，并评估其性能与成本影响。
• 探讨一致网络更新问题与经典算法优化问题之间的关系。
• 提供一致更新的历史视角，表明核心挑战在现代SDN出现之前便已存在。
• 支持设计灵活、高性能的网络，使其能够因策略变更、流量迁移或故障而实现快速、安全的更新。

提出的方法

• 系统性地分类一致性属性，如无环转发、状态一致性以及更新期间的转发正确性。
• 分析原子更新、增量更新和状态机复制等算法方法，以实现一致性。
• 使用形式化模型评估更新速度、网络资源使用与一致性保证之间的权衡。
• 将一致更新问题映射到已知优化问题（如最短路径和最小生成树），以获得算法洞察。
• 回顾SDN兴起之前传统网络中一致更新的历史方法，突出其持久的原理。
• 综合协议与机制的见解，提炼未来一致更新系统的设计准则。

实验结果

研究问题

• RQ1 网络更新必须满足哪些基本一致性属性，以确保正确的转发行为？
• RQ2 哪些算法技术能够在平衡速度与资源成本的前提下实现一致更新？
• RQ3 SDN中的一致更新机制如何与经典算法优化问题相关联？
• RQ4 SDN出现之前，一致网络更新技术的历史基础与演变过程是什么？
• RQ5 在现代网络架构中，不同更新策略的性能与可扩展性影响如何？

主要发现

• 一致网络更新需遵守特定属性，如无环转发和状态收敛，以防止瞬态转发异常。
• 原子更新与增量更新技术在更新速度与实现复杂度之间存在权衡，其中原子更新提供更强的一致性保证。
• 一致更新问题在形式上与经典优化问题（如最短路径计算）相关联，从而可复用成熟的算法解决方案。
• 传统网络中的一致更新机制（如生成树协议和链路状态协议）虽假设不同，但已解决类似挑战。
• SDN的出现通过集中控制和暴露网络状态，实现了更细粒度、更快的更新，但核心一致性问题在算法上依然具有挑战性。
• 性能与成本权衡至关重要：更强的一致性属性通常需要更多网络资源或更长的更新时间，因此必须精心设计协议。