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

08/27/2019
by   Klaus-Tycho Foerster, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
06/30/2019

Network-accelerated Distributed Machine Learning Using MLFabric

Existing distributed machine learning (DML) systems focus on improving t...
research
04/20/2022

LIGHTYEAR: Using Modularity to Scale BGP Control Plane Verification

Current network control plane verification tools cannot scale to large n...
research
05/22/2020

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

Achieving highly reliable networks is essential for network operators to...
research
03/26/2018

Local verification of global proofs

In this work we study the cost of local and global proofs on distributed...
research
12/26/2019

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

Failures in networks result in service disruptions which may cause deter...
research
04/18/2019

Consistent SDNs through Network State Fuzzing

The conventional wisdom is that a software-defined network (SDN) operate...
research
05/16/2022

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...

Please sign up or login with your details

Forgot password? Click here to reset