Le moteur de recherche
des thèses françaises
'%3e%3cpath%20style='fill:%2300a0dc;fill-opacity:1;stroke:none;stroke-width:.144606;stroke-opacity:1;stop-color:%23000'%20d='M41.8%20100.088H52.28c.46%200%20.831.421.831.945v10.25c0%20.524-.37.946-.831.946H41.8c-.46%200-.831-.422-.831-.945v-10.251c0-.524.37-.945.831-.945z'/%3e%3cpath%20d='m47.072%20102.02-4.87%202.656%204.87%202.657%203.985-2.174v3.06h.885v-3.543m-7.969%201.851v1.771l3.1%201.691%203.098-1.691v-1.77l-3.099%201.69z'%20style='fill:%23fff;fill-opacity:1;stroke-width:.442726'/%3e%3ccircle%20style='fill:%23009f1d;fill-opacity:1;stroke:%23fff;stroke-width:.379704;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:%23000'%20cx='54.151'%20cy='101.224'%20r='3.451'/%3e%3cpath%20d='m55.669%2099.387.659.664-3.075%203.104-1.634-1.649.66-.663.974.979%202.416-2.435'%20style='fill:%23fff;fill-opacity:1;stroke:none;stroke-width:.30061;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1'/%3e%3c/g%3e%3c/svg%3e)
Contribution au confinement de fautes dans les systèmes auto-stabilisants
| Auteur / Autrice : | Sammy Haddad |
| Direction : | Joffroy Beauquier |
| Type : | Thèse de doctorat |
| Discipline(s) : | Informatique |
| Date : | Soutenance en 2007 |
| 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
Mots clés libres
Résumé
Les systèmes distribués modernes sont de plus en plus grands, complexes et par le fait sujets à des défaillances. Il est devenu indispensable de prévoir pour ces systèmes des mécanismes qui permettent de corriger automatiquement leurs fautes sous peine de ne jamais pouvoir garantir leur bon fonctionnement. Une des approches connues dans ce domaine est l'auto-stabilisation. Un système distribué auto-stabilisant permet de garantir un retour systématique à un comportement correct, sans aucune aide extérieure et ce après n'importe quelle défaillance transitoire. Cependant elle est encore peu utilisée car pour la plupart des systèmes auto-stabilisants existant le temps de stabilisation du système est proportionnel à ses grandes dimensions et non pas du nombre de fautes qui frappent le système. Or pendant ce temps de stabilisation rien n'est garanti sur le comportement du système. Nous avons étudié des notions de confinement de fautes et d'adaptativité en temps (temps de stabilisation proportionnel au nombre de fautes). Nous avons introduit les propriétés de 1-adaptativité et 1-fort qui garantit qu'un système corrigera une faute unique en un temps constant tout en garantissant que la faute sera confinée au seul processeur fautif. Nous avons dans ce cadre étudié un ensemble de conditions nécessaires et suffisantes à la 1-adaptativité dont nous nous sommes servis par la suite pour donner les premiers algorithmes auto-stabilisants 1-adaptatifs. Nous présentons ensuite un transformateur 1-fort qui permet de transformer n'importe quel système distribué auto-stabilisant silencieux en son équivalent 1-fort.