About logical clocks for distributed systems

Memory space and processor time are basic resources when executing a program. But beside this implementation aspect (this time resource is necessary but does not belong to the program semantics), the concept of time presents a more fundamental facet in distributed systems namely causality relation between events. Put forward by Lamport in 1978, the logical nature of time is of primary importance when designing or analyzing distributed systems. This paper reviews three ways (linear time, vector time and matrix time) which have been proposed to capture causality between events of a distributed computation and which consequently allow to define logical time.

# Distributed systems and fault tolerance # Computer Science # Simulation Techniques and Applications # Decision Sciences # Formal Methods in Verification

Michel Raynal (1992). "About logical clocks for distributed systems". ACM SIGOPS Operating Systems Review. https://doi.org/10.1145/130704.130708