Offline symbolic analysis for multi-processor execution replay
Dongyoon Lee, Mahmoud H. Said, Satish Narayanasamy, Zijiang Yang, Cristiano L. Pereira · 2009
Ability to replay a program's execution on a multi-processor system can significantly help parallel programming. To replay a shared-memory multi-threaded program, existing solutions record its program input (I/O, DMA, etc.) and the shared-memory dependencies between threads. Prior processor based record-and-replay solutions are efficient, but they require non-trivial modifications to the coherency protocol and the memory sub-system for recording the shared-memory dependencies.