Engineering Record and Replay for Deployability
A "flight data recorder" for enabling full-system multiprocessor deterministic replay