Grace - a replacement for pthreads that enforces sequential semantics (stronger than determinism).