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

Many concurrent data structures are initially designed for the sequential consistency (SC) memory model. Developers often implement these data structures on real-world systems with weaker memory models by adding sufficient fences to ensure that their implementation on the weak memory model exhibits the same executions as the SC memory model. Recently, the C11 and C++11 standards have added a weak memory model to the C and C++ languages. Developing and debugging code for weak memory models can be extremely challenging. We present AutoMO, a framework to support porting data structures designed for the SC memory model to the C/C++11 memory model. AutoMO provides support across the porting process: (1) it automatically infers initial settings for the memory order parameters, (2) it detects whether a C/C++11 execution is equivalent to some SC execution, and (3) it simplifies traces to make them easier to understand. We have used AutoMO to successfully infer memory order parameters for a range of data structures and to check whether executions of several concurrent data structure implementations are SC.

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