Construction de topologies autostabilisante dans les systèmes à grande échelle

Self-stabilizing topology algorithms in large scale systems

• Auteur / Autrice : Olivier Pérès
• Direction : Joffroy Beauquier, Thomas Hérault
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2008
• Etablissement(s) : Paris 11
• Partenaire(s) de recherche : autre partenaire : Université de Paris-Sud. Faculté des sciences d'Orsay (Essonne)

Mots clés

Mots clés contrôlés

Systèmes de grandes dimensions

Autostabilisation (informatique)

Mots clés libres

Algorithmes répartis

Résumé

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.

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.