TY - GEN
T1 - VeriFlow
T2 - 1st ACM International Workshop on Hot Topics in Software Defined Networks, HotSDN 2012
AU - Khurshid, Ahmed
AU - Zhou, Wenxuan
AU - Caesar, Matthew
AU - Godfrey, P. Brighten
PY - 2012
Y1 - 2012
N2 - Networks are complex and prone to bugs. Existing tools that check configuration files and data-plane state operate offline at timescales of seconds to hours, and cannot detect or prevent bugs as they arise. Is it possible to check network-wide invariants in real time, as the network state evolves? The key challenge here is to achieve extremely low latency during the checks so that network performance is not affected. In this paper, we present a preliminary design, VeriFlow, which suggests that this goal is achievable. VeriFlow is a layer between a software-defined networking controller and network devices that checks for network-wide invariant violations dynamically as each forwarding rule is inserted. Based on an implementation using a Mininet OpenFlow network and Route Views trace data, we find that VeriFlow can perform rigorous checking within hundreds of microseconds per rule insertion.
AB - Networks are complex and prone to bugs. Existing tools that check configuration files and data-plane state operate offline at timescales of seconds to hours, and cannot detect or prevent bugs as they arise. Is it possible to check network-wide invariants in real time, as the network state evolves? The key challenge here is to achieve extremely low latency during the checks so that network performance is not affected. In this paper, we present a preliminary design, VeriFlow, which suggests that this goal is achievable. VeriFlow is a layer between a software-defined networking controller and network devices that checks for network-wide invariant violations dynamically as each forwarding rule is inserted. Based on an implementation using a Mininet OpenFlow network and Route Views trace data, we find that VeriFlow can perform rigorous checking within hundreds of microseconds per rule insertion.
KW - debugging
KW - forwarding
KW - openflow
KW - real time
KW - software-defined networking
UR - http://www.scopus.com/inward/record.url?scp=84866512813&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84866512813&partnerID=8YFLogxK
U2 - 10.1145/2342441.2342452
DO - 10.1145/2342441.2342452
M3 - Conference contribution
AN - SCOPUS:84866512813
SN - 9781450314770
T3 - HotSDN'12 - Proceedings of the 1st ACM International Workshop on Hot Topics in Software Defined Networks
SP - 49
EP - 54
BT - HotSDN'12 - Proceedings of the 1st ACM International Workshop on Hot Topics in Software Defined Networks
Y2 - 13 August 2012 through 13 August 2012
ER -