Por favor, use este identificador para citar o enlazar este ítem:
http://inaoe.repositorioinstitucional.mx/jspui/handle/1009/2138| A Causal-Based Consistent Update Approach for Software-Defined Networks | |
| Mohamed Amine GUIDARA | |
| SAUL EDUARDO POMARES HERNANDEZ LIL MARIA RODRIGUEZ HENRIQUEZ | |
| Acceso Abierto | |
| Atribución-NoComercial-SinDerivadas | |
| Software-defined networks OpenFlow Transient Forwarding Loop (TFL) Pattern Happened-before relation Causal order delivery Consistent network updates | |
| Software-Defined Network (SDN) is a network paradigm that has been recently introduced. Unlike traditional networks, e.g. IP networks, SDNs separate the network control logic from forwarding devices, and delegate network management tasks to a logically-centralized entity called the controller. However, SDN is still a distributed and asynchronous system. In fact, during forwarding policy updates, any network entity may trigger update events at any time, e.g. the sending of messages or data packets, while they are prone to arbitrary and unpredictable transmission delays. Moreover, the absence of an agreed and common temporal reference results in a broad combinatorial range space of event order. An out-of-order execution of events may lead to invariant violations, e.g. forwarding loops and forwarding blackholes, referred to as inconsistent updates. Some works tackle the issue of inconsistent updates by imposing global time references; however, they do not compromise consistency during updates as clocks of entities cannot be perfectly synchronized. Other solutions lie on performing updates on different rounds, i.e. steps, while each update step guarantees consistency. These solutions compromise consistency during updates; however, performing updates over different steps may congest the communication canals between the controller and the forwarding devices, leading to bandwidth overhead. In this dissertation, we propose a causal-based consistent update approach that ensures the connectivity update properties: transient forwarding loop-free and transient forwarding blackhole-free. This is achieved by defining a formal model of the two connectivity invariant violations as a specification of the Happened-Before relation of Lamport. Based on this model, network update policies are introduced by establishing causal dependencies between relevant update events. These update policies are reflected by an update mechanism oriented towards transient connectivity inconsistency-free SDN updates. To prove the correctness of the update mechanism, it was demonstrated that it is sufficient to ensure the transient forwarding loop-free and the transient forwarding blackhole-free properties. In terms of findings, the formal modelisation of the two connectivity update properties defines the root cause of their triggering and capture the conditions under which they may occur. | |
| Instituto Nacional de Astrofísica, Óptica y Electrónica | |
| 2021-01 | |
| Tesis de doctorado | |
| Inglés | |
| Estudiantes Investigadores Público en general | |
| Guidara, Amine., (2021), A Causal-Based Consistent Update Approach for Software-Defined Networks, Tesis de Doctorado, Instituto Nacional de Astrofísica, Óptica y Electrónica. | |
| LENGUAJES DE PROGRAMACIÓN | |
| Versión aceptada | |
| acceptedVersion - Versión aceptada | |
| Aparece en las colecciones: | Doctorado en Ciencias Computacionales |
Cargar archivos:
| Fichero | Tamaño | Formato | |
|---|---|---|---|
| Amine_Guidara_Tesis Doctorado-2021 (1).pdf | 2.42 MB | Adobe PDF | Visualizar/Abrir |