Lamport Timestamp
Las marcas temporales de Lamport implementan un orden parcial causal con un contador monótonamente creciente más el transporte en mensajes; el fundamento del orden de eventos distribuidos.
Propósito
Proporcionar un orden causal ligero y entender su diferencia de precisión con los relojes vectoriales.
Mecanismo
Evento local: L = L + 1. Envío de mensaje: adjuntar L. Recepción: L = max(L, msg.L) + 1. Garantiza que si a precede causalmente a b entonces L(a) < L(b), pero no al revés (más débil que los relojes vectoriales).
Casos de uso
- Orden de eventos distribuidos
- Orden parcial causal
- Relojes de Lamport