Contribution à l'estampillage borné des messages

par Valérie Albiero

Thèse de doctorat en Informat.

Sous la direction de Robert Cori.

Soutenue en 1995

à Bordeaux 1 .

    mots clés mots clés


  • Résumé

    Une estampille est une etiquette qui permet a un systeme de reconstituer totalement ou en partie une structure d'ordre sur un ensemble d'objets (donnees, messages). La notion d'estampillage est importante en algorithmique distribuee car, pour etre corrects, de nombreux protocoles dependent de la capacite du systeme a detecter l'ordre d'occurence de differents evenements. Le probleme de l'estampillage est souvent resolu en n'imposant pas de limite au nombre des estampilles. Cependant la taille des etiquettes peut devenir tres grande et creer une complexite importante, voire entrainer un depassement de capacite. L'utilisation de systemes d'estampillage bornes (ayant un nombre fini d'estampilles) est un probleme important sur le plan theorique car le passage d'algorithmes utilisant un nombre infini d'etats a des systemes finis est l'un des points centraux de l'informatique theorique. Dans le cas d'un nombre d'evenements vivants limite, une theorie de l'estampillage borne existe. Dans la premiere partie de notre travail, nous avons contribue a l'aspect theorique de l'estampillage borne en presentant de facon plus systematique et unifiante des resultats epars connus et en ameliorant certaines constructions. Nous avons egalement defini deux nouvelles classes d'estampillage borne et avons propose pour chacune d'elles une solution polynomiale. De plus, nous avons introduit la notion de systeme d'interpolation qui generalise celle de systeme d'estampillage. Dans le domaine des messages echanges au sein d'un systeme distribue, rien n'etait connu pour l'estampillage borne. La seconde partie de notre travail est donc consacree a la construction d'un mecanisme d'horloge logique bornee. Nous presentons une solution complete dans le cas de deux processus et de sous-calculs de taille quelconque

  • Titre traduit

    A contribution to bounded time-stamping of messages


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 133 p

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Disponible pour le PEB
  • Cote : FT 95.B-1385
  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Non disponible pour le PEB
  • Cote : FTR 95.B-1385
  • Bibliothèque : Université de Bordeaux. Direction de la Documentation. Bibliothèque Sciences et Techniques.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.