Lamport Timestamp
Les horodatages de Lamport réalisent un ordre partiel causal avec un compteur croissant et le portage sur messages ; le fondement de l'ordre des événements distribués.
Objectif
Fournir un ordre causal léger et comprendre son écart de précision avec les horloges vectorielles.
Mécanisme
Événement local : L = L + 1. Envoi de message : attacher L. Réception : L = max(L, msg.L) + 1. Garantit que si a précède causalement b alors L(a) < L(b), mais pas l'inverse (plus faible que les horloges vectorielles).
Cas d’usage
- Ordre des événements distribués
- Ordre partiel causal
- Horloges de Lamport