17

Problmes du chapitre 3 Horloges logiques

Problme 15 : Ce problme est une application directe du cours ; il concerne lhorloge logique
entire.
Question 15.1 :
Rappeler le principe de lhorloge logique entire.
Question 15.2 :
crire un algorithme sous la forme dactions gardes qui fournit la date logique entire
de toute action dun systme rparti : chaque action a dun systme rparti quelconque
doit tre associe la valeur H(a). On distinguera les actions dinitialisation, dmission
et de rception, et les actions internes.

Problme 16 : Ce problme concerne les relations entre lhorloge entire H et les estampilles
construites par lhorloge K.
Question 16.1 :
Donner les dates logiques entires des actions de la gure 3.7 avec lhorloge H.

S1
a1
1

S2

S3

a2
1

a3
1

a1
2

a3

a2
2

a3

a3
2

a3

a4
2

a3

a5
2

a3

F IGURE 3.7 Diagramme dune excution rpartie pour la question 16.1.

Question 16.2 :
Lhorloge logique entire H permet-elle de dterminer de manire non ambige une
unique observation de lexcution rpartie ? Pourquoi ? Donner deux observations diffrentes.
Question 16.3 :
Vrier par labsurde que la relation dordre K induite par les estampilles (horloge
logique K) dnit un ordre total sur les actions dun systme rparti.
Question 16.4 :
Quelle hypothse supplmentaire sur le systme doit-on admettre pour utiliser les estampilles ?
Bertrand.Ducourthial@hds.utc.fr

2012 TD. Merci de signaler les erreurs.

18
Question 16.5 :
Quelles sont les modications apporter lalgorithme de construction de lhorloge
logique entire pour obtenir les estampilles ?
Question 16.6 :
Donner les estampilles des actions de la gure 3.7 avec lhorloge K.
Question 16.7 :
Pourquoi les estampilles permettent de construire une unique observation de faon non
ambige dune excution rpartie ? Donner lobservation correspondant lexcution
prsente sur la gure 3.7

Problme 17 : Ce problme est une application directe du cours. Il concerne les horloges vectorielles.
Question 17.1 :
Rappeler la dnition de la relation <N .
Question 17.2 :
Montrer que pour tout a et b dans A, on a (a b)
Question 17.3 :
Montrer que pour tout a et b dans A, on a (a b)
Question 17.4 :
En dduire que a b V (a) <N V (b).

(V (a) <N V (b)).

(V (a) V (b)).

Problme 18 : Ce problme porte sur lalgorithme de construction de lhorloge vectorielle. On

suppose quil y a N sites dans le systme rparti.
Question 18.1 :
Quelles sont les hypothses ncessaires au stockage des dates sous forme de vecteurs ?
Question 18.2 :
Soit (2, 3, 5, . . .)t la date laquelle le site S1 met un message vers S2 . Soit (1, 4, 1, . . .)t
la date de la dernire action de S2 avant la rception du message m. Si le site S1 nenvoyait que son propre compteur local dactions (i.e., 2) avec le message m, quelle serait
la date vectorielle que pourrait construire le site S2 pour la rception de m ? Est-ce correct ?
Question 18.3 :
Expliquer le principe de lalgorithme de construction des dates vectorielles.
Question 18.4 :
Donner les dates vectorielles du diagramme de temps de la gure 3.8.
Question 18.5 :
crire un algorithme sous la forme dactions gardes qui fournit la date vectorielle de
toute action dun systme rparti. On distinguera les actions dinitialisation, dmission
et de rception, et les actions internes.
Bertrand.Ducourthial@hds.utc.fr

2012 TD. Merci de signaler les erreurs.

19

S1

S2

S3

F IGURE 3.8 Diagramme dune excution rpartie pour la question 18.4.

Question 18.6 :
On suppose maintenant que le nombre de sites N nest pas connu. Expliquer comment
construire les dates vectorielles. Quelle est linuence sur la taille des messages ?
Question 18.7 :
Modier lalgorithme de lhorloge vectorielle an quil puisse fonctionner sans supposer
que N est connu.
Problme 19 : Ce problme met en vidence les liens entre les horloges vectorielles dune part
et les communications et les coupures dautre part. Chaque action (interne, rception, mission) sera
date.
Question 19.1 :
Retrouver les communications ayant produit le diagramme de temps de la gure 3.9.
??
Question 19.2 :
Dessiner une communication cache (i.e., qui nest pas ncessaire pour justier les
dates vectorielles de la gure), en cas de communications FIFO et non FIFO.
Question 19.3 :
Donner un exemple de coupure cohrente et de coupure non cohrente sur la gure 3.9.
Donner leur date vectorielle.
Question 19.4 :
Quelle proprit remarquable relie les dates des coupures et leur ventuelle cohrence ?
Problme 20 :
Question 20.1 :
Donner les dates vectorielles des actions de la gure 3.10.
Question 20.2 :
Donner les dates vectorielles des coupures C1 et C2 de la gure ci-dessus. Ces coupures
sont-elles cohrentes ?

Bertrand.Ducourthial@hds.utc.fr

2012 TD. Merci de signaler les erreurs.

20

S1

S2

S3

S4

1
0
0
0

2
0
0
0

3
0
0
0

4
3
0
0

5
3
0
0

6
4
0
0

7
4
0
6

8
4
7
6

0
1
0
0

0
2
0
0

0
3
0
0

0
4
0
0

0
5
0
2

5
6
0
2

5
7
6
4

5
8
6
4

0
0
1
0

0
0
2
0

2
0
3
0

2
0
4
0

2
0
5
4

2
0
6
4

2
0
7
4

2
0
8
4

0
0
0
1

0
0
0
2

0
0
0
3

0
0
0
4

0
0
0
5

0
0
0
6

2
0
4
7

2
0
4
8

F IGURE 3.9 Diagramme de temps (question 19.1)

Bertrand.Ducourthial@hds.utc.fr

2012 TD. Merci de signaler les erreurs.

21

C1

C2

S1

S2

S3

F IGURE 3.10 Diagramme dune excution rpartie pour la question 20.1.

Bertrand.Ducourthial@hds.utc.fr

2012 TD. Merci de signaler les erreurs.