Consistency Models

Adve and Hill 1990a

Adve, S.~V. and Hill, M.~D. Implementing Sequential Consistency in Cache-Based Systems. In Proc. of the 1990 Int'l Conf. on Parallel Processing (ICPP'90), pages 47--50, 1990.

Adve and Hill 1990b

Adve, S.~V. and Hill, M.~D. Weak Ordering---A New Definition. In Proc. of the 17th Annual Int'l Symp. on Computer Architecture (ISCA'90), pages 2--14, May 1990.

Adve and Hill 1993

Adve, S.~V. and Hill, M.~D. A Unified Formalization of Four Shared-Memory Models. IEEE Trans. on Parallel and Distributed Systems, 4(6):613--624, June 1993. This paper is also available online as University of Wisconsin-Madison, Computer Science Department technical report TR # 1051 .

Adve et al. 1991

Adve, S.~V. et~al. Detecting Data Races on Weak Memory Systems. In Proc. of the 18th Annual Int'l Symp. on Computer Architecture (ISCA'91), pages 234--243, May 1991.

Adve 1993

Adve, S.~V. Designing Memory Consistency Models for Shared-Memory Multiprocessors. PhD thesis, Computer Sciences Department, University of Wisconsin-Madison, December 1993. This PhD thesis is available online.

Afek et al. 1993

Afek, Y., Brown, G., and Merritt, M. Lazy Caching. ACM Trans. on Programming Languages and Systems, 15(1):182--205, January 1993.

Agrawal et al. 1994

Agrawal, D. et~al. Mixed Consistency: A Model for Parallel Programming. In Proc. of the 13th ACM Symp. on Principles of Distributed Computing (PODC'94), August 1994.

Ahamad et al. 1991

Ahamad, M. et~al. Casual Memory. In Proc. of the 5th Int'l Workshop on Distributed Algorithms (IWDAG'91), pages 9--30, October 1991.

Ahamad et al. 1993

Ahamad, M. et~al. The Power of Processor Consistency. In Proc. of the 5th ACM Symp. on Parallel Algorithms and Architectures (SPAA'93), 1993. This paper is also available online as Georgia Institute of Technology, College of Computing technical report GIT-CC-92/34 .

Ahamad et al. 1994

Ahamad, M. et~al. Casual Memory Meets the Consistency and Performance Needs of Distributed Applications! In Proc. of the 6th ACM SIGOPS European Workshop, September 1994.

Ahamad et al. 1995

Ahamad, M. et~al. Casual Memory: Definitions, Implementation and Programming. Distributed Computing, 9:37--49, 1995. An earlier version of this paper is available online as a technical report.

Amaral et al. 1992

Amaral, P., Jacquemot, C., and Lea, R. A Model for Persistent Shared Memory Addressing in Distributed Systems. In Proc. of the Second Int'l Workshop on Object Orientation in Operating Systems (IWOOOS'92), pages 2--12, September 1992.

Attiya and Welch 1994

Attiya, H. and Welch, J.~L. Sequential Consistency versus Linearizability. ACM Trans. on Computer Systems, 12(2):91--122, May 1994.

Bernabeu-Auban and Cholvi-Juan 1994

Bernabeu-Auban, J.~M. and Cholvi-Juan, V. Formalizing Memory Coherence Models. In Proc. of the 6th Int'l Conf. on Computing and Information (ICCI'94), May 1994.

Bitar 1992

Bitar, P. The Weakest Memory-Access Order. Journal of Parallel and Distributed Computing, 15:305--331, 1992.

Borrmann and Herdieckerhoff 1990

Borrmann, L. and Herdieckerhoff, M. A Coherency Model for Virtually Shared Memory. In Proc. of the 1990 Int'l Conf. on Parallel Processing (ICPP'90), volume~II, pages 252--257, August 1990.

Borrmann and Istavrinos 1991

Borrmann, L. and Istavrinos, . Store Coherency in a Parallel Distributed-Memory Machine. In Proc. of the 2nd European Distributed Memory Computer Conf. (EDMCC2), pages 32--41, April 1991.

Carter et al. 1995

Carter, J.~B., Bennett, J.~K., and Zwaenepoel, W. Techniques for Reducing Consistency-Related Communication in Distributed Shared Memory Systems. ACM Transactions on Computer Systems, 13(3):205--243, August 1995.

Carter 1993

Carter, J.~B. Efficient Distributed Shared Memory Based on Multi-Protocol Release Consistency. PhD thesis, Department of Computer Science, Rice University, September 1993.

Cholvi-Juan and Bernabeu-Auban 1994

Cholvi-Juan, V. and Bernabeu-Auban, J.~M. A Memory Management System that Provides N-Mixed Coherency. In Proc. of the IEEE/USP Int'l Workshop on High Performance Computing, March 1994.

Dubois and Scheurich 1990

Dubois, M. and Scheurich, C. Memory Access Dependencies in Shared-Memory Multiprocessors. IEEE Transactions on Software Engineering, 16(6):660--673, June 1990.

Dubois et al. 1986

