I can vouch for Spanner: it's a badass piece of Google's infrastructure.