TD SD DA2I - Exclusion Mutuelle PDF

Télécharger au format pdf ou txt
Télécharger au format pdf ou txt
Vous êtes sur la page 1sur 1

TD

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 considère un système réparti à quatre (4) sites : 1, 2, 3 et 4. On utilise la méthode de


synchronisation de Lamport. Les horloges scalaires sont initialisées à 0.

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 2 : Refaire le même travail avec l'algorithme Ricart-Agrawala.

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 ?

Vous aimerez peut-être aussi