Toward Systematic Detection and Resolution of Network Control Conflicts

Abstract

The problem of detecting and resolving control con icts has started to receive attention from the networking commu- nity. Corybantic [16] is an example of recent work in this area. We argue that it is too coarse grain in that it does not model the combined operational objectives of multiple controller functions. This paper proposes a ner grain ap- proach where a network control function is represented as a deterministic nite-state transducer. The machine runs on inputs provided by an SDN controller and outputs instruc- tions that update the network as needed to meet objectives. Standard proof techniques and algorithms can be leveraged to analyze properties of these machines. Speci cally, their intersection describes precisely the stable operating region of a network when the machines operate in parallel. The stable region comprises conditions under which no control function is in the process of updating the network.