Accords exacts et approchés pour les adversaires de message

Exact and approximate agreements for message adversaries

• Auteur / Autrice : Eloi Perdereau
• Direction : Emmanuel Godard, Damien Imbs
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance le 16/12/2021
• Etablissement(s) : Aix-Marseille
• Ecole(s) doctorale(s) : Ecole doctorale Mathématiques et Informatique de Marseille (Marseille ; 1994-....)
• Partenaire(s) de recherche : Laboratoire : Laboratoire d’Informatique et Systèmes (LIS) (Marseille, Toulon)
• Jury : Président / Présidente : Pierre Fraigniaud
• Jury : Examinateurs / Examinatrices : Kévin Perrot, Jérémie Chalopin
• Jury : Rapporteurs / Rapporteuses : Bernadette Charron-Bost, Petr Kuznetsov

Mots clés

Mots clés contrôlés

Systèmes informatiques

Graphes dynamiques

Systèmes complexes

Mots clés libres

Calculabilité distribuée

Consensus

Distributed computability

Consensus

Résumé

Le sujet porte sur l'étude de la calculabilité des systèmes distribués dans la famille de modèles des adversaires de message. Plusieurs approches mathématiques sont mises en œuvre. Notamment des méthodes topologiques s'inscrivant dans les avancées récentes du domaine, mais également des méthodes géométriques, combinatoires, et des systèmes dynamiques. Dans une première partie, nous nous intéressons aux problèmes du Consensus et de l'Accord k-Ensembliste qui sont des formes d'accords exacts, c'est à dire que les valeurs décidées doivent être parmi celles qui sont proposées. En complément de FG11, nous avons caractérisé topologiquement la solvabilité du Consensus Binaire à Deux Processus dans le modèle général des adversaires de message donnant ainsi une meilleure intuition du résultat. Nous avons également caractérisé la solvabilité de l'Accord k-Ensembliste dans les adversaires d'omissions en donnant le nombre de fautes de type omissions que le système peut tolérer tout en résolvant le problème sur un graphe de communication support. En ce faisant, nous nous sommes appuyé sur une méthode topologique que nous avons étendu pour nos modèles graphiques. Enfin, avons étudié dans la deuxième partie des variantes approchées de l'Accord k-Ensembliste. Désormais, les valeurs de décisions nécessitent d'êtres proches l'une de l'autre selon des critères bien définis. Plusieurs variantes ont été étudiés, notamment une version asymptotique n'exigeant pas de terminaison explicite des processus mais requérant une certaine convergence des valeurs. Les résultats explicitent la diversité et la complexité des questions enjeu.

Our subject is about computability of distributed systems in the messageadversaries family of models.For this purpose, several mathematical approaches are carried out.For instance, based on recent advances in the subject, we use well knowntopological methods to solve our problems.But we also used geometric, combinatorial and dynamical systems methods.In the first part, we are interested in the Consensus problem and the k-SetAgreement.They are what we called exact agreements, i.e. the decision values must beamong the proposed ones.As a complement to FG11, we have characterized topologically the solvability ofthe Binary Consensus problem with two process in the general model of messageadversaries.This new characterization gives a better intuition of the result.We also characterized the solvability of k-Set Agreement in omissionadversaries by giving the number of omission faults a system can tolerate inorder to solve the problem on an underlying communication graph.Doing so, we based our result on a topological method that we extended to ourgraphical models.Finally, we studied in a second part some approximate variations of the k-SetAgreement problem.In this approximate setting, the decision values are required to be close toone another, based on some precise conditions.Several variations were studied, most notably an asymptotic version thatdoesn't requires processes to explicitly terminatebut rather requires a certain type of convergence of the values.Theses results shows the diversity and intricacy of the questions that are atstake.