Contribution à l'estampillage borné de messages

A contribution to bounded time-stamping of messages

• Auteur / Autrice : Valérie Albiéro
• Direction : Robert Cori
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1995
• Etablissement(s) : Bordeaux 1

Mots clés

Mots clés contrôlés

Algorithmes parallèles

Théorie des graphes

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