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 JunDisplayed time zone: Eastern Time (US & Canada) change
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 25mTalk | 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 25mTalk | MixT: A Language for Mixing Consistency in Geodistributed Transactions PLDI Research Papers Media Attached | ||
17:00 25mTalk | 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 |