Efficient optimistic concurrency control using loosely synchronized clocks | Synapse