Construction de topologies autostabilisante dans les systèmes à grande échelle
Institution:
Paris 11Disciplines:
Directors:
Abstract EN:
Large scale systems do not allow the use of regular techniques for writing distributed Algorithms. In this thesis, a new model is proposed. It is scalable and allows to write self-stabilizing algorithms. Such algorithms converge towards a state in which they verify their specification. They are thus capable of recovering from the transient failures that inevitably affect such systems : arrival and departure of processes, memory corruption, bad network links.
Abstract FR:
Les systèmes à grande échelle ne permettant pas l’utilisation des techniques classiques d’écritures d’algorithmes répartis. Dans le cadre de cette thèse, on propose un nouveau modèle capable de passer à l’échelle des grands systèmes dans lequel il est possible d’écrire des algorithmes autostabilisants. De tels algorithmes convergent vers un état dans lequel ils vérifient leur spécification. Ils sont ainsi capables de récupérer des défaillances transitoires inévitables dans un tel contexte : arrivée et départ de processus, corruption de mémoire, mauvais fonctionnement de liens du réseau.