Concurrent Constraint-based Memory Machines: A framework for Java Memory Models (2004)

Cached

Download Links

by Vijay Saraswat
Venue:In ASIAN
Citations:9 - 2 self

Documents Related by Co-Citation

1027 How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs – L Lamport
290 Fixing the Java memory model – Jeremy Manson, William Pugh, Sarita V. Adve, Jeremy Manson - 1999
653 Memory Consistency and Event Ordering in Scalable Shared-Memory Multiprocessors – Kourosh Gharachorloo, Daniel Lenoski, James Laudon, Phillip Gibbons, Anoop Gupta, John Hennessy - 1990
175 Efficient and correct execution of parallel programs that share memory – D Shasha, M Snir - 1988
1616 The Java Language Specification – James Gosling, Bill Joy, Guy Steele, Gilad Bracha
75 Threads cannot be implemented as a library – Hans-J. Boehm - 2005
4 Towards an improved memory model for Java – V Kotrajaras
33 Semantics of multithreaded Java – Jeremy Manson, William Pugh - 2001
65 Memory Consistency Models for Shared-Memory Multiprocessors – Kourosh Gharachorloo - 1995
40 Commit-Reconcile Fences (CRF): A New Memory Model for Architects and Compiler Writers – Xiaowei Shen, Arvind, Xiaowei Shen, Larry Rudolph, Larry Rudolph - 1999
225 Memory access buffering in multiprocessors – M Dubois, C Scheurich, F Briggs - 1986
2345 Time, clocks, and the ordering of events in a distributed system – Leslie Lamport - 1978
1237 The C Programming Language – Dennis M. Ritchie - 1988
52 Multithread Programming With Pthreads – B Lewis, D J Berg - 1997
103 Weak ordering—a new definition – S V ADVE, M D HILL - 1990
56 Designing Memory Consistency Models for Shared-Memory Multiprocessors – Sarita V. Adve - 1993
430 Evaluation of Release Consistent Software Distributed Shared Memory on Emerging Network Technology – Sandhya Dwarkadas, Pete Keleher, Alan L. Cox, Willy Zwaenepoel
4 Joint Program Office. Ada 95 Rationale – Ada - 1995
134 A formal model of program dependences and its implications for software testing, debugging, and maintenance – Andy Podgurski, Lori, A. Clarke - 1990