Distributed Systems

TrueTime

Google's globally-synchronised clock with a known uncertainty bound.


In plain terms

Hardware GPS + atomic clocks. Lets Spanner do externally-consistent transactions globally — wait out the uncertainty before committing.

Origin

Introduced in the Spanner paper (Corbett et al., OSDI 2012). Combines GPS receivers and atomic clocks at every datacenter to bound clock uncertainty to ~7ms.

Where it shows up in production
  • Google Spanner Transactions "commit-wait" until the uncertainty window passes — buying externally-consistent global timestamps.
  • CockroachDB HLC Hybrid Logical Clocks approximate TrueTime semantics without atomic hardware.
On Semicolony
Sources & further reading
Found this useful?