Abstract FR:

Cette these regroupe l'etude de la delivrance causale de messages dans les systemes distribues a travers l'analyse de trois modes de communication : point-a-point, diffusion globale et diffusion restreinte. $$ la premiere partie est consacree a l'etude des algorithmes de delivrance causale pour les communications point-a-point. $$ nous definissons dans la seconde partie le concept de phases causales, qui permet de reduire les temps de latence induits par les synchronisations globales ou locales. Les phases causales engendrent des decoupages consistants des executions reparties, tout en ordonnant causalement des messages de phases differentes. Ce principe est egalement bien adapte a la mise a jour de donnees reparties par diffusion, en respectant leur consistance. Nous developpons deux algorithmes d'ordonnancement de messages par phases causales, l'un etant centralise et l'autre permettant d'effectuer des changements de phases depuis un processus quelconque. $$ nous proposons dans la troisieme partie deux algorithmes de delivrance causale et totale dans des groupes de processus mobiles pouvant se recouvrir. Le premier gere les diffusions restreintes dans des groupes ouverts en les creant virtuellement des qu'un processus veut envoyer un message vers certains destinataires. Le second permet de reduire le nombre de communications en travaillant sur des groupes clos et dynamiques.