Deterministic Process Groups in dOS
Jockey: a user-space library for record-replay debugging