Un reloj de Lamport es un dispositivo de software introducido en 1978 por Leslie Lamport para proporcionar a cada proceso en un sistema distribuido asincrónico información sobre la relación causal anterior . Es el primer tipo de reloj lógico introducido en la informática.
Cada proceso tiene un número entero llamado marca de tiempo . Se actualiza de acuerdo con las siguientes reglas:
En consecuencia, si dos eventos ayb son tales que a → b ( a precede a b ), entonces la marca de tiempo de a es menor que la de b. Por otro lado, lo contrario es falso. Los relojes vectoriales capturan completamente la relación → a costa de una mayor ocupación de memoria.
Los relojes lógicos se utilizan en muchos algoritmos, incluida la exclusión mutua en el caso de sistemas distribuidos.