Wed 20 Jun 2018 17:00 - 17:25 at Grand Ballroom AB - Transactions and Races Chair(s): Tatiana Shpeisman

We propose a new semantics for shared-memory parallel programs that gives strong guarantees even in the presence of data races. Our local data race freedom property guarantees that all data-race-free portions of programs exhibit sequential semantics. We provide a straightforward operational semantics and an equivalent axiomatic model, and evaluate an implementation for the OCaml programming language. Our evaluation demonstrates that it is possible to balance a comprehensible memory model with a reasonable (no overhead on x86, ~0.6% on ARM) sequential performance trade-off in a mainstream programming language.

Wed 20 Jun

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

16:10 - 17:25
Transactions and RacesPLDI Research Papers at Grand Ballroom AB
Chair(s): Tatiana Shpeisman Google Brain
16:10
25m
Talk
The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++
PLDI Research Papers
Nathan Chong ARM Ltd., Tyler Sorensen Imperial College London, John Wickerson Imperial College London
Media Attached
16:35
25m
Talk
MixT: A Language for Mixing Consistency in Geodistributed Transactions
PLDI Research Papers
Mae Milano Cornell University, Andrew Myers Cornell University
Media Attached
17:00
25m
Talk
Bounding Data Races in Space and Time
PLDI Research Papers
Stephen Dolan University of Cambridge, KC Sivaramakrishnan University of Cambridge, Anil Madhavapeddy OCaml Labs
Media Attached