Distributed Systems, System Design Concepts, Google Spanner, System Design Interview, Distributed System Design.
Leslie Lamport invented logical clocks that can be implemented using simple counters and suggested tagging each network message with these counters. A desirable property of such clocks is that they should support causality. For example, if Event A happens before Event B at a single node, the local