Dubois, M., Scheurich, C., and Briggs, F.~A. Memory Access Buffering in Multiprocessors. In Proc. of the 13th Annual Int'l Symp. on Computer Architecture (ISCA'86), pages 434--442, June 1986.

Dubois et al. 1988

Dubois, M., Scheurich, C., and Briggs, F. Synchronization, Coherence and Event Ordering in Multiprocessors. IEEE Computer, 21(2):9--21, February 1988.

Dubois et al. 1991

Dubois, M. et~al. Delayed Consistency and Its Effects on the Miss Rate of Parallel Programs. In Proc. of Supercomputing'91, November 1991.

Dubois 1991

Dubois, M. Delayed Consistency. In Dubois, M. and Thakkar, S., editors, Scalable Shared Memory Multiprocessors, pages 207--218. Kluwer Academic Publishers, 1991.

Fortune and Wyllie 1978

Fortune, S. and Wyllie, J. Parallelism in Random Access Memories. In Proc. of the 10th ACM Symp. on the Theory of Computing, 1978.

Gharachorloo and Gibbons 1991

Gharachorloo, K. and Gibbons, P. Detecting Violations of Sequential Consistency. In Proc. of the 3rd ACM Symp. on Parallel Algorithms and Architectures (SPAA'91), July 1991.

Gharachorloo et al. 1992

Gharachorloo, K. et~al. Programming for Different Memory Consistency Models. Journal of Parallel and Distributed Computing, 15(4):339--407, August 1992.

Gharachorloo et al. 1993

Gharachorloo, K., Gupta, A., and Hennessy, J.~L. Revision to ``Memory Consistency and Event Ordering in Scalable Shared-Memory Multiprocessors''. Technical Report CSL-TR-93-568, Computer Systems Laboratory, Stanford University, April 1993.

Gibbons et al. 1991

Gibbons, P.~B., Merritt, M., and Gharachorloo, K. Proving Sequential Consistency of High-Performance Shared Memories (Extended Abstract). In Proc. of the 3rd ACM Symp. on Parallel Algorithms and Architectures (SPAA'91), pages 292--303, July 1991.

Gibbons 1989

Gibbons, P.~B. A More Practical PRAM Model. In Proc. of the 1st ACM Symp. on Parallel Algorithms and Architectures (SPAA'89), pages 158--168, June 1989.

Gibbons 1993

Gibbons, A.~M. An Introduction to Distributed Memory Models of Computation. In Gibbons, A.~M. and Spirakis, P.~G., editors, Lectures on Parallel Computation, pages 197--226. Cambridge University Press, Cambridge, U.K., 1993.

Goodman 1989

Goodman, J.~R. Cache Consistency and Sequential Consistency. Technical Report~61, IEEE Scalable Coherence Interface Working Group, March 1989. This technical report is available online.

Guerraoui et al. 1994

Guerraoui, R., Garbinato, B., and Mazouni, K.~R. The GARF Library of DSM Consistency Models. In Proc. of the 6th ACM SIGOPS European Workshop, September 1994.

Heddaya and Sinha 1992

Heddaya, A. and Sinha, H. Coherence, Non-coherence and Local Consistency in Distributed Shared Memory for Parallel Computing. Technical Report BU-CS-92-004, Computer Science Department, Boston University, May 1992.

Herlihy and Wing 1990

Herlihy, M.~P. and Wing, J.~M. Linearizability: A Correctness Condition for Concurrent Objects. ACM Trans. on Programming Languages and Systems, 12(3):463--492, July 1990.

Hutto and Ahamad 1990

Hutto, P.~W. and Ahamad, M. Slow Memory: Weakening Consistency to Enhance Concurrency in Distributed Shared Memories. In Proc. of the 10th Int'l Conf. on Distributed Computing Systems (ICDCS-10), pages 302--311, May 1990.

Istavrinos and Borrmann 1990

Istavrinos, P. and Borrmann, L. A Process and Memory Model for Parallel Distributed-Memory Machine. In Proc. of the 1st Joint Int'l Conf. on Vector and Parallel Processing (CONPAR'90), September 1990.

Kazimierczak and Andersen 1995

Kazimierczak, C.~K. and Andersen, B. Object Consistency: A New Model for Distributed Memory Systems. In Proc. of the Fifth Int'l Workshop on Object Orientation in Operating Systems (IWOOOS'95), August 1995.

Keleher et al. 1992

Keleher, P., Cox, A.~L., and Zwaenepoel, W. Lazy Release Consistency for Software Distributed Shared Memory. In Proc. of the 18th Annual Int'l Symp. on Computer Architecture (ISCA'92), pages 13--21, May 1992.

Kohli et al. 1993

Kohli, P., Neiger, G., and Ahamad, M. A Characterization of Scalable Shared Memories. In Proc. of the 1993 Int'l Conf. on Parallel Processing (ICCP'93), August 1993. This paper is also available online as Georgia Institute of Technology, College of Computing technical report GIT-CC-93/04 .

Kontothanassis and Scott

Kontothanassis, L.~I. and Scott, M.~L. High Performance Software Coherence for Current and Future Architectures. To appear in Journal of Parallel and Distributed Computing.

