A "flight data recorder" for enabling full-system multiprocessor deterministic replayMin XuRastislav Bodiket al.2003ISCA 2003