Abstractions for network update

DMCA

Abstractions for network update (2012)

Cached

Download Links

by Mark Reitblatt , Nate Foster , Jennifer Rexford

Venue:	In ACM SIGCOMM’12
Citations:	138 - 20 self

BibTeX

@INPROCEEDINGS{Reitblatt12abstractionsfor,
    author = {Mark Reitblatt and Nate Foster and Jennifer Rexford},
    title = {Abstractions for network update},
    booktitle = {In ACM SIGCOMM’12},
    year = {2012}
}

OpenURL

Abstract

Configuration changes are a common source of instability in networks, leading to outages, performance disruptions, and security vulnerabilities. Even when the initial and final configurations are correct, the update process itself often steps through intermediate configurations that exhibit incorrect behaviors. This paper introduces the notion of consistent network updates—updates that are guaranteed to preserve well-defined behaviors when transitioning between configurations. We identify two distinct consistency levels, per-packet and per-flow, and we present general mechanisms for implementing them in Software-Defined Networks using switch APIs like OpenFlow. We develop a formal model of OpenFlow networks, and prove that consistent updates preserve a large class of properties. We describe our prototype implementation, including several optimizations that reduce the overhead required to perform consistent updates. We present a verification tool that leverages consistent updates to significantly reduce the complexity of checking the correctness of network control software. Finally, we describe the results of some simple experiments demonstrating the effectiveness of these optimizations on example applications.

Keyphrases

network update consistent update security vulnerability large class verification tool well-defined behavior simple experiment prototype implementation intermediate configuration network control software example application formal model consistent network update configuration change update process several optimization distinct consistency level general mechanism software-defined network final configuration incorrect behavior openflow network switch apis common source performance disruption

DMCA