The xtern (Parrot) deterministic multi-threading system.