Two Hardware-Based Approaches For Deterministic Multiprocessor Replay
Modern computer systems are inherently nondeterministic due to a variety of events that occur during an execution. The lack of repeatability that arises from this nondeterminism can make it difficult to develop and maintain correct software.
