Wed 28 Oct 2015 15:52 - 16:15 at Grand Station 1 - 4. Concurrency Chair(s): Wolfgang De Meuter

Data races complicate programming language semantics, and a data race is often a bug. Existing techniques detect data races and define their semantics by detecting conflicts between synchronization-free regions (SFRs). However, such techniques either modify hardware or slow programs dramatically, preventing always-on use today. This paper describes Valor, a sound, precise, software-only region conflict detection analysis that achieves high performance by eliminating the costly analysis on each read operation that prior approaches require. Valor instead logs a region's reads and lazily detects conflicts for logged reads when the region ends. As a comparison, we have also developed FastRCD, a conflict detector that leverages the epoch optimization strategy of the FastTrack data race detector. We evaluate Valor, FastRCD, and FastTrack, showing that Valor dramatically outperforms FastRCD and FastTrack. Valor is the first region conflict detector to provide strong semantic guarantees for racy program executions with under 2X slowdown. Overall, Valor advances the state of the art in always-on support for strong behavioral guarantees for data races.

Wed 28 Oct

Displayed time zone: Eastern Time (US & Canada) change

15:30 - 17:00
4. ConcurrencyOOPSLA at Grand Station 1
Chair(s): Wolfgang De Meuter Vrije Universiteit Brussel
15:30
22m
Talk
AutoMO: Automatic Inference of Memory Order Parameters for C/C++11OOPSLA Artifact
OOPSLA
Peizhao Ou University of California at Irvine, USA, Brian Demsky University of California at Irvine, USA
DOI
15:52
22m
Talk
Valor: Efficient, Software-Only Region Conflict ExceptionsOOPSLA Artifact
OOPSLA
Swarnendu Biswas Ohio State University, USA, Minjia Zhang Ohio State University, USA, Michael D. Bond Ohio State University, USA, Brandon Lucia Carnegie Mellon University, USA
DOI Pre-print
16:15
22m
Talk
Automatic Memory Reclamation for Lock-Free Data Structures
OOPSLA
Nachshon Cohen Technion, Israel, Erez Petrank Technion, Israel
DOI
16:37
22m
Talk
Protocol-Based Verification of Message-Passing Parallel ProgramsOOPSLA Artifact
OOPSLA
Hugo A. López Technical University of Denmark, Eduardo Marques University of Lisbon, Portugal, Francisco Martins University of Lisbon, Portugal, Nicholas Ng Imperial College London, UK, César Santos University of Lisbon, Portugal, Vasco T. Vasconcelos University of Lisbon, Portugal, Nobuko Yoshida Imperial College London, UK
Link to publication