Logical Clock or Lamport's Clock is a basic protocol that gives a notion of virutal time to all processes. Lamport's clock can be used to totally order all events in a distributed system. This is done by assigning timestamps to each event in a way that is consistent with the happened-before relation. Therefore, the following property should always hold. e → f ⇒ C(e) < C(f) Where C(i) is the timestamp for event i. Note the implication is one way. The protocol is defined as follows:
![]()
|
Foundations > Distributed Computing >