I thought it was just one concurrency error that was prevented. Other than data races, what other concurrency errors are prevented?
reply