Transparent, lightweight application execution replay on commodity multiprocessor operating systems