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 Times are displayed in time zone: Eastern Time (US & Canada) change
Wed 20 Jun
Times are displayed in time zone: Eastern Time (US & Canada) change
16:10 - 17:25: Transactions and RacesPLDI Research Papers at Grand Ballroom AB Chair(s): Tatiana ShpeismanGoogle Brain | |||
16:10 - 16:35 Talk | The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++ PLDI Research Papers Media Attached | ||
16:35 - 17:00 Talk | MixT: A Language for Mixing Consistency in Geodistributed Transactions PLDI Research Papers Media Attached | ||
17:00 - 17:25 Talk | Bounding Data Races in Space and Time PLDI Research Papers Stephen DolanUniversity of Cambridge, KC SivaramakrishnanUniversity of Cambridge, Anil MadhavapeddyOCaml Labs Media Attached |