On the importance of an end-to-end view of memory consistency in future computer systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1336, Issue , 1997, Pages 30-41

  Gao, Guang R ^a   Sarkar, Vivek ^b  

^a UNIVERSITY OF DELAWARE   (United States)

^b MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

HARDWARE; RECONFIGURABLE HARDWARE; SEMANTICS;

BEHAVIORAL PROPERTIES; EXECUTION SEMANTICS; MEMORY COHERENCE; MEMORY CONSISTENCY; MEMORY CONSISTENCY MODELS; MEMORY OPERATIONS; SOFTWARE AND HARDWARES; SOFTWARE DEVELOPER;

COMPUTER HARDWARE;

EID: 67649876831     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/BFb0024201     Document Type: Conference Paper

References (17)

1. Proceedings of the 17th Annual International Symposium on Computer Architecture, Seattle, Washington, May 1990
2. Sarita V. Adve and Mark D. Hill, "Weak Ordering--A New Definition," in Proceedings of the 17th Annual International Symposium on Computer Architecture, Seattle, Washington, pp. 2-14, May 1990
3. Sarita V. Adve and Mark D. Hill, "A Unified Formalization of Four Shared-Memory Models," IEEE Transactions on Parallel and Distributed Systems, pp. 613-624, June 1993
4. B. Bershad, M. Zekauskas, and W. Sawdon, "The Midway Distributed Shared Memory System," in Proceedings of the IEEE COMPCON, 1993
5. Robert D. Blumofe, Matteo Frigo, Christopher F. Joerg, Charles E. Leiserson, and Keith H. Randall, "An Analysis of Dag-Consistent Distributed Shared-Memory Algorithms," in Proceedings of the 8th Annual A CM Symposium on Parallel Algorithms and Architectures, Padua, Italy, pp. 297-308, June 1996
6. J.B. Carter, J.K. Bennett, and W. Zwaenepoel, "Implementation and Performance of Munin," in Proceedings of the 13 ACM Symposium on Operating System Principles, pp. 152-164, 1991
7. Michel Dubois, Christoph Scheurich, and Faye Briggs, "Memory Access Buffering in Multiprocessors," in Proceedings of the 13th Annual International Symposium on Computer Architecture, Tokyo, Japan, pp. 434-442, June 1986
8. Guang R. Gao and Vivek Sarkax, "Location Consistency: Stepping Beyond the Barriers of Memory Coherence and Serializability," ACAPS Technical Memo 78, School of Computer Science, McGill University, Montreal, Quebec, December 1994. In ftp://ftp-acaps.cs.mcgill.ca/pub/doc/memos.
9. Guang R. Gao and Vivek Sarkar, "Location Consistency: Stepping Beyond Memory Coherence Barrier," in Proceedings of the I995 International Conference on Parallel Processing, vol. 2, Oconomowoc, Wisconsin, pp. 73-76, August 1995
10. Kourosh Gharachorloo, Daniel Lenoski, James Landon, Phillip Gibbons, Anoop Gupta, and John Hennessy, "Memory Consistency and Event Ordering in Scalable Shared-Memory Multiprocessors," in Proceedings of the 17th Annual International Symposium on Computer Architecture, Seattle, Washington, pp. 15-26, May 1990
11. Alan H. Karp and Vivek Sarkar, "Data Merging for Shared-Memory Multiprocessors," Proceedings of the 26th Hawaii International Conference on System Sciences, Wailea, Hawaii, Volume 1 (Architecture), pp. 244-256, January 1993
12. Pete Keleher, Alan L. Cox, and Willy Zwaenepoel, "Lazy Release Consistency for Software Distributed Shared Memory," in Proceedings of the 19th Annual International Symposium on Computer Architecture, Gold Coast, Australia, pp. 13-21, May 1992
13. Leslie Lamport, "How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs," IEEE Transactions on Computers, 28(9):690-691, September 1979
14. Daniel Lenoski, Kourosh Gharachorloo, James Laudon, Anoop Gupta, John Hennessy, Mark Horowitz, and Monica Lam, "Design of Scalable Shared-Memory Multiprocessors: The DASH Approach," in Digest of Papers, 35th IEEE Computer Society International Conference, COMPCON Spring '90, San Francisco, California, pp. 62-67, February-March 1990
15. Shamir Merali, "Designing and Implementing Memory Consistency Models for Shared-Memory Multiprocessors," Master's thesis, McGill University, Montrdal, Qudbec, April 1996
16. Hisham Petry, "Comparison of SC-Derived Memory Models and Location Consistency on Shared Memory Architectures," Master's thesis, McGill University, Montr4al, Quebec, July 1997
17. J. H. Saltzer, D. P. Reed, and D. D. Clark, "End-To-End Arguments in System Design," A CM Transactions on Computer Systems, 2(4):277-288, November 1984.