A theory of memory models

Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP

Volumn , Issue , 2007, Pages 161-172

  Saraswat, Vijay A ^a   Jagadeesan, Radha ^b   Michael, Maged ^a   Von Praun, Christoph ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

^b DEPAUL UNIVERSITY   (United States)

Author keywords

Memory model; Sequential consistency; Weak model

Indexed keywords

MATHEMATICAL MODELS; OBJECT ORIENTED PROGRAMMING; SYNCHRONIZATION;

MEMORY MODELS; SEQUENTIAL CONSISTENCY; WEAK MODELS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 34748897138     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1229428.1229469     Document Type: Conference Paper

References (19)

1. Arvind and J.-W. Maessen. Memory model = instruction reording + store atomicity. In Proceedings of 33d Annual International Symposium on Computer Architecture, 2006.
2. H.-J. Boehm. Threads cannot be implemented as a library. In PLDI, pages 261-268, 2005.
3. P. Charles, C. Donawa, C. Grothoff, K. Ebcioglu, A. Kielstra, V. Saraswat, V. Sarkar, and C. von Praun. X10: An object-oriented approach, to non-uniform cluster computing. In OOPSLA, pages 519-538, 2005.
4. G. Gao and V. Sarkar. Location Consistency - A New Memory Model and Cache Consistency Protocol. IEEE Transactions on Computers, 49(8):798-813, August 2000.
5. K. Gharachorloo, D. Lenoski, J. Laudon, P. Gibbons, A. Gupta, and J. Hennessy. Memory consistency and event ordering in scalable shared-memory multiprocessors. In Proceedings of the International Symposium on Computer Architecture (ISCA'90), pages 15-26, June 1990.
6. J. Gosling, W. Joy, G. Steele, and G. Bracha. The Java Language Specification, Third Edition. Addison Wesley, 2005.
7. J. Hoeflinger and B. de Supinsky. The OpenMP memory model. June 2005.
8. L. Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computers, 28(9), 1979.
9. D. Lea. Alternatives to SC. Message to C++ threads standardization list, Thu Jan 11 2007.
10. J. Manson, B. Pugh, and S. Adve. The Java Memory Model. In POPL '05. Proceedings of the 32d ACM SIGPLAN-SIGACT on Principles of programming languages, Jan. 2005.
11. M. M. Michael and M. L. Scott. Simple, fast, and practical non-blocking and blocking concurrent queue algorithms. In PODC '96: Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing, pages 267-275. ACM Press, 1996.
12. W Pugh. Java Memory Model Causality Test Cases. Technical report, U Maryland, 2004. On www.cs.umd.edu, as ~pugh/java/memoryModel/.
13. V. Saraswat. Concurrent Constraint-Based Memory Machines: A Framework for Java Memory Models. In ASIAN, pages 494-508, 2004.
14. V. Saraswat and R. Jagadeesan. Concurrent Clustered Programming. In Concur, pages 353-367, 2005.
15. D. Shasha and M. Snir. Efficient and Correct Execution of Parallel Programsthat Share Memory. ACM Transactions on Programming Languages and Systems, 10(2):282-312, April 1988.
16. Z. Sura, X. Fang, C-L. Wong, S. P. Midkiff, J. Lee, and D. A. Padua. Compiler techniques for high performance sequentially consistent Java programs. In PPOPP, pages 2-13, 2005.
17. J. E. Vuillemin. Proof-techniques for recursive programs. PhD thesis, 1974.
18. C. Wallace, G. Tremblay, and J. Amaral. The Tamability of the Location Consistency Memory Model, 2002.
19. K. Yelick, D. Bonachea, and C. Wallace. A Proposal for a UPC Memory Consistency Model, vl.1. Technical Report LBNLTechnical Report (draft), 2004.