@misc{Toinard1, abstract = {Rapport de Recherche RC51. 29 Juin 2000. ; National audience ; Nous présentons une implantation des services et d'une architecture de diffusion fournissant un ordre causal et total. Cette solution, définie initialement dans [Toinard93], repose sur une arborescence d'entités de communication. L'ordonnancement causal et total repose sur des résultats formels [Toinard93][Carrez96][Toinard99]. Un résultat principal établit qu'une diffusion identifiable respectant les relations locales et causales directes, garantit un ordre causal et total. Un résultat particulier établit qu'une diffusion avec envoi à soi-même, identifiable et respectant les relations locales garantit un ordre causal et total. Ce résultat est intéressant car il permet de simplifier l'implantation d'un ordre causal et total en évitant complètement la construction une couche causale de communication. C'est ce résultat formel qui est utilisé pour prouver l'ordre causal et total. Ici, nous décrivons CTOP (Causally and Totally Ordered Protocol) qui est l'implantation de cette solution. Chaque groupe de diffusion est associé à une racine de diffusion dans l'arborescence. Le système positionne la racine de diffusion de façon optimale pour couvrir tous les membres du groupe. Il maintient au niveau de chaque entité une connaissance de l'appartenance au groupe et les informations de routage permettant de n'acheminer un message que vers les entités concernées. L'état maintenu au niveau de chaque entité concernant le routage et l'appartenance du groupe est minimal en ce sens que seules les entités qui en ont besoin reçoivent et conservent ces informations. Les états inutiles sont supprimés de façon cohérente dans le système. La mise à jour des états est effectuée par le calcul de la racine de diffusion et la diffusion par celle-ci des événements d'entrée et de sortie du groupe. On peut montrer que la diffusion est identifiable. Un point intéressant est que les identifiants uniques ne sont ni connus, ni transportés par le système. Ce système est implanté sur TCP/IP. Il peut fonctionner sur n'importe quelle station Internet, son administration et son utilisation sont simple. Il offre une API qui permet de construire des applications réparties au moyen de groupes d'entités. Cette API est intégrée dans une bibliothèque de réalité virtuelle distribuée [Costantini2000] pour faire de la simulation répartie sur Internet.}, author = {Toinard, Christian}, month = {jan}, title = {CTOP: un service de diffusion ordonnée causalement et totalement fonctionnant sur Internet}, year = {1} }