DeepAI AI Chat
Log In Sign Up

Distributed Consistent Network Updates in SDNs: Local Verification for Global Guarantees

by   Klaus-Tycho Foerster, et al.

While SDNs enable more flexible and adaptive network operations, (logically) centralized reconfigurations introduce overheads and delays, which can limit network reactivity. This paper initiates the study of a more distributed approach, in which the consistent network updates are implemented by the switches and routers directly in the data plane. In particular, our approach leverages concepts from local proof labeling systems, which allows the data plane elements to locally check network properties, and we show that this is sufficient to obtain global network guarantees. We demonstrate our approach considering three fundamental use cases, and analyze its benefits in terms of performance and fault-tolerance.


page 1

page 2

page 3

page 4


Network-accelerated Distributed Machine Learning Using MLFabric

Existing distributed machine learning (DML) systems focus on improving t...

LIGHTYEAR: Using Modularity to Scale BGP Control Plane Verification

Current network control plane verification tools cannot scale to large n...

Carbide: Highly Reliable Networks Through Real-Time Multiple Control Plane Composition

Achieving highly reliable networks is essential for network operators to...

Local verification of global proofs

In this work we study the cost of local and global proofs on distributed...

Fault Tolerance in SDN Data Plane Considering Network and Application Based Metrics

Failures in networks result in service disruptions which may cause deter...

Consistent SDNs through Network State Fuzzing

The conventional wisdom is that a software-defined network (SDN) operate...

Switch as a Verifier: Toward Scalable Data Plane Checking via Distributed, On-Device Verification

Data plane verification (DPV) is important for finding network errors. C...