deterministic concurrency control