On optimistic methods for concurrency control | Synapse