Bounding data races in space and time-Reference-Cited by-同舟云学术

Bounding data races in space and time

Published:2018-12-02 Issue:4 Volume:53 Page:242-255
ISSN:0362-1340
Container-title:ACM SIGPLAN Notices
language:en
Short-container-title:SIGPLAN Not.

Author:

Dolan Stephen¹,Sivaramakrishnan KC¹,Madhavapeddy Anil¹

Affiliation:

1. University of Cambridge, UK

Abstract

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.

Publisher

Association for Computing Machinery (ACM)

Subject

Computer Graphics and Computer-Aided Design,Software

Link

https://dl.acm.org/doi/pdf/10.1145/3296979.3192421

Reference23 articles.

1. 2014. The Go Memory Model. (2014). https://golang.org/ref/mem 2014. The Go Memory Model. (2014). https://golang.org/ref/mem

2. 2016. ECMAScript Sharedmem: Formal memory model proposal tracking. (2016). https://github.com/tc39/ecmascript_sharedmem/issues/ 133 2016. ECMAScript Sharedmem: Formal memory model proposal tracking. (2016). https://github.com/tc39/ecmascript_sharedmem/issues/ 133

3. 2017. Concurrency in Swift. (2017). https://github.com/apple/swift/ blob/master/docs/proposals/Concurrency.rst 2017. Concurrency in Swift. (2017). https://github.com/apple/swift/ blob/master/docs/proposals/Concurrency.rst

4. 2017. WebAssembly Threads. (2017). https://github.com/ WebAssembly/design/issues/1073 2017. WebAssembly Threads. (2017). https://github.com/ WebAssembly/design/issues/1073

5. 2018. Rust Atomics. (2018). https://doc.rust-lang.org/beta/nomicon/ atomics.html 2018. Rust Atomics. (2018). https://doc.rust-lang.org/beta/nomicon/ atomics.html

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Disentanglement with Futures, State, and Interaction;Proceedings of the ACM on Programming Languages;2024-01-05

2. A Task Graph Parallel Computing Architecture for Distillation Column Simulation on Flash Granularity;Computer Aided Chemical Engineering;2024

3. Integrating Owicki–Gries for C11-Style Memory Models into Isabelle/HOL;Journal of Automated Reasoning;2021-11-16

4. A Survey of Programming Language Memory Models;Programming and Computer Software;2021-11

5. Formal Verification of a Multiprocessor Hypervisor on Arm Relaxed Memory Hardware;Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles CD-ROM;2021-10-26