Séminaire REGALRSS

The Case for Reliable Software Transactional Networking

Speaker(s) : Petr Kuznetsov, Télécom ParisTech
Software-defined networking (SDN) is a novel paradigm that outsources the control of packet-forwarding switches to a set of software controllers. The most fundamental task of these controllers is the correct implementation of the network policy, i.e., the intended network behavior. In essence, such a policy specifies the rules by which packets must be forwarded across the network. We initiate the study of the SDN control plane as a distributed system.
We introduce a formal model describing the interaction between the data plane and a distributed control plane (consisting of a collection of fault-prone controllers). Then we formulate the problem of consistentcomposition of concurrent network policy updates. The composition is enabled via atransactional interface with all-or-nothing semantics, which allows us to reason about possibilities and impossibilities in controller synchronization.

Marc.Shapiro (at) nulllip6.fr