Les problèmes d'accord : une approche comportementale

• Auteur / Autrice : Eric Mourgaya-Virapatrin
• Direction : Michel Raynal
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 2003
• Etablissement(s) : Rennes 1

Mots clés

Mots clés contrôlés

Systèmes à paramètres répartis

Mots clés libres

Consensus (informatique)

Détecteur de défaillances

Résumé

La mise en oeuvre des systemes sites repartis reposent sur la proposition de services de communication et de services dit s̀̀ervices d'accord''. La plupart de ces services sont implementables a partir d'un service de consensus. Ce service offre finalement, a partir des propositions de ses sites, un accord sur une valeur unique proposee par au moins un des sites. Ce service est facile a mettre en oeuvre dans un systeme synchrone. Mais cet exercice est sans solutions deterministes dans des systemes asynchrone ou des defaillances de sites sont possibles. La difficulte du probleme est est inherente au modele. Plus precisement, elle est relative aux hypotheses sur les defaillances et sur la synchronie du systeme. Nous proposons dans cette these, d'etudier la resolution des problemes d'accord en se fondant sur une approche comportementale des liens de communication. Cette approche n'est ni pessimiste, ni optimiste, elle s'apparente a un modele reel. Nous proposons, en plus de cette etude, une evaluation probabiliste de certaines des approches resolvant le probleme du consensus.