Soutenance de thèse de Grégoire BONIN (équipe GDD)

Grégoire Bonin, doctorant au sein de l’équipe GDD, soutiendra sa thèse intitulée « Structures de Données pour environnements distribués à grande échelle » / « Data Structures for Large Scale Distributed Environments »

mercredi 17 novembre 2021 à 14h30, dans l’amphi du bâtiment 34, sur le site de l’UFR Sciences et Techniques.

Jury :
– Directeur de thèse : Achour Mostéfaoui – Professeur, Université de Nantes
– Co-encadrant : Matthieu Perrin – Maître de conférences, Université de Nantes
– Rapporteurs : Bernadette Charron-Bost – Directrice de recherche CNRS, LIX, Ecole Normale Supérieure ; Stéphane Devismes – Professeur, Université de Picardie Jules Verne
– Examinateurs : François Taiani – Professeur, Université de Rennes 1 ; Corentin Travers – Maître de conférences, Labri/ENSEIRB Bordeaux

Résumé : Dans les systèmes tels que les Foglets utilisés dans le projet O’Browser, ou les systèmes multi-thread modernes, de nouveaux processus peuvent arriver au cours de l’exécution : nous appelons cela les systèmes ouverts. Cela nous amène à étudier la puissance de synchronisation des objets distribués, et plus particulièrement la faisabilité des constructions universelles, sous cette nouvelle hypothèse. Cette thèse présente les résultats obtenus sur l’universalité du consensus et l’ex-tension de la hiérarchie wait-free de Herlihy dans les systèmes ouverts, ainsi qu’une étude de complexité et une solution sur les constructions universelles faiblement cohérentes

Mots-clés : Systèmes distribués, Systèmes ouverts, Constructions universelles, Mémoire partagée, Systèmes par passage de message

—————————————————————————————————————————————————————————————-

Abstract: In systems such as Foglets used in the O’Browser project, or modern multithreaded systems, new processes can join during an execution: we call these open sys-tems. This leads us to study the power of synchronization of distributed objects, and more particularly the feasibility of universal constructions, under this new hypothesis. This thesis presents the results obtained on the universality of consensus and the extension of the wait-free hierarchy in open systems, as well as a study of complexity and a solution on weakly consistent universal constructions.

Keywords: Distributed Systems, Arrival Models, Universal Constructions, Shared Memory,Message Passing Systems