Correction de devoir surveillé de Systèmes distribués AU: 2014/2015

Page 1 sur 3Lecteur de document UniversityLib

Correction de devoir surveillé de Systèmes distribués AU: 2014/2015

Distributed Systems · exam

Voir tous les documents en systèmes d'exploitation et cloud

Facult´e des Sciences de Bizerte

Section SI3

Systèmes distribués

Correction de devoir surveillé de AU: 2014/2015

Exercice 1 : Causalité et ordonnancement des évènements distribués ( 10 points )

On considère un système distribué constitué de 4 sites P1, P2, P3, P4, s’envoyant des messages de

façon asynchrone comme représenté par la figure suivante. Les événements d’un processus,

représentés par des gros points noirs, sont soit des événements locaux (étapes d’un calcul), soit des

envois ou des réceptions de messages. Ces événements sont datés par un système d’horloges de

Lamport, initialisées à 0 dans chaque état initial.

1 /On considère les événements a, b, c et d de la figure. Que peut-on dire des événements de chacune

des paires suivantes {a,b},{a,c},{b,c}et{a,d}

Publicité

2/ Nommer tous les événements du diagramme puis donner l’ordre total compatible avec la causalité

pour ces évènements.

3/Donnez le passé et le futur du septième événement du troisième site.

4/ Soit la coupure C1 définie par la frontière contenant les événements datés par 6 de P1, le 3 de P2, le

4 de P3 et le 5 de P4 et la frontière C2 définie par l’événement daté 8 de P1, le 6 de P2, le 8 de P3 et le

9 de P4. Quelles sont les dates de C1 et C2 ?

5/ Ces coupures sont-elles cohérentes ? Justifiez avec deux méthodes différentes (N’hésitez pas à

nommer des états sur la figure pour vous aider à vous justifier).

Correction d’exercice 1 :

1/

a||b, a||c, b->c et a->d

2/

Publicité

Wiem BEN ROMDHANE 1

Facult´e des Sciences de Bizerte

Section SI3

e11<<e21<<e31<<41<<e12<<e32<<e42<<e23<<e33<<e34<<e43<<e24<<e35<<e44<<e13<<e25<<e

36<<e44<<e14<<e26<<e37<<e15<<e38<<e46<<e39<<e47<<é27<<e3,10

3/

Passé (e37)={e31,e32,e33,e34,e35,e36,e21}

Futur (e37)={e46,e47,e26,e38,e39,e310}

4/

C1 :

(3,0,3,4)

(0,2,2,0) VC1=(3,2,4,4) les max

Publicité

(0,0,4,0)

(0,0,3,4)

C1 est cohérente : tous les messages reçus dans la coupure ont étés envoyés dans la coupure.

C2 :

(5 ,5,4,4)

(1,4,4,0) VC2=(5,5,8,7)

(0 ,1,8,0)

(0,1,7,7)

Au niveau de 2iem cpte de événement2 4≠5

C2 n’est pas cohérente : P1 a reçu un message qui a été envoyé après la coupure

Wiem BEN ROMDHANE 2

Facult´e des Sciences de Bizerte

Publicité

Section SI3

Exercice 2: Modèle client/serveur (10 points)

1. Rappeler les éléments à préciser lors de la définition d'un modèle client/serveur

2. Proposer un modèle client/serveur d'une application permettant aux utilisateurs de

savoir l'heure et la date

3. Votre serveur est-il avec ou sans état?

4. Proposer une implémentation en java de votre client. Ce dernier utilise le protocole

TCP.

Correction d'exercice 2 (voir TD2)

Wiem BEN ROMDHANE 3