Scribd
Importer
406 vues3 pages

TD

Ce document contient des exercices sur les horloges logiques de Lamport et les systèmes répartis. Il présente quatre exercices avec des questions sur l'ordre des messages, la causalité et la datation d'événements à l'aide d'horloges logiques.

Transféré par

jamila gaffrache
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats DOCX, PDF, TXT ou lisez en ligne sur Scribd
406 vues3 pages

TD

Ce document contient des exercices sur les horloges logiques de Lamport et les systèmes répartis. Il présente quatre exercices avec des questions sur l'ordre des messages, la causalité et la datation d'événements à l'aide d'horloges logiques.

Transféré par

jamila gaffrache
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats DOCX, PDF, TXT ou lisez en ligne sur Scribd
Vous êtes sur la page 1/ 3

Université de la Manouba

Ecole Supérieure de Commerce (ESC)


Année universitaire : 2018/2019
Unité d’enseignement : Systèmes Répartis
Exemples d’exercices avec corrigés

Exercice 1 :

Dans cet exercice on veut discuter du problème d’asynchronisme lié aux horloges logiques de
Lamport.

On considère un processus P1 qui reçoit des messages d’autres processus (P2, P3 et P4). On
souhaiterait que les messages lui soient délivrés dans l’ordre de leurs estampilles. Pour cela, on
considère les 3 situations représentées par les trois schémas suivants :

(a) (b) (c)

Questions :
1. On a délivré (m2 , 3) et on reçoit (m4 , 8). Peut-on délivrer le message (m4 , 8) à P1 ? Justifiez
votre réponse.

Selon les situations on peut le délivrer ou non (vérification des valeurs des horloges).

2. Est-ce que les horloges logiques permettent de distinguer ces trois situations ?

NON. Ces situations ne peuvent pas être distinguées uniquement avec les horloges
logiques. Les trois situations sont équivalentes du point de vue des horloges logiques.
Donc ce type d’horloges ne permet pas de lever des ambiguïtés sur certaines situations.

3. Si H(e)  H(e’), existe-t-il un événement e" tel que e  e"  e’ ? Justifiez votre réponse.

C’est une question qui n’a pas de solution car il s’agit d’une propriété de vivacité ou de
progrès. En fait il s’agit de répondre à la question : “Est-ce qu’un événement va arriver
ou non”. Il s’agit ici de l’événement e". Or il est impossible de prédire l’arrivée d’un
événement dans le futur, puisque la question dit : “Existe-t-il ? ”.
Exercice 2
Soit le diagramme de causalité suivant :

Questions :

1. Que représentent les événements e1,1 , e2,1 et e3,1 ?


- e1,1 : est un évènement de réception.
- e2,1 : est un évènement interne (traitement interne).
- e1,3 : est un évènement d’émission.

2. Au vu du diagramme, les voies de communication respectent la propriété de


causalité ? justifiez

OUI, les voies de communication représentées sur le chronogramme respectent la


propriété de causalité.
Car : il n’existe pas deux événements a et b tel que :
date_émission(a)<date_émission(b) et date_réception(a)>date_réception(b)

3. En considérant les horloges de Lamport initialisées a 0, dater les événements de ce


diagramme.

Exercice 3

Complétez le diagramme suivant avec les horloges scalaires.


Exercice 4

L’objectif est de comparer deux évènements e1 et e2qui se passent dans deux sites différents. Nous
supposerons que l’évènement e1 (resp.e2) est un évènement local du site1 (resp.2).

Question :

Supposons que les deux sites ont une horloge de Lamport comme système pour dater les
événements. Comparer les deux évènements e1 et e2dans les deux situations suivantes :

 La date de l’évènement e1 est 4 et celle de e2 est 3.


 La date de l’évènement e1 est 4 et celle de e2 est 4.

Vous aimerez peut-être aussi