Spanner TrueTime
Google Spanners klock-API som ger tiden som ett osäkerhetsintervall [tidigast, senast] i stället för en enda siffra, garanterat av GPS- och atomklockor i varje datacenter. Möjliggör global, externt konsistent serialiserbarhet — något som länge ansågs omöjligt.
Idé: i stället för att låtsas att klockor är exakta erkänner TrueTime osäkerheten explicit (ofta några millisekunder) tack vare redundant tidshårdvara. Knepet "commit wait": vid en transaktion väntar Spanner ut osäkerhetsintervallet (ε) innan den committar, så att garanterat ingen senare transaktion fick en lägre tidsstämpel → globala tidsstämplar respekterar verklig ordning över hela jorden. Det ger "external consistency" (linjäriserbarhet) för en planetskalig databas. Pris: specialhårdvara (GPS-antenner, atomklockor) och en liten commit-latens. CockroachDB/Yugabyte härmar idén utan hårdvaran via HLC + omförsök. Ett landmärke i distribuerade databaser (paper 2012). Hör ihop med HLC och linjäriserbarhet.