Concurrency detection tool for deterministic multi-threading system PARROT