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
Les horloges et les estampilles
Type
scalaires
vectorielles
matricielles
rôle
déterminer l'ordre causal des événements.
propriétés d'ordre causal
réflexivité
transitivité
les événements
Passé
futur
Concurrent
Délivrance causale
Ordre de délivrance FIFO
Ordre de délivrance causale
horloge et estampilles scalaires
Les propriétés
plusieurs événements peuvent porter la même valeur
induit une chaîne de tous les événements
les principes
Chaque site gère un compteur dont la valeur est un entier.
La valeur de l’horloge logique d’un site est incrémentée chaque fois qu’un événement local s’y produit
Sur chaque site ce compteur est initialisé à 0 au lancement du système
Inconvénients
Ordonnent artificiellement les événements concurrents
Ne permettent pas de corriger la défaillance vis-à-vis de l’ordre FIFO
horloge et estampilles vectorielles
Les principes
Chaque site gère une horloge vectorielle constituée de n entiers
L’ horloge permet de dater les événements d’un site et est mise à jour lors de l’occurrence des événements.
Les messages envoyés par un site sont estampillés en utilisant la valeur courante de l’horloge vectorielle du site émetteur
La réception d’un message permet au site récepteur de synchroniser son horloge vectorielle avec celle du site émetteur du message
les propriétés
déterminer l'ordre causal des événements
transitivité.
les inconvénients
ne permettent pas de garantir une délivrance causale des messages
Ne permettent pas de corriger la défaillance vis-àvis de la délivrance causale des message
Horloge et estampille matricielle
principe
Dans un système de n sites, les horloges d’un site i et les estampilles des événements (et des messages) sont des matrices carrées d’ordre n
HMi désigne l’horloge matricielle du site Si
EMm désigne l’estampille matricielle du message m
Sur le site Si, la matrice HMi va : • mémoriser le nombre de messages que le site Si a envoyé aux différents autres sites
mémoriser, pour chacun des autres sites j, le nombre de messages émis par ce site dont le site i a connaissance
sur le site i, la valeur EMi [j, k] donne le nombre de messages en provenance du site Sj délivrables sur le site Sk dont le site Si a connaissance
La synchronisation des horloges
lorsqu’un événement local se produit sur le site Si : HMi [i, i] est incrémenté
lorsqu’un message est expédié à partir du site Si vers le site Sj : HMi [i, i] et HMi [i, j] sont incrémentés
lorsqu’un message m en provenance du site Sj est reçu sur le site Si , il faut s’assurer que tous les messages envoyés antérieurement au site Si y sont effectivement arrivés