A global name service for a highly mobile internetwork
Spanner: Google's globally-distributed database