Vous êtes sur la page 1sur 3

UNIVERSITE A.

MIRA
FACULTE DES SCIENCES EXACTES
DEPARTEMENT D’INFORMATIQUE
L3 RN RS
Février 2021
SYSTEMES DISTRIBUES
TD n°3

Exercice1 : Soit le problème d’EM dans un SD


1) Expliquer le principe de l’algorithme de LeLann et proposer un traitement des défaillances possibles.
2) Soit l’algorithme de Ricart et Agrawala suivant.
i) Expliquer le principe de cet algorithme (inclure le rôle et l’utilité de la variable acc[ ])
ii) Montrer qu’il vérifie l’exclusion mutuelle
iii) Donner le nombre de messages échangés pour chaque opération d’EM

Pour chaque Pi : Var h : 0..+∞ ;


hs : 0.. +∞ ;
acc :tableau[1..n] de booleen ;
nbrepattendues :0..n-1;
sc: {desirée, dedans, dehors} ;
repdifféré: tableau[1..n] de booléen;

A la demande de la section critique: A la liberation de la section critique


sc=desirée ; sc=dehors ;
hi=hsi+1 ; pour j=1 à n, j≠i
nbrepattendues=n-1 ; si repdifféré[j] alors
pour j=1 à n, j≠i envoyer (req, hi, i) à j ; repdifféré[j]=faux
tant que (nbrepattendues≠0) attendre ; envoyer(rep) à j ;
sc=dedans fsi
fin fin

A la réception (suivant le message reçu ):


(req, k,j) : hsi=max(hsi, k) ;
si (sc=dedans) ou ((sc=desirée) et ((hi<k)ou(hi=k et i<j))) alors
repdifféré[j]=vraie ;
sinon envoyer(rep) à j ;
fsi
(rep,j) : nbrepattendues=nbrepattendues-1 ;
acc[j]=vrai
fin

Exercice2 : On considère un système réparti asynchrone composé de quatre sites reliés par des canaux
fifos. Les sites envoient des demandes d’entrer en section critique comme indiqué sur la figure ci-
dessous. Compléter et donner la suite du diagramme en indiquant lequel parmi les quatre sites accédera
à la section critique le premier :
1) avec l’algorithme de Lamport
2) avec l’algorithme de Ricart et Agrawala.
Diagramme :

Site1 Site2 Site3 Site4


h1=0 h2=0 h3=0 h4=0
req,?,1
req,?,4

req, ?,2 req,?,3

-FIN-

Vous aimerez peut-être aussi