Précédent : Problèmes fondamentaux Remonter : Problèmes fondamentaux Suivant : Détection de propriétés

Ordre causal

 

L'extension, aux livraisons de messages, de la relation de précédence existant entre leurs émissions s'appelle ordre causal. Il s'agit d'une contrainte qui vise à limiter le comportement, a priori asynchrone, des structures de communication.

Cette abstraction a été définie, à l'origine, pour les systèmes répartis fiables et sans contrainte temps-réel sur les livraisons de messages. Nous nous sommes fixés pour objectif de proposer des protocoles permettant d'étendre cette abstraction afin de prendre en compte les pertes de messages et les contraintes temps-réel sur les livraisons. En effet, dans le cadre des applications multimédia, les messages ont une durée de vie après laquelle leur contenu est obsolète pour le destinataire. Cette nouvelle abstraction, appelée -ordre causal, consiste à délivrer le maximum de messages avant l'expiration de leur durée de vie tout en respectant l'ordre causal sur les livraisons. Trois protocoles ont été développés et prouvés ; le premier, pour la communication point à point, le second pour la diffusion dans un groupe [6] (broadcast ) et le dernier pour la diffusion généralisée [18] (multicast ). En outre, des exemples d'applications temps-réel multimédia nécessitant des livraisons de messages respectant ce type de contraintes ont été étudiés.

Pour préserver l'ordre causal, des informations concernant les dépendances entre les messages de l'application doivent être ajoutées aux contenus des messages [11, 29]. Seule la connaissance des relations de dépendance directe s'avère nécessaire. En collaboration avec Mukesh Singhal et Ravi Prakash de l'Université d'état de l'Ohio, nous avons développé sur ce principe, un algorithme qui ne requiert aucune connaissance préalable sur la topologie du réseau de communication. De fait, cet algorithme est particulièrement adapté au cas des réseaux comportant des agents mobiles [32].