TD SD DA2I - Exclusion Mutuelle PDF
TD SD DA2I - Exclusion Mutuelle PDF
TD SD DA2I - Exclusion Mutuelle PDF
DA2I
Systèmes Distribués : Exclusion mutuelle
Exercice 1:
On considère un système réparti à quatre (4) sites : 1, 2, 3 et 4. Les horloges logiques des sites sont
initialisées à 0. Les messages entre les sites sont estampillés selon l’algorithme d'horloges logiques.
On fera l’hypothèse suivante : le délai de propagation des messages entre les sites est connu, comme le
montre le tableau suivant. Par exemple, un message envoyé par le site 1 au site 2 mettra une unité de
temps. Il mettra 2 unités de temps s’il était envoyé au site 3 et 3 unités s’il était envoyé au site 4.
On supposera que les sites 2 et 4 veulent entrer en section critique quand leurs horloges logiques sont
égales à 0. On applique l'algorithme de Lamport.
1. Faire un diagramme (dessin) qui décrit la trace d’exécution des transferts de messages entre les sites
et l'occupation de la SC par chaque site qui en a fait la demande, en prenant soin de dater les
événements. Montrer l'évolution des files de messages de chaque site.
2. Que se passe-t-il si l’accusé de réception (ACQ) du site 3 au site 2 est perdu ?. Que proposez-vous
dans ce cas ?.
Exercice 2 :
On fera l’hypothèse suivante : le délai de propagation des messages entre les sites est connu
et est égal à 3, (c'est à dire que quel que soit le message envoyé d'un site à un autre, il
mettra 3 unités de temps pour arriver au destinataire).
Les sites 1, 3 et 4 veulent entrer en section critique quand leurs horloges logiques sont
égales à 1.
Question 1 : Faire un diagramme (dessin) qui décrit la trace d’exécution des transferts de
messages entre les sites , l'entrée et la sortie de la SC, en prenant soin de dater les
événements (comme celui vu en cours). Montrez également l'évolution des files de messages
au niveau de chaque site. Comptez le nombre de messages total.
Question 3 : Après son premier passage à la SC, le site 1 sollicite l'entrée à la SC une
seconde fois, puis une troisième, puis une quatrième, ... et nième fois. Pensez-vous qu'il y'a
alors des messages qui peuvent être considérés comme inutiles ? Lesquels ? . Que
proposez-vous ?