Enforcing Customizable Consistency Properties in Software-Defined Networks

Kevin Jin (Illinois Institute of Technology)




Abstract: 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 up- date plan under the constraint of a given consistency pol- icy 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 heavy- weight techniques. Mininet and physical testbed evaluations demonstrate CCG’s capability to achieve various types of consistency, such as path and bandwidth proper- ties, with zero switch memory overhead and up to a 3× delay reduction compared to previous solutions.

Bio: Dong (Kevin) Jin is an Assistant Professor in Computer Science at the Illinois Institute of Technology. He obtained his Ph.D. in Electrical and Computer Engineering from the University of Illinois at Urbana-Champaign in 2013. His research interests lie in the areas of cyber-security, networking, and modeling and simulation of large-scale computing and communication systems and networks, including the Smart Grid and Software-Defined Networking (SDN). He received the best paper award at the 2012 ACM SIGSIM Conference on Principles of Advanced and Distributed Simulation (PADS). His email address is dong.jin@iit.edu.