Abstract FR:

De nouvelles applications informatiques sont developpees pour la collaboration et la communication au sein de groupes. La realisation de ces applications est facilitee par l'existence de services de transfert d'informations par diffusion. Nous proposons un protocole nomme atol, qui fournit un service de transfert par diffusion fiable et ordonnee en formant des connexions multipoints entre les membres d'un groupe dynamique. Ce protocole s'appuie exclusivement sur un service de transfert par diffusion non fiable. Il est base sur le passage de jeton sur un anneau virtuel. Le jeton represente des privileges et transporte des variables globales, que les entites utilisent pour remplir les fonctions exigees par le service, telles que la numerotation, la detection et la correction des pertes ou l'acquittement. Le jeton est diffuse en accompagnant les donnees et circule entre les entites a l'aide d'un mecanisme de designation logique qui facilite la gestion de l'anneau lors du retrait ou de l'insertion de nouveaux membres. La perte du jeton est detectee et corrigee par retransmission automatique. Les defaillances provoquent l'exclusion des entites defaillantes et la creation d'une ou plusieurs nouvelles instances de connexion. Le nombre de messages necessaires a la realisation d'une diffusion diminue avec la charge et tend vers un a forte charge. Nous presentons un modele formel qui permet de prouver la validite du service de transfert dans l'hypothese d'un fonctionnement statique. Le protocole est adapte a des groupes locaux et de faible taille, mais son extension a des groupes epars et de taille plus importante est envisagee