Holistic System Design for Deterministic Replay.