Hardware-assisted replay of multiprocessor programs

Abstract

Shared-memory parallel programs can be highly nondeterministic due to the unpredictable order in which shared references are satisfied. However, deterministic execution is extremely important for debugging' and can also be used for fault-tolerance and other replay-based algorithms. We present a hardware/software design that allows the order of memory references in a parallel program to be logged efficiently by recording a subset of the cache traffic between memory and the CPU 's. This log can then be used along with hardware and software control to replay execution.