Simulating distributed database operating systems and evaluating concurrency control protocol performance