[zwinkau16x10] | Andreas Zwinkau, An X10 Memory Model, Proceedings of the sixth ACM SIGPLAN X10 Workshop, June 2016.
|
Abstract
A programming language used for concurrent shared-memory programs
must specify its memory model
for programmers to reason about the behavior of a program.
Java and C++ have plugged this hole in their specifications,
but not X10.
This paper proposes a memory model for X10.
Additionally,
this serves as a case study of
how the design goals of a language
map to requirements for its memory model.
Download
BibTeX
Authors at the institute
Projects