Date : 2008
Type : Livre / Book
Type : Thèse / ThesisLangue / Language : français / French
Autostabilisation (informatique)
Systèmes de grandes dimensions
Collection : Lille-thèses / Atelier de reproduction des thèses / Lille : Atelier national de reproduction des thèses , 1983-2017
Résumé / Abstract : 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
Résumé / Abstract : 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