The recent paper on Spanner has some details of how it is used if you are interested.

https://static.googleusercontent.com/media/research.google.c...