QuickRec: prototyping an intel architecture extension for record and replay of multithreaded programs
A "flight data recorder" for enabling full-system multiprocessor deterministic replay