Fault tolerant optimistic concurrency control in a distributed system with validation through pessimism