2.8.2. Lamport Clock

Lamport clock is the precursor of vector clock. Lamport clock timestamp is an integer number maintained at each process in a group of communicating processes. The timestamp is updated using three rules:

The update rules are based on the definition of the causal relation. Obviously, when an event A causally precedes an event B, the Lamport clock timestamp associated with the event A is numerically smaller than the Lamport clock timestamp associated with the event B. The implication, however, does not hold in the opposite direction.