Please enable JavaScript.
Coggle requires JavaScript to display documents.
Le temps logique dans les systèmes répartis - Coggle Diagram
Le temps logique dans les systèmes répartis
Horloges et estampilles matricielles
Définition et principe des estampilles matricielles
HM; désigne l'horloge matricielle du site S
EM, désigne l'estampille matricielle du message m,
Horloges et estampilles vectorielles
Définition et principe des estampilles vectorielles
Les messages envoyés par un site sont estampillés en utilisant la
valeur courante de l'horloge vectorielle du site émetteur,
L’ horloge permet de dater les événements d’un site et est mise à
jour lors de l'occurrence des événements.
La réception d'un message permet au site récepteur de synchroniser
son horloge vectorielle avec celle du site émetteur du message.
Chaque site gère une horloge vectorielle constituée de n entiers (le
système comporte n sites).
Propriétés des estampilles vectorielles
Propriété fondamentale
relation d'ordre sur les estampilles vectorielles
Horloges et estampilles scalaires
Définition et principe des estampilles scalaires
Principe
Sur chaque site ce compteur est initialisé à O0 au
lancement du système.
Chaque site gère un compteur dont la valeur est un
entier.
Propriétés des estampilles scalaires
L'ordre ainsi défini est total
L'odre des evenements n'est pas un ordre strict
Délivrance causale
ordre de délivrance FIFO
ordre de délivrance causale
Ordre causal
Relation de précédence directe
e->e'
e: envoi de message et e': réception de message par un autre processus
e->e': sur le meme processus
Relation de précédence causale
e précède causalement e'
e1,e2,......em telque e1=e et em=e' : transitivité
e=e': reflexivité
