detect concurrency errors