Write a Blog >>
Wed 21 Jun 2017 16:45 - 17:10 at Auditorium, Vertex Building - Analysis and Synthesis Chair(s): Anders Møller

In a precise data race detector, a race is detected only if the execution exhibits a real race. In such tools, every memory access from each thread is typically checked by a happens-before algorithm. What’s the optimal runtime performance of such tools? In this paper, we identify that a significant percentage of memory access checks in real-world program executions are often redundant: removing these checks neither affect the precision nor the capability of race detection. We show that if all such redundant checks were eliminated the performance of a state-of-the-art dynamic race detector, FastTrack, could be improved by 95%, reducing its runtime overhead from 77X to 3.4X on a collection of CPU intensive benchmarks running a large number of threads. We further develop a purely dynamic technique, ReX, that efficiently filters out redundant checks and apply it FastTrack. With ReX, the runtime performance of FastTrack is improved by 25% on average.

Wed 21 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:30 - 17:10
Analysis and SynthesisECOOP Research Papers at Auditorium, Vertex Building
Chair(s): Anders Møller Aarhus University
15:30
25m
Talk
Proactive Synthesis of Recursive Tree-to-String Functions from Examples
ECOOP Research Papers
Mikaël Mayer EPFL, Switzerland, Jad Hamza LIAFA, Université Paris Diderot, Viktor Kunčak EPFL, Switzerland
Link to publication Media Attached
15:55
25m
Talk
Speeding Up Maximal Causality Reduction with Static Dependency Analysis
ECOOP Research Papers
Shiyou Huang Texas A&M University, Jeff Huang Texas A&M University
Link to publication Media Attached
16:20
25m
Talk
Mailbox Abstractions for Static Analysis of Actor Programs
ECOOP Research Papers
Quentin Stiévenart Vrije Universiteit Brussel, Belgium, Jens Nicolay Vrije Universiteit Brussel, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel, Coen De Roover Vrije Universiteit Brussel
Link to publication Pre-print Media Attached
16:45
25m
Talk
What’s the Optimal Performance of Precise Dynamic Race Detection? – A Redundancy Perspective
ECOOP Research Papers
Jeff Huang Texas A&M University, Arun Krishnakumar Rajagopalan Texas A&M University
Link to publication Media Attached