Problèmes de communication dans les systèmes distribués: ruptures et corruptions.
Abstract
Nous nous intéressons dans la présente thèse aux problèmes de communication dans les systèmes distribués, qu'il s'agisse d'une absence de transmission de l'information ou d'une corruption de l'information échangée. Dans un premier temps, nous généralisons le modèle HO, défini par Charron-Bost et Schiper pour l'étude des systèmes distribués sujets à des pannes bénignes, au cas des erreurs de transmission par valeurs. Nous étudions la capacité de ce modèle à couvrir les systèmes classiques rencontrés dans la littérature, qu'ils soient à mémoire partagée ou à échanges de messages et décrivons de nouvelles solutions algorithmiques pour le Consensus en présence d'erreurs de transmission par valeurs. Dans un second temps, nous nous penchons sur deux algorithmes de routage introduits par Gafni. Nous présentons une formalisation simple qui unifie de manière élégante ces deux algorithmes et permet une analyse exacte de leur complexité en travail. De plus, nous présentons une analyse partielle de la complexité en temps de notre algorithme pour un sous-ensemble des graphes d'entrée, qui améliore tous les résultats existants.
Domains
Computer Science [cs]
Loading...