Département ttormatigue ae Anne dude; Trone commu Master) vt | Année universitaire 20102011 OR EMD Syst8mes Distribués 1 Exercice 01. ( 09 points) On considére un 3) lo o of eu dans !’état initial, Clexécution, les horioges des processus P1, P2 et P3 indiquent tes dates envoilréception) na eu | Aprés quelques instanis 0 [oo 97, [2 oF 1 20) ——“HMs= 429.7} Tens r HM, suivantes: 1 1 bo 2 1-0 3. Pour la suite on supposera que tous les sree aes envoyes ont 18 délivrés au plus tard aux dates Indiquées. C'est-a-dire qu'aucun message woo ae transit, Au total, combien de messages ont été échangés 7 Au total, combion d'événements ont eu lieu ? Seen etal: combien d'événements locaux ont eu lieu 2 apnements correspondents & des émissions ou dee initisty @ Dans qu: (Cest-a-dire sans compter tes receptions de messages, ni (état \sssages d Y (ustilier vore réponse.) 2. Proposer un schéma corres ‘spondant pour reconstruire rhistorique des événe1 dates indiquées. Vous indi ‘Guerez la date (matricielle) de chaque évnement oe) ments jusqu'aux Exercice 02. (7 points) Solent deux processus P et Q communiquant par deux canaux unidirectionnels = Chacun des processus P et Q envcie puis re -goit un message, altemativement, Automates des processus : oe tea cemeat ear aia un message Vi ‘dun message dun message % noe ~ Unnoeud du graphe correspond a un état du systeine répant Cadile — quadruplet <état local P, état C1, Stat C2, sal locul Oe= Une arréte correspond 8 une transition d'un état un autre suite & un vériement : @P,FPs 99 CU 9 1. exteution partouliére du systéme réperti correspond & un chemtinement dans ce graphe a tir de Vetat inital 3 : .- Donner le graphe des états accessibles. Que remarquez vous ? 2 Sofent les etats suivants : SO ; S41 = Q enrogisie con état ot enregiste état du canal Ct. d, Qenvoie un marqueur. fe, P regoit le marqueur et enregistre I'état de C2. Quel est Fétat global obtenu par l'algorithme? Remarque: On euppose que l'envoi ou la réception du message de contible *marqueur’ ne change pas Vétat du processus. pa eat 22633 ea 4. Mettre en évidence sur le chronogramme de cette figure le non-respect des conditions de la diffusion causale. 2. Ladiffusion atomique est elle assurée ? Pourquoi. 3 Gompléter le schéma ci-dessous en Inciquant les moments oii le message m3 est délivré a pt et p3 de telle maniére que Ia diffusion causale soit assurée, ‘4. Surle schéma proposé, la diffusion atomique est elle assurée ? expliquer Bon courage