HOME | DEUTSCH | IMPRESSUM | KIT

Conference Papers: An X10 Memory Model

[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

  [PDF]

BibTeX

Authors at the institute

Scientific Staff
Andreas Zwinkau

Projects

Project
InvasIC