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

pldi-2018-papers
16:10 - 17:25: PLDI Research Papers - Transactions and Races at Grand Ballroom AB
Chair(s): Tatiana ShpeismanGoogle Brain
pldi-2018-papers16:10 - 16:35
Talk
Nathan ChongARM Ltd., Tyler SorensenImperial College London, John WickersonImperial College London
Media Attached
pldi-2018-papers16:35 - 17:00
Talk
Matthew MilanoCornell University, Andrew MyersCornell University
Media Attached
pldi-2018-papers17:00 - 17:25
Talk
Stephen DolanUniversity of Cambridge, KC SivaramakrishnanUniversity of Cambridge, Anil MadhavapeddyOCaml Labs
Media Attached