Recherche Avancée

Thèse soutenue

Protocole multipoint fiable et ordonné pour applications coopératives asynchrones

FR
Auteur / Autrice : Amine Siafa
Direction : Michel Riveill
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1998
Etablissement(s) : Chambéry

Résumé

FR

Un nombre important de protocoles de communication multipoint ont été développés pour supporter les besoins très variés des applications de groupe en termes de fiabilité, d'extensibilité, d'ordre, de débit, etc. Etant donnée la variété des besoins, la conception d'un protocole multipoint satisfaisant un large ensemble d'applications parait impossible sans l'introduction de la notion de qualité de service. L'introduction de la qualité de service confère au protocole la proprete de flexibilité qui permet de répondre aux besoins subtils de certaines applications, sans pour autant pénaliser les applications dont les besoins en services sont plus modestes. De plus, les services fournis peuvent co-exister au sein d'une même application. Cela peut être rendu possible en appliquant la qualité de service requise sur chaque paquet diffusé. C'est dans cet esprit que nous avons proposé FMP (flexible multicast protocol), un protocole qui repose, d'une part, sur le principe d'un support d'accueil minimal et fiable (application level framing), et d'autre part, sur le principe d'un support offrant divers services multipoints sélectionnables sur la base de chaque paquet diffusé. FMP repose sur une architecture en couches qui permet des groupes ayant des besoins différents de coexister dans un même système. Le modèle de communication repose sur une collection de services de fiabilité et d'ordre au-dessus d'un service de livraison de type best-effort). Nous proposons deux modules d'ordonnancement total et causal. L'ordre total fournit un modèle d'exécution virtuellement synchrone utilisable notamment par les protocoles de gestion de groupe, alors que l'ordre causal est un ordre partiel qui n'induit pas le degré de synchronisme élevé inhérent aux protocoles atomiques. Pour réaliser FMP, nous avons utilisé" un langage de spécification formelle (estelle). Ce langage fournit une modularité et une encapsulation des données et des comportements, permettant la construction de protocoles par la combinaison des descriptions d'objets hiérarchisés et réutilisables. Le comportement de chaque objet est décrit de manière rigoureuse par des automates à états finis