The Problem of Programming Language Concurrency Semantics
The Problem of Programming Language Concurrency Semantics
Mark Batty,Kayvan Memarian,2 Authors,Peter Sewell
2015 · DOI: 10.1007/978-3-662-46669-8_12
European Symposium on Programming · 111 Citations
TLDR
This paper argues that the Java Memory Model has been shown to be unsound with respect to standard compiler optimisations, while the C/C++11 model is too weak, admitting undesirable thin-air executions.