A runtime system that can make multithreaded programs deterministic and stable.