18
Question 16.5 :
Quelles sont les modifications à apporter à l’algorithme de construction de l’horloge
logique entière pour obtenir les estampilles ?
Question 16.6 :
Donner les estampilles des actions de la figure 3.7 avec l’horloge K.
Question 16.7 :
Pourquoi les estampilles permettent de construire une unique observation de façon non
ambigüe d’une exécution répartie ? Donner l’observation correspondant à l’exécution
présentée sur la figure 3.7
Problème 17 : Ce problème est une application directe du cours. Il concerne les horloges vecto-
rielles.
Question 17.1 :
Rappeler la définition de la relation <N.
Question 17.2 :
Montrer que pour tout aet bdans A, on a (a�b)⇒(V(a)<NV(b)).
Question 17.3 :
Montrer que pour tout aet bdans A, on a (a�b)⇒(V(a)�V(b)).
Question 17.4 :
En déduire que a�b⇔V(a)<NV(b).
Problème 18 : Ce problème porte sur l’algorithme de construction de l’horloge vectorielle. On
suppose qu’il y a Nsites dans le système réparti.
Question 18.1 :
Quelles sont les hypothèses nécessaires au stockage des dates sous forme de vecteurs ?
Question 18.2 :
Soit (2,3,5, . . .)tla date à laquelle le site S1émet un message vers S2. Soit (1,4,1, . . .)t
la date de la dernière action de S2avant la réception du message m. Si le site S1n’en-
voyait que son propre compteur local d’actions (i.e.,2) avec le message m, quelle serait
la date vectorielle que pourrait construire le site S2pour la réception de m? Est-ce cor-
rect ?
Question 18.3 :
Expliquer le principe de l’algorithme de construction des dates vectorielles.
Question 18.4 :
Donner les dates vectorielles du diagramme de temps de la figure 3.8.
Question 18.5 :
Écrire un algorithme sous la forme d’actions gardées qui fournit la date vectorielle de
toute action d’un système réparti. On distinguera les actions d’initialisation, d’émission
et de réception, et les actions internes.