CTOP 1 : un service de diffusion ordonnée causalement et totalement fonctionnant sur Internet
Résumé
/~toinard RÉSUMÉ-Le principe d'un arbre de diffusion vers des groupes, garantissant un ordre causal et total grâce à un résultat formel, provient de [Toinard 93]. CTOP (Causally and Totally Ordered Protocol) applique ce principe à l'Internet et permet d'éviter complètement la construction d'une couche causale de communication. Pour chaque groupe, le système positionne une racine de diffusion de façon optimale afin de couvrir tous les membres du groupe. Un composant de routage permet d'acheminer un message seulement vers les entités concernées. Chaque entité de l'arbre couvrant le groupe maintient une connaissance de l'appartenance au groupe. L'état à chaque noeud est minimal. Les états inutiles sont supprimés de façon cohérente. On peut montrer que la diffusion est identifiable. L'émetteur appartenant au groupe et la diffusion étant localement ordonnée (livraison en séquence), le résultat formel garantit un ordre causal et total. Les identifiants ne sont ni connus, ni transportés par le système. Ce système est implanté sur une pile TCP/IP standard. Son administration et son utilisation sont simples. Il offre une API qui permet de construire des applications réparties au moyen de groupes d'entités. ABSTRACT-A multicast tree, guarantying a causal and total order with a formal result, comes from [Toinard 93]. CTOP (Causally and Totally Ordered Protocol) applies the principle to the Internet and avoids building a causal layer of protocol. For each multicast group, the system maintains a multicast root covering all of the group members. Routing minimizes the crossed nodes. Each entity of the multicast tree maintains the group membership. Each entity has the knowledge of the group membership. State at each node is minimal. Out of date states are discarded consistently. We prove that the multicast is identifiable. With an emitter belonging to the group and a local order (FIFO), our formal result guaranties a causal and total order. Identifiers are neither known nor transmitted. System uses a classical TCP/IP stack. Administration and use are easy. The system provides an application-programming interface to develop distributed applications using groups. ____________ 1 Ce travail est soutenu par la communauté européenne sous le contrat IST AIT VEPOP numéro IST-1999-13346 comprenant EADS Corporate Research Lab., EADS Airbus, CNAM-CEDRIC, Flow-Master, University of Oulu