Synchronisation distribuée sans attente : application à la résolution des problèmes d'accord par contrainte des données

par Matthieu Roy

Thèse de doctorat en Informatique

Sous la direction de Michel Raynal.

Soutenue en 2003

à Rennes 1 .


  • Résumé

    Nous nous intéressons aux problèmes de décision, qui sont une généralisation de la notion de vote : N entités doivent se mettre d'accord sur un ou plusieurs valeurs communes. Ce type de problème est largement utilisé dans les systèmes répartis. Ce problème n'a pas de solution dans un système asynchrone ; nous développons ici une nouvelle approche en nous intéressant non pas au système, mais aux données. Nous montrons qu'il est possible d'écrire des protocoles qui résolvent ce type de problème lorsque les valeurs proposées par les processus satisfont certaines contraintes connues a priori. Cette classe de protocoles peut être définie par des propriétés simples, et permet des algorithmes génériques pour plusieurs problèmes d'accord. Tous les protocoles présentés sont sûrs : ils ne donnent jamais de résultat erroné. Nous présentons un algorithme à qualité de service modulable, qui montre un compromis entre la convergence et la communication nécessaire.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 145 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. : 72 réf.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Rennes 1. Service commun de la documentation. BU Beaulieu.
  • Disponible pour le PEB
  • Cote : TA Rennes 2003/136

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 2003REN10124
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.