Spanner TrueTime
Google Spanners Uhren-API, das die Zeit als Unsicherheitsintervall [früheste, späteste] statt als einzelne Zahl liefert — garantiert durch GPS- und Atomuhren in jedem Rechenzentrum. Macht globale, extern konsistente Serialisierbarkeit möglich, was lange als unmöglich galt.
Die Idee: Statt so zu tun, als seien Uhren exakt, macht TrueTime die Unsicherheit explizit (oft wenige Millisekunden) — dank redundanter Zeit-Hardware. Der Trick heißt „Commit Wait": Bei einer Transaktion wartet Spanner das Unsicherheitsintervall (ε) ab, bevor sie committet, sodass garantiert keine spätere Transaktion einen niedrigeren Zeitstempel bekommt → globale Zeitstempel respektieren die reale Reihenfolge über den gesamten Planeten. Das ergibt „External Consistency" (Linearisierbarkeit) für eine planetengroße Datenbank. Preis: Spezialhardware (GPS-Antennen, Atomuhren) und etwas Commit-Latenz. CockroachDB/YugabyteDB imitieren die Idee ohne die Hardware, über HLC und Wiederholungsversuche. Ein Meilenstein der verteilten Datenbanken (Paper 2012).