A "Flight Data Recorder" for Enabling Full-System Multiprocessor Deterministic Replay