Kontothanassis and Scott 1995a

Kontothanassis, L.~I. and Scott, M.~L. Distributed Shared Memory for New Generation Networks. Technical Report TR-578, Dept. of Computer Science, The University of Rochester, March 1995. This technical report is available online.

Kontothanassis and Scott 1995b

Kontothanassis, L.~I. and Scott, M.~L. Software Cache Coherence for Large Scale Multiprocessors. In Proc. of the 1st IEEE Symp. on High-Performance Computer Architecture (HPCA-1), pages 286--295, January 1995. This technical report is available online.

Kontothanassis et al. 1995

Kontothanassis, L.~I., Scott, M.~L., and Bianchini, R. Lazy Release Consistency for Hardware-Coherent Multiprocessors. In Proc. of Supercomputing'95, December 1995. a Technical report version of this paper is available online.

Lamport 1979

Lamport, L. How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs. IEEE Transactions on Computers, C-28(9):690--691, September 1979.

Larus et al. 1993

Larus, J.~R., Chandra, S., and Wood, D.~A. CICO: A Practical Shared-Memory Programming Performance Model. In Ferrente and Hey, editors, Portability and Performance for Parallel Processors. John Wiley & Sons, Ltd., 1993. This technical report is available online.

Lipton and Sandberg 1988

Lipton, R.~J. and Sandberg, J.~S. PRAM: A Scalable Shared Memory. Technical Report CS-TR-180-88, Dept. of Computer Science, Princeton University, September 1988.

Lipton and Serpanos 1990

Lipton, R.~J. and Serpanos, D.~N. Uniform-Cost Communications in Scalable Multiprocessors. In Proc. of the 1990 Int'l Conf. on Parallel Processing (ICPP'90), pages 429--432, August 1990.

Mizuno et al. 1992

Mizuno, M. et~al. Communication Efficient Distributed Shared Memories. Technical Report RR-691, IRISA, France, December 1992.

Mizuno et al. 1994

Mizuno, M. et~al. An Efficient Implementation of Sequentially Consistent Distributed Shared Memories. In Proc. of the IFIP WG10.3 Int'l Conf. on Applications of Parallel and Distributed Computing, April 1994. This paper is also available online as INRIA Research Report No. RR-2085 .

Mizuno et al. 1995

Mizuno, M., Raynal, M., and Zhou, J.~Z. Sequential Consistency in Distributed Systems: Theory and Implementation. Technical Report RR-2347, INRIA, France, March 1995.

Mosberger 1993

Mosberger, D. Memory Consistency Models. ACM Operating Systems Review, 27(1):18--26, January 1993.

Petersen and Li 1993

Petersen, K. and Li, K. Cache Coherence for Shared Memory Multiprocessors Based on Virtual Memory Support. In Proc. of the 7th Int'l Parallel Processing Symp. (IPPS'93), April 1993. This paper is also available online as Princeton University, Computer Science Department technical report .

Ranade 1987

Ranade, A.~G. How to Emulate Shared Memory. In Proc. of the 28th IEEE Symp. on Foundations of Computer Science, pages 185--194, 1987.

Ravindran and Shah 1994

Ravindran, K. and Shah, K. Causal Broadcasting and Consistency of Distributed Shared Data. In Proc. of the 14th Int'l Conf. on Distributed Computing Systems (ICDCS-14), pages 40--47, June 1994.

Raynal and Mizuno 1993

Raynal, M. and Mizuno, M. How to find his way in the jungle of consistency criteria for distributed shared memories (or how to escape from Minos' labyrinth). In Proc. of the 4th IEEE Workshop on Future Trends of Distributed Computing Systems, pages 340--346, 1993.

Raynal and Schiper 1995

Raynal, M. and Schiper, A. From Casual Consistency to Sequential Consistency in Shared Memory Systems. Technical Report 926, IRISA, France, May 1995. This report is also available online as IRISA Publication No. PI929 .

Sandberg 1990

Sandberg, J. Design of the PRAM Network. Technical Report CS-TR-254-90, Dept. of Computer Science, Princeton University, April 1990.

Saulsbury 1995

Saulsbury, A. Simple Delayed Release Consistency. In Proc. of the Fifth Workshop on Scalable Shared Memory Multiprocessors, June 1995.

Shah et al. 1995

Shah, G. et~al. Architectural Mechanisms for Explicit Communication in Shared Memory Multiprocessors. In Proc. of Supercomputing'95, December 1995.

Sinha 1993

Sinha, H.~S. Non-Coherent Distributed Shared Memory for Parallel Computing. PhD thesis, Department of Computer Science, Boston University, May 1993. This PhD thesis is available online.

Zhou et al. 1993

Zhou, J.~Z., Mizuno, M., and Singh, G. A Sequentially Consistent Distributed Shared Memory. In Proc. of the 5th Int'l Conf. on Computing and Information (ICCI'93), pages 165--169, May 1993.

Zucker 1992

Zucker, R.~N. Relaxed Consistency and Synchronization in Parallel Processors. PhD thesis, Department of Computer Science and Engineering, University of Washington, December 1992.