L'objectif de l'application consiste à faire appliquer des opérations arithmétiques sur une variable entière partagée par plusieurs noeuds. Ces opérations devront être réalisées selon un ordre de diffusion total ou causal de sorte que les noeuds obtiennent une valeur résultante identique. En l'occurrence, le noeud 1 effectuera une addition de 1, puis le noeud 2 une multiplication par 2 et enfin le noeud 3 une soustraction par 2. Ces opérations seront renouvellées 10 fois. La variable initiale valant 1, le résultat escompté sera toujours de 1024.
Afin que les situations de non respect de l'ordre total et de l'ordre causal soient fréquentes en l'absence d'algorithmique particulière, nous nous appuyerons sur un système de communication adapté dont l'une des caractéristiques consiste à affecter un temps de latence aléatoire à chacun des messages échangés (même à un message envoyé en local).
Globalement, l'application se découpe en trois parties : le composant applicatif, le composant protocolaire et le composant de transport. Le composant applicatif met en oeuvre les calculs indiqués ci-dessus. Il diffuse ses requêtes en utilisant le composant protocolaire et en retour traite les requêtes reçues par celui-ci. Le composant protocolaire met en oeuvre l'algorithme de diffusion c'est-à-dire complète les messages de diffusion lors d'une émission, utilise le composant de transport pour effectuer la diffusion effective, traite les réceptions signalées par le composant de transport et se charge de délivrer les messages au composant applicatif lorsque l'algorithme le permet. Le composant de transport se charge des communications TCP/IP et comme cela a été indiqué, induit des temps de latence lors de la réception des messages.
Avant de lire les sources du TP, deux conseils :
Les protocoles autres que celui de diffusion simple ont été laissés volontairement inachevés. Il vous revient de les complèter en vous appuyant sur les composants logiciels présents dans le système de communication et en vous reportant aux transparents du cours.
Ce TP sera réalisé en Ada et à ce titre s'appuye sur les cours de la brique prérequise SIP.