SDNRacer: Detecting Concurrency Violations in Software-Defined Networks
Abstract
Software-Defined Networking (SDN) control software executes in highly asynchronous environments where unexpected concurrency errors can lead to performance or, worse, reachability errors. Unfortunately, detecting such errors is notoriously challenging, and SDN is no exception.
Fundamentally, two ingredients are needed to build a concurrency analyzer: (i) a model of how different events are ordered, and (ii) the memory locations on which event accesses can interfere. In this paper we formulate the first happens-before (HB) model for SDNs enabling one to reason about ordering between events. We also present a commutativity specification of the network switch, allowing us to elegantly capture interference between concurrent events.
Based on the above, we present the first dynamic concurrency analyzer for SDNs, called SdnRacer. SdnRacer uses the HB model and the commutativity rules to identify concurrency violations. Preliminary results indicate that the detector is practically effective—it can detect harmful violations quickly.
People
BibTex
@INPROCEEDINGS{miserez2015sdnracer,
isbn = {978-1-4503-3451-8},
doi = {10.1145/2774993.2775004},
year = {2015},
booktitle = {SOSR '15 Proceedings of the 1st ACM SIGCOMM Symposium on Software Defined Networking Research},
type = {Conference Paper},
author = {Miserez, Jérémie and Bielik, Pavol and El-Hassany, Ahmed and Vanbever, Laurent and Vechev, Martin},
size = {7 p.},
keywords = {Software Defined Networking; OpenFlow; Commutativity Specification; Happens-before; Nondeterminism},
language = {en},
address = {New York, NY},
publisher = {Association for Computing Machinery},
title = {SDNRacer: Detecting Concurrency Violations in Software-Defined Networks},
PAGES = {22},
Note = {1st ACM SIGCOMM Symposium on Software Defined Networking Research (SOSR'15); Conference Location: Santa Clara, CA, USA; Conference Date: June 17-18, 2015}
}Research Collection: 20.500.11850/103892