Deterministic Process Groups in dOS
Transparent, lightweight application execution replay on commodity multiprocessor operating systems