Dynamic Race Prediction in Linear Time
Writing reliable concurrent software remains a huge challenge for today’s programmers. Programmers rarely reason about their code by explicitly considering different possible interleavings of its execution. We consider the problem of detecting data races from individual executions in a sound manner. The classical approach to solving this problem has been to use Lamport’s happens-before (HB) relation. Until now HB remains the only approach that runs in linear time. Previous efforts in improving over HB such as causally-precedes (CP) and maximal causal models fall short due to the fact they are not implementable efficiently and hence have to compromise on their race detecting ability by limiting their techniques to bounded sized fragments of the execution. We present a new relation weak-causally-precedes (WCP) that is provably better than CP in terms of being able to detect more races. WCP is also sound. Moreover it admits a linear time algorithm which works on the entire execution without having to fragment it.
Mon 19 JunDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
14:00 - 15:40 | |||
14:00 25mTalk | BARRACUDA: Binary-level Analysis of Runtime RAces in CUDA programs PLDI Research Papers Ariel Eizenberg University of Pennsylvania, Yuanfeng Peng University of Pennsylvania, Toma Pigli University of Pennsylvania, William Mansky Princeton University, Joseph Devietti University of Pennsylvania | ||
14:25 25mTalk | BigFoot: Static Check Placement for Dynamic Race Detection PLDI Research Papers Dustin Rhodes , Cormac Flanagan University of California, Santa Cruz, Stephen N. Freund Williams College | ||
14:50 25mTalk | Dynamic Race Prediction in Linear Time PLDI Research Papers Dileep Kini University of Illinois at Urbana-Champaign, Umang Mathur University of Illinois at Urbana-Champaign, Mahesh Viswanathan University of Illinois at Urbana-Champaign Media Attached | ||
15:15 25mTalk | Systematic Black-Box Analysis of Collaborative Web Applications PLDI Research Papers Media Attached |