The Parrot system to make threads deterministic and stable.