Tue 14 Jun 2016 11:00 - 11:30 at Santa Rosa East - Research Papers

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.

Slides (x10_memmodel.pdf)608KiB