This survey covers rollback-recovery techniques that do not require special language
constructs. In the first part of the survey we classify rollback-recovery protocols into …

Reverse debugging is the ability of a debugger to stop after a failure in a program has been
observed and go back into the history of the execution to uncover the reason for the failure …

Current system loggers have two problems: they depend on the integrity of the operating
system being logged, and they do not save sufficient information to replay and analyze …

Concurrency is pervasive in large systems. Unexpected interference among threads often
results in “Heisenbugs” that are extremely difficult to reproduce and eliminate. We have …

Smartphone usage has been continuously increasing in recent years. Moreover,
smartphones are often used for privacy-sensitive tasks, becoming highly valuable targets for …

This paper argues that the operating system and applications currently running on a real
machine should relocate into a virtual machine. This structure enables services to be added …

Although chip-multiprocessors have become the industry standard, developing parallel
applications that target them remains a daunting task. Non-determinism, inherent in …

This article presents a practical solution for the cyclic debugging of nondeterministic parallel
programs. The solution consists of a combination of record/replay with automatic on-the-fly …

Operating systems are difficult to debug with traditional cyclic debugging. They are non-
deterministic; they run for long periods of time; they interact directly with hardware devices; …

Analysis of parallel programs is hard mainly because their behavior changes from run to run.
We present an execution capture and deterministic replay system that enables repeatable …