A simple implemention of google's spanner