iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications
Reproducing executions of multithreaded programs is very challenging due to many intrinsic and external non-deterministic factors. Existing RnR systems achieve significant progress in terms of performance overhead, but none targets the in-situ setting, in which replay occurs within the same process as the recording process. Also, most existing work cannot achieve identical replay, which may prevent the reproduction of some errors.
This paper presents iReplayer, which aims to identically replay multithreaded programs in the original process (under the "in-situ" setting). The novel in-situ and identical replay of iReplayer makes it more likely to reproduce errors, and allows it to directly employ debugging mechanisms (e.g. watchpoints) to aid failure diagnosis. Currently, iReplayer only incurs 3% performance overhead on average, which allows it to be always enabled in the production environment. iReplayer enables a range of possibilities, and this paper presents three examples: two automatic tools for detecting buffer overflows and use-after-free bugs, and one interactive debugging tool that is integrated with GDB.
Thu 21 JunDisplayed time zone: Eastern Time (US & Canada) change
14:00 - 15:40 | Concurrency DebuggingPLDI Research Papers at Grand Ballroom AB Chair(s): Tony Hosking Australian National University / Data61 | ||
14:00 25mTalk | iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications PLDI Research Papers Hongyu Liu University of Texas at San Antonio, USA, Sam Silvestro University of Texas at San Antonio, USA, Wei Wang University of Texas at San Antonio, USA, Chen Tian Huawei Lab, USA, Tongping Liu Media Attached | ||
14:25 25mTalk | D4: Fast Concurrency Debugging with Parallel Differential Analysis PLDI Research Papers Media Attached | ||
14:50 25mTalk | High-Coverage, Unbounded Sound Predictive Race Detection PLDI Research Papers Jake Roemer Ohio State University, Kaan Genç Ohio State University, USA, Michael D. Bond Ohio State University Media Attached | ||
15:15 25mTalk | CURD: A Dynamic CUDA Race Detector PLDI Research Papers Media Attached |