Paper Reading: Deterministic Shared Memory Multiprocessing.

Multi-thread programs are hard to debug because of non-determinism. This paper proposes DMP to enable deterministic execution with little performance penalty.

The key insight of making a multi-process program be deterministic is to make communication between threads deterministic.