Where is the debugger for my software-defined network?

Authors:
Nikhil Handigol;Brandon Heller;Vimalkumar Jeyakumar;David Maziéres;Nick McKeown
Affiliations:
Stanford University, Stanford, CA, USA;Stanford University, Stanford, CA, USA;Stanford University, Stanford, CA, USA;Stanford University, Stanford, CA, USA;Stanford University, Stanford, CA, USA
Venue:
Proceedings of the first workshop on Hot topics in software defined networks
Year:
2012

Citing 12
Cited 15

Practical network support for IP traceback

Proceedings of the conference on Applications, Technologies, Architectures, and Protocols for Computer Communication
Hash-based IP traceback

Proceedings of the 2001 conference on Applications, technologies, architectures, and protocols for computer communications
Trajectory sampling for direct traffic observation

IEEE/ACM Transactions on Networking (TON)
RouteBricks: exploiting parallelism to scale software routers

Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles
HyperFlow: a distributed control plane for OpenFlow

INM/WREN'10 Proceedings of the 2010 internet network management conference on Research on enterprise networking
A network in a laptop: rapid prototyping for software-defined networks

Hotnets-IX Proceedings of the 9th ACM SIGCOMM Workshop on Hot Topics in Networks
OFRewind: enabling record and replay troubleshooting for networks

USENIXATC'11 Proceedings of the 2011 USENIX conference on USENIX annual technical conference
Debugging the data plane with anteater

Proceedings of the ACM SIGCOMM 2011 conference
Frenetic: a network programming language

Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Consistent updates for software-defined networks: change you can believe in!

Proceedings of the 10th ACM Workshop on Hot Topics in Networks
Header space analysis: static checking for networks

NSDI'12 Proceedings of the 9th USENIX conference on Networked Systems Design and Implementation
A NICE way to test openflow applications

NSDI'12 Proceedings of the 9th USENIX conference on Networked Systems Design and Implementation

Real time network policy checking using header space analysis

nsdi'13 Proceedings of the 10th USENIX conference on Networked Systems Design and Implementation
HotSwap: correct and efficient controller upgrades for software-defined networks

Proceedings of the second ACM SIGCOMM workshop on Hot topics in software defined networking
Leveraging SDN layering to systematically troubleshoot networks

Proceedings of the second ACM SIGCOMM workshop on Hot topics in software defined networking
Fast, accurate simulation for SDN prototyping

Proceedings of the second ACM SIGCOMM workshop on Hot topics in software defined networking
OF.CPP: consistent packet processing for openflow

Proceedings of the second ACM SIGCOMM workshop on Hot topics in software defined networking
Verifying forwarding plane connectivity and locating link failures using static rules in software defined networks

Proceedings of the second ACM SIGCOMM workshop on Hot topics in software defined networking
Demystifying the dark side of the middle: a field study of middlebox failures in datacenters

Proceedings of the 2013 conference on Internet measurement conference
Virtual network diagnosis as a service

Proceedings of the 4th annual Symposium on Cloud Computing
DEFINED: deterministic execution for interactive control-plane debugging

USENIX ATC'13 Proceedings of the 2013 USENIX conference on Annual Technical Conference
Tiny packet programs for low-latency network control and monitoring

Proceedings of the Twelfth ACM Workshop on Hot Topics in Networks
Answering why-not queries in software-defined networks with negative provenance

Proceedings of the Twelfth ACM Workshop on Hot Topics in Networks
Unifying Cloud and Carrier Network: EU FP7 Project UNIFY

UCC '13 Proceedings of the 2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing
I know what your packet did last hop: using packet histories to troubleshoot networks

NSDI'14 Proceedings of the 11th USENIX Conference on Networked Systems Design and Implementation
Libra: divide and conquer to verify forwarding tables in huge networks

NSDI'14 Proceedings of the 11th USENIX Conference on Networked Systems Design and Implementation
Enforcing network-wide policies in the presence of dynamic middlebox actions using flowtags

NSDI'14 Proceedings of the 11th USENIX Conference on Networked Systems Design and Implementation

Quantified Score

Hi-index	0.00

Visualization

Abstract

The behavior of a Software-Defined Network is controlled by programs, which like all software, will have bugs - but this programmatic control also enables new ways to debug networks. This paper introduces ndb, a prototype network debugger inspired by gdb, which implements two primitives useful for debugging an SDN: breakpoints and packet backtraces. We show how ndb modifies forwarding state and logs packet digests to rebuild the sequence of events leading to an errant packet, providing SDN programmers and operators with a valuable tool for tracking down the root cause of a bug.