LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » أحـداث السـاعـة » مسجلون في الدكتوراه
https://pages.lip6.fr/Swan.Dubois

DUBOIS Swan

دكـتور
وحـدة : REGAL
أسـتاذ مـحاضرhttps://pages.lip6.fr/Swan.Dubois
رئاسـة البـحث : Sébastien TIXEUIL
تأطـير مـشـترك : POTOP-BUTUCARU Maria

Tolérer les fautes transitoires, permanentes et intermittentes

Un système réparti est un système constitué d'un ensemble d'unités de calcul autonomes dotées de capacités de communication afin de résoudre une tâche globale. Ce modèle est suffisament général pour décrire tout type de réseau physique (réseau local, réseau de capteurs, ...). Lorsque la taille d'un système réparti devient importante ou lorsque ce système est déployé dans un environnement non contrôlé, la probabilité que certains éléments du système subissent des fautes (panne, corruption de mémoire, piratage, ...) devient non négligeable. Ces fautes peuvent être classifiées en fonction de leur durée, de leur étendue et de leur nature. Dans cette thèse, nous nous intéressons aux systèmes répartis capables de tolérer simultanément plusieurs types de fautes à travers l'étude de trois problèmes fondamentaux. Nous présentons ainsi un protocole réparti simulant un registre atomique mono-écrivan multi-lecteurs en présence de fautes transitoires et de fautes permanentes de type crash. Ce protocole repose sur deux outils ré-utilisables : un protocole de communication et un système d'estampillage borné. Ensuite, nous proposons une étude de la synchronisation faible d'horloges logiques en présence de fautes transitoires et de fautes intermittentes Byzantines. Nous prouvons de nombreux résultats d'impossibilité et nous fournissons un protocole optimal dans les cas non couverts par ces résultats. Finalement, nous définissons trois nouveaux concepts de tolérance pour les systèmes répartis sujets à des fautes transitoires et des fautes intermittentes Byzantines. Nous donnons un protocole de construction d'une vaste classe d'arbres couvrants optimal selon ces trois concepts.
مناقـشـة مـذكـرة : 01/12/2011 - 14h30 - Site jussieu 25-26/105
أعـضاء لجنة المناقـشة :
Bertrand Ducourthial, Professeur des Universités, Université de Technologie de Compiègne [Rapporteur]
Ted Herman, Professeur, Université de l'Iowa [Rapporteur]
Carole Delporte-Gallet, Professeur des Universités, Université Paris Diderot
Rachid Guerraoui, Professeur, Ecole Polytechnique Fédérale de Lausanne
Nicolas Hanusse, Directeur de Recherche CNRS, Université de Bordeaux I
Pierre Sens, Professeur des Universités, UPMC Sorbonne Universités
Maria Potop-Butuccaru, Maître de Conférence (HDR), UPMC Sorbonne Universités
Sébastien Tixeuil, Professeur des Universités, UPMC Sorbonne Universités

1 مسجل في الدكتوراه (رئاسـة البـحث / تأطـير مـشـترك)

  • BOUCHARD Sébastien : Approches tolérantes aux fautes transitoires et byzantines dans les cohortes de robots

2 دكـاترة 2016 - 2019

إصدارات 2009-2019

 Mentions légales
| خـريـطـة المـوقـع