Minimal conditions for fault-tolerant agreement
Institution:
Paris 7Disciplines:
Directors:
Abstract EN:
Building distributed Systems that tolerate certain types of failures is typically costly, if not impossible. Thus, it is rather natural to ask under which conditions a certain distributed task can still be solved. One fundamental distributed task is to reach some kind of agreement. This thesis investigates minimal conditions that allow to solve agreement tasks in failure-prone distributed y stems. We determine for different kinds of adversaries, failure models and failure detectors what agreement tasks can be solved. We also show how agreement can even be reached in anonymous Systems of unknown size under different synchrony assumptions.
Abstract FR:
La construction de systèmes distribués tolérants certains types de défaillances est généralement coûteux, voire impossible. Par conséquent, il est naturel de se demander sous quelles conditions, une application distribuée peut être résolue. Une application distribuée fondamentale consiste en a réalisation d'une sorte d'accord. Cette thèse recherche les conditions minimales qui permettent de résoudre les applications d'accords dans les systèmes distribués sujets aux défaillances. Nous allons déterminer pour les différents types d'adversaires, de modèles de défaillances et de détecteurs de défaillances quelles applications d'accord peuvent être résolues. Nous allons également démontrer comment un accord peut être réalisé même dans un système anonyme de taille inconnue sous différentes hypothèses de synchronie.