A Safe, Efficient Update Protocol for OpenFlow Networks
The authors describe a new protocol for update of OpenFlow networks, which has the packet consistency condition and a weak form of the flow consistency condition. The protocol conserves switch resources, particularly TCAM space, by ensuring that only a single set of rules is present on a switch at any time. The protocol exploits the identity of switch rules with Boolean functions, and the ability of any switch to send packets to a controller for routing. When a network changes from one ruleset (ruleset 1) to another (ruleset 2), the packets affected by the change are computed, and are sent to the controller.