Thu 21 Jun 2018 14:00 - 14:25 at Grand Ballroom AB - Concurrency Debugging Chair(s): Tony Hosking

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 Jun

Displayed 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
25m
Talk
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
25m
Talk
D4: Fast Concurrency Debugging with Parallel Differential Analysis
PLDI Research Papers
Bozhen Liu Texas A&M University, USA, Jeff Huang Texas A&M University
Media Attached
14:50
25m
Talk
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
25m
Talk
CURD: A Dynamic CUDA Race Detector
PLDI Research Papers
Yuanfeng Peng University of Pennsylvania, Vinod Grover , Joseph Devietti University of Pennsylvania
Media Attached