Engineering Record And Replay For Deployability: Extended Technical Report

Abstract

The ability to record and replay program executions with low overhead enables many applications, such as reverse-execution debugging, debugging of hard-toreproduce test failures, and "black box" forensic analysis of failures in deployed systems. Existing record-andreplay approaches limit deployability by recording an entire virtual machine (heavyweight), modifying the OS kernel (adding deployment and maintenance costs), requiring pervasive code instrumentation (imposing significant performance and complexity overhead), or modifying compilers and runtime systems (limiting generality). We investigated whether it is possible to build a practical record-and-replay system avoiding all these issues. The answer turns out to be yes -if the CPU and operating system meet certain non-obvious constraints. Fortunately modern Intel CPUs, Linux kernels and user-space frameworks do meet these constraints, although this has only become true recently. With some novel optimizations, our system RR records and replays real-world lowparallelism workloads with low overhead, with an entirely user-space implementation, using stock hardware, compilers, runtimes and operating systems. RR forms the basis of an open-source reverse-execution debugger seeing significant use in practice. We present the design and implementation of RR, describe its performance on a variety of workloads, and identify constraints on hardware and operating system design required to support our approach. * Majority of work carried out while supported by Mozilla Research.

McFly: Time-Travel Debugging for the Web

“…Application-level: Tardis [3], Jardis [4], UndoDB [43], Boothe [7], and RR [34] record and replay program interactions with a well-defined interface to an external environment, but do not recreate state in the external environment during debugging. In other words, these debuggers do not recreate a GUI application's visual state.…”

“…Examples of omniscient debuggers include Chronon [13], TOD [38], ODB [26], and Tralfamadore [25]. * Jalangi [41] Time-traveling debuggers: RR [34] Jardis [4] MCFLY Figure 7. MCFLY is the first time-traveling debugger for web applications.…”