Exploiting Synchrony in Replicated State Machines
Spanner: Google's globally-distributed database