TIME AND GLOBAL STATE

Présenter par :Muzindusi kinja marina

Date : 25/02/2023

Professeur Antoine BAGULA

Assisté par Landry MBALE

1
Un système réparti est organisé comme un ensemble de processus qui s’exécutent sur des sites
reliés par un réseau de communication et qui communique par envoie de messages. Sur chaque
site, il est possible de définir un état local, qui est modifié par l’exécution des processus du site.
Nous appelons événement un changement local d’état sur un site ou bien l’envoi ou la réception
d’un message par un processus. 
A—> B = a précède b

A||B = concurrents
l’horloge permet d’effectuer un classement global des événements de différents
processus dans un system distribué.
SYNCHRONIZING PHYSICAL CLOCKS
Horloge logique
8
9
10
On construit un ordre total qui soit cohérent avec la relation de causalité. On associe à chaque événement
une estampille telle que si on compare les estampilles de 2 événements, l’estampille de la cause est
inférieure à celle de l’effet.Sur Chaque site Si, on trouve une variable entiére Hi, dite horloge locale,
initialisée à 0. La date locale d’un événement E est notée d(E).

• Pour chaque événement E ne correspondant pas à l’envoi ou à la réception d’un message, le site Si
incrémente l’horloge locale Hi de 1 et date cet événement par d(E)=Hi.

• Lors de l’émission d’un message M par Si, on incrémente l’horloge locale Hi de 1, on estampille M par
(Hi, i) et on date l’emission par d(E)=Hi.

• Lors de la réception d’un message estampillé (Hj, j) par Si, Si recale son horloge locale de la manière
suivante:Si Hi<Hj, alors Hi=Hj+1 Sinon Hi=Hi+1On a ensuite d(E)=Hi.

• La date globale d(E) d’un événement E est alors (d(E), i) où i est le numéro du site où a lieu
l’événement et d(E) sa date locale.

11
L’Algorithme de Lamport propose une solution pour ordonner les évènements de façon non
ambiguë , Mais l’ horloges logiques associées aux évènements ne correspondent pas forcément à la
date réelle à laquelle ils se produisentDans certains systèmes (trafic aérien, commerce, log,
transactions) , le temps réel est important : un certain nombre d’algorithmes permettant de gérer ce
problème existent

12
 HORLOGE VECTORIELLE. (Algorithm de fidge et mattern)

Algorithme

• Sur chaque site Si, on définit une horloge vectorielle comme un vecteur Vi[1..n] initialisé à 0.Pour
chaque événement E ne correspondant pas à l’envoi ou la réception d’un message, on
incrémente Vi[i] de 1.

• Si l’événement E correspond à l’envoi d’un message M par un site Si, on incrémente Vi[i] de 1 et
on estampille M par Vm=Vi.

• Si l’événement E correspond à la réception d’un message (M, Vm) par Si, Vi[i] est incrémenté de
1 et pour k variant de 1 à n, Vi[k]=max(Vi[k], Vm[k])

• Pour deux horloges vectorielles V1 et V2, on a: V1>=V2 si et seulement si V1[k]>=V2[k] pour tout
k On garde donc la précèdence causale, car E1<—E2 sssiV1>=V2.

13
HORLOGE VECTORIELLE. (Algorithm de fidge et mattern)

14
HORLOGE VECTORIELLE. (ÉTAT GLOBAL)

COHÉRENCE ET INCOHERENCE DE L’ÉTAT GLOBAL

15
HORLOGE VECTORIELLE. (ÉTAT GLOBAL)

COHÉRENCE ET INCOHERENCE DE L’ÉTAT GLOBAL

16
HORLOGE VECTORIELLE. (Algorithm de fidge et mattern)

COHÉRENCE ET INCOHERENCE DES COUPURES

17
18