TY - GEN
T1 - Enforcing customizable consistency properties in software-defined networks
AU - Zhou, Wenxuan
AU - Jin, Dong
AU - Croft, Jason
AU - Caesar, Matthew
AU - Godfrey, P. Brighten
N1 - Publisher Copyright:
© 2015 by The USENIX Association. All Rights Reserved.
PY - 2015
Y1 - 2015
N2 - It is critical to ensure that network policy remains consistent during state transitions. However, existing techniques impose a high cost in update delay, and/or FIB space. We propose the Customizable Consistency Generator (CCG), a fast and generic framework to support customizable consistency policies during network updates. CCG effectively reduces the task of synthesizing an update plan under the constraint of a given consistency policy to a verification problem, by checking whether an update can safely be installed in the network at a particular time, and greedily processing network state transitions to heuristically minimize transition delay. We show a large class of consistency policies are guaranteed by this greedy heuristic alone; in addition, CCG makes judicious use of existing heavier-weight network update mechanisms to provide guarantees when necessary. As such, CCG nearly achieves the "best of both worlds": the efficiency of simply passing through updates in most cases, with the consistency guarantees of more heavyweight techniques. Mininet and physical testbed evaluations demonstrate CCG's capability to achieve various types of consistency, such as path and bandwidth properties, with zero switch memory overhead and up to a 3× delay reduction compared to previous solutions.
AB - It is critical to ensure that network policy remains consistent during state transitions. However, existing techniques impose a high cost in update delay, and/or FIB space. We propose the Customizable Consistency Generator (CCG), a fast and generic framework to support customizable consistency policies during network updates. CCG effectively reduces the task of synthesizing an update plan under the constraint of a given consistency policy to a verification problem, by checking whether an update can safely be installed in the network at a particular time, and greedily processing network state transitions to heuristically minimize transition delay. We show a large class of consistency policies are guaranteed by this greedy heuristic alone; in addition, CCG makes judicious use of existing heavier-weight network update mechanisms to provide guarantees when necessary. As such, CCG nearly achieves the "best of both worlds": the efficiency of simply passing through updates in most cases, with the consistency guarantees of more heavyweight techniques. Mininet and physical testbed evaluations demonstrate CCG's capability to achieve various types of consistency, such as path and bandwidth properties, with zero switch memory overhead and up to a 3× delay reduction compared to previous solutions.
UR - http://www.scopus.com/inward/record.url?scp=84967222710&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84967222710&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84967222710
T3 - Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2015
SP - 73
EP - 85
BT - Proceedings of the 12th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2015
PB - USENIX
T2 - 12th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2015
Y2 - 4 May 2015 through 6 May 2015
ER -