The Parrot deterministic multi-threading system.