D4: Fast Concurrency Debugging with Parallel Differential Analysis
We present D4, a fast concurrency analysis framework that detects concurrency bugs (e.g., data races and deadlocks) interactively in the programming phase. As developers add, modify, and remove statements, the code changes are sent to D4 to detect concurrency bugs in real time, which in turn provides immediate feedback to the developer of the new bugs. The cornerstone of D4 includes a novel system design and two novel parallel differential algorithms that embrace both change and parallelization for fundamental static analyses of concurrent programs. Both algorithms react to program changes by memoizing the analysis results and only recomputing the impact of a change in parallel. Our evaluation on an extensive collection of large real-world applications shows that D4 efficiently pinpoints concurrency bugs within 100ms on average after a code change, several orders of magnitude faster than both the exhaustive analysis and the state-of-the-art incremental techniques.
Thu 21 Jun Times are displayed in time zone: Eastern Time (US & Canada) change
14:00 - 15:40: Concurrency DebuggingPLDI Research Papers at Grand Ballroom AB Chair(s): Tony HoskingAustralian National University / Data61 | |||
14:00 - 14:25 Talk | iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications PLDI Research Papers Hongyu LiuUniversity of Texas at San Antonio, USA, Sam SilvestroUniversity of Texas at San Antonio, USA, Wei WangUniversity of Texas at San Antonio, USA, Chen TianHuawei Lab, USA, Tongping Liu Media Attached | ||
14:25 - 14:50 Talk | D4: Fast Concurrency Debugging with Parallel Differential Analysis PLDI Research Papers Media Attached | ||
14:50 - 15:15 Talk | High-Coverage, Unbounded Sound Predictive Race Detection PLDI Research Papers Jake RoemerOhio State University, Kaan GençOhio State University, USA, Michael D. BondOhio State University Media Attached | ||
15:15 - 15:40 Talk | CURD: A Dynamic CUDA Race Detector PLDI Research Papers Media Attached |