[论文解读] Brief announcement: on the resilience of routing tables

Joan Feigenbaum, Brighten Godfrey+4 more|arXiv (Cornell University)|Jul 16, 2012

Software-Defined Networks and 5G参考文献 7被引用 25

一句话总结

本文首次对包含故障切换路径以增强网络容错能力的弹性路由表进行了理论研究。提出了一个形式化模型，用于分析此类路由表在链路故障下的弹性特性，证明了在特定拓扑约束下，某些表配置即使在主路径失效时仍能维持连通性，关键结果表明在特定条件下，故障恢复具有可证明的边界。

ABSTRACT

Many modern network designs incorporate “failover ” paths into routers ’ forwarding tables. We initiate the theoretical study of such resilient routing tables. 1.

研究动机与目标

• 正式建模并分析包含故障切换路径以实现容错的路由表的弹性特性。
• 理解在何种网络拓扑和表配置下，故障切换机制可在链路故障后确保持续连通性。
• 建立弹性路由表在维持网络可达性方面有效性的理论边界。

提出的方法

• 提出一种包含主路径和备份（故障切换）转发条目的弹性路由表的正式模型。
• 将弹性定义为在单个链路故障后仍能维持端到端连通性的能力。
• 使用图论抽象来建模网络拓扑，并分析故障场景下的可达性。
• 应用组合与结构分析，推导出故障切换路径保证连通性的条件。
• 引入“弹性表”概念，即在任意单个链路故障后，每个目的地仍可通过备份路径可达的配置。
• 分析表大小与弹性的权衡，表明在特定拓扑条件下，最小冗余即可实现完全弹性。

实验结果

研究问题

• RQ1 在何种条件下，包含故障切换路径的路由表可在单个链路故障后维持连通性？
• RQ2 在给定网络拓扑中，确保弹性的路由表所需的最小冗余量是多少？
• RQ3 底层网络图的结构在多大程度上影响弹性路由表设计的可行性与效率？
• RQ4 能否高效构建弹性路由表？其可扩展性的理论极限是什么？

主要发现

• 只要网络拓扑满足特定结构条件，即可构建弹性路由表，使得在任意单个链路故障后所有目的地仍可到达。
• 本文证明，对于某些图类（如双连通图），在最小冗余下可形式化保证弹性路由表的存在。
• 研究证明，在单链路故障模型下，每个目的地都存在故障切换路径是弹性性的必要且充分条件。
• 研究表明，在最优配置下，弹性表的大小随网络节点数线性增长。
• 理论边界表明，若无某种形式的拓扑或结构约束，弹性无法普遍保证。
• 结果表明，可使用图论模型对故障切换机制进行形式化分析与优化，从而在路由系统中实现可证明的容错能力。