Le monde numérique au service de la certification et de la sécurisation des systèmes 

Séminaire_The Case for Reliable Software Transactional Networking_Petr Kuznetsov_28 octobre 2013

le 28 octobre 2013 de 14h à 15h

Le Séminaire aura lieu le 28 octobre au laboratoire LaBRI en salle 178 de 14h à 15h.

Abstract :

Software-defined networking (SDN) is a novel paradigm that out-sources 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 a transactional interface with all-or-nothing semantics, which allows us to reason about possibilities and impossibilities in controller synchronization.

Dernière mise à jour jeudi 10 octobre 2013