17
Problèmes du chapitre 3 « Horloges logiques »
Problème 15 : Ce problème est une application directe du cours ; il concerne l’horloge logique
entière.
Question 15.1 :
Rappeler le principe de l’horloge logique entière.
Question 15.2 :
Écrire un algorithme sous la forme d’actions gardées qui fournit la date logique entière
de toute action d’un système réparti : à chaque action ad’un système réparti quelconque
doit être associée la valeur H(a). On distinguera les actions d’initialisation, d’émission
et de réception, et les actions internes.
Problème 16 : Ce problème concerne les relations entre l’horloge entière Het les estampilles
construites par l’horloge K.
Question 16.1 :
Donner les dates logiques entières des actions de la gure 3.7 avec l’horloge H.
a1
1a2
1a3
1
a1
2
a1
3
a2
2a3
2a4
2a5
2
a2
3a3
3a4
3a5
3
S1
S2
S3
FIGURE 3.7 – Diagramme d’une exécution répartie pour la question 16.1.
Question 16.2 :
L’horloge logique entière Hpermet-elle de déterminer de manière non ambigüe une
unique observation de l’exécution répartie ? Pourquoi ? Donner deux observations diffé-
rentes.
Question 16.3 :
Vérier par l’absurde que la relation d’ordre Kinduite par les estampilles (horloge
logique K) dénit un ordre total sur les actions d’un système réparti.
Question 16.4 :
Quelle hypothèse supplémentaire sur le système doit-on admettre pour utiliser les estam-
pilles ?
[email protected] 2012 TD. Merci de signaler les erreurs.
18
Question 16.5 :
Quelles sont les modications à 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 gure 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 gure 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énition de la relation <N.
Question 17.2 :
Montrer que pour tout aet bdans A, on a (ab)(V(a)<NV(b)).
Question 17.3 :
Montrer que pour tout aet bdans A, on a (ab)(V(a)V(b)).
Question 17.4 :
En déduire que abV(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 gure 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.
[email protected] 2012 TD. Merci de signaler les erreurs.
19
S1
S2
S3
FIGURE 3.8 – Diagramme d’une exécution répartie pour la question 18.4.
Question 18.6 :
On suppose maintenant que le nombre de sites Nn’est pas connu. Expliquer comment
construire les dates vectorielles. Quelle est l’inuence sur la taille des messages ?
Question 18.7 :
Modier l’algorithme de l’horloge vectorielle an qu’il puisse fonctionner sans supposer
que Nest connu.
Problème 19 : Ce problème met en évidence les liens entre les horloges vectorielles d’une part
et les communications et les coupures d’autre part. Chaque action (interne, réception, émission) sera
datée.
Question 19.1 :
Retrouver les communications ayant produit le diagramme de temps de la gure 3.9.
??
Question 19.2 :
Dessiner une «communication cachée» (i.e., qui n’est pas nécessaire pour justier les
dates vectorielles de la gure), en cas de communications FIFO et non FIFO.
Question 19.3 :
Donner un exemple de coupure cohérente et de coupure non cohérente sur la gure 3.9.
Donner leur date vectorielle.
Question 19.4 :
Quelle propriété remarquable relie les dates des coupures et leur éventuelle cohérence ?
Problème 20 :
Question 20.1 :
Donner les dates vectorielles des actions de la gure 3.10.
Question 20.2 :
Donner les dates vectorielles des coupures C1et C2de la gure ci-dessus. Ces coupures
sont-elles cohérentes ?
[email protected] 2012 TD. Merci de signaler les erreurs.
20
1
0
0
0
2
0
0
0
0
2
0
0
0
1
0
0
3
0
0
0
4
3
0
0
0
3
0
0
0
4
0
0
5
3
0
0
0
5
0
2
0
0
2
0
0
0
1
0
2
0
3
0
0
0
0
2
0
0
0
1
0
0
0
3
0
0
0
4
0
0
0
5
0
0
0
6
2
0
4
7
2
0
4
8
2
0
4
0
2
0
5
4
2
0
6
4
2
0
7
4
2
0
8
4
5
6
0
2
5
7
6
4
5
8
6
4
6
4
0
0
7
4
0
6
8
4
7
6
S1
S2
S3
S4
FIGURE 3.9 – Diagramme de temps (question 19.1)
[email protected] 2012 TD. Merci de signaler les erreurs.
21
C C
1 2
S1
S2
S3
FIGURE 3.10 – Diagramme d’une exécution répartie pour la question 20.1.
[email protected] 2012 TD. Merci de signaler les erreurs.
1 / 5 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !