碳化物：通过实时的多控制平面组成的高可靠性网络
Carbide: Highly Reliable Networks Through Real-Time Multiple Control Plane Composition
摘要：
实现高度可靠的网络对于网络运营商确保在软件错误或硬件故障时正确传输数据包至关重要。网络必须确保可达性和路由正确性，例如子网隔离和路点遍历。现有的网络验证工作依赖于以容错为代价的集中式计算，而其他方法要么构建过度设计的复杂控制平面，要么组成多个控制平面而不提供任何正确性保证。本文介绍了碳化物，一种新的系统，以实现高可靠性的网络，通过分布式验证和多个控制平面组成。Carbide的核心是一个简单、通用、高效的分布式验证框架，它将一般的网络验证问题转化为有向无环图（DAG）上的可达性验证问题，并通过高效的分布式验证协议（DV协议）解决后者。配备验证结果，Carbide允许多个控制平面的系统组合，并实现操作员指定的一致性。全面实施了碳化物。广泛的实验表明：（1）Carbide在最可靠的单个底层控制平面上将停机时间减少了43%，同时对所有流量执行正确性要求;（2）通过系统地将计算分解到设备并在验证期间修剪设备之间不必要的消息传递，Carbide可扩展到生产数据中心网络。
英文摘要：
Achieving highly reliable networks is essential for network operators to ensure proper packet delivery in the event of software errors or hardware failures. Networks must ensure reachability and routing correctness, such as subnet isolation and waypoint traversal. Existing work in network verification relies on centralized computation at the cost of fault tolerance, while other approaches either build an over-engineered, complex control plane, or compose multiple control planes without providing any guarantee on correctness. This paper presents Carbide, a novel system to achieve high reliability in networks through distributed verification and multiple control plane composition. The core of Carbide is a simple, generic, efficient distributed verification framework that transforms a generic network verification problem to a reachability verification problem on a directed acyclic graph (DAG), and solves the latter via an efficient distributed verification protocol (DV-protocol). Equipped with verification results, Carbide allows the systematic composition of multiple control planes and realization of operator-specified consistency. Carbide is fully implemented. Extensive experiments show that (1) Carbide reduces downtime by 43% over the most reliable individual underlying control plane, while enforcing correctness requirements on all traffic; and (2) by systematically decomposing computation to devices and pruning unnecessary messaging between devices during verification, Carbide scales to a production data center network.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
