Abstract
The main purpose of a memory consistency model is to serve as an agreement between hardware system designers and software developers on the semantics of memory operations so as to ensure correct execution of user programs. However, the bulk of past work on memory consistency models has been pursued from the hardware viewpoint. In this viewpoint, a memory consistency model is used to specify certain behavioral properties that are guaranteed by uniprocessor/multiprocessor hardware e.g., the memory coherence property. In this paper, we argue that it is essential to adopt an end-to-end view of memory consistency that can be understood at all levels of software and hardware. We believe that this is possible with a memory consistency model based on partial order execution semantics — such as the Location Consistency (LC) model — rather than on the memory coherence assumption.
Preview
Unable to display preview. Download preview PDF.
References
Proceedings of the 17th Annual International Symposium on Computer Architecture, Seattle, Washington, May 1990.
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.
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.
B. Bershad, M. Zekauskas, and W. Sawdon, “The Midway Distributed Shared Memory System,” in Proceedings of the IEEE COMPCON, 1993.
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 ACM Symposium on Parallel Algorithms and Architectures, Padua, Italy, pp. 297–308, June 1996.
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.
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.
Guang R. Gao and Vivek Sarkar, “Location Consistency: Stepping Beyond the Barriers of Memory Coherence and Serializability,” ACAPS Technical Memo 78, School of Computer Science, McGill University, Montréal, Québec, December 1994. In ftp://ftp-acaps.cs.mcgill.ca/pub/doc/memos.
Guang R. Gao and Vivek Sarkar, “Location Consistency: Stepping Beyond Memory Coherence Barrier,” in Proceedings of the 1995 International Conference on Parallel Processing, vol. II, Oconomowoc, Wisconsin, pp. 73–76, August 1995.
Kourosh Gharachorloo, Daniel Lenoski, James Laudon, 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.
Alan H. Karp and Vivek Sarkar, “Data Merging for Shared-Memory Multiprocessors,” Proceedings of the,26th Hawaii International Conference on System Sciences, Walilea, Hawaii, Volume I (Architecture), pp. 244–256, January 1993.
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.
Leslie Lamport, “How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs,” IEEE Transactions on Computers, 28(9):690–691, September 1979.
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 So ciety International Conference, COMPCON Spring '90, San Francisco, California, pp. 62–67, February-March 1990.
Shamir Merali, “Designing and Implementing Memory Consistency Models for Shared-Memory Multiprocessors,” Master's thesis, McGill University, Montréal, Québec, April 1996.
Hisham Petry, “Comparison of SC-Derived Memory Models and Location Consistency on Shared Memory Architectures,” Master's thesis, McGill University, Montréal, Québec, July 1997.
J. H. Saltzer, D. P. Reed, and D. D. Clark, “End-TO-End Arguments in System Design,” ACM Transactions on Computer Systems, 2(4):277–288, November 1984.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Gao, G.R., Sarkar, V. (1997). On the importance of an end-to-end view of memory consistency in future computer systems. In: Polychronopoulos, C., Joe, K., Araki, K., Amamiya, M. (eds) High Performance Computing. ISHPC 1997. Lecture Notes in Computer Science, vol 1336. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0024201
Download citation
DOI: https://doi.org/10.1007/BFb0024201
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63766-0
Online ISBN: 978-3-540-69644-5
eBook Packages: Springer Book Archive