Abstract
Memory accesses form a well understood paradigm for developing concurrent applications. Distributed Shared Memory systems, enable the creation of distributed applications based on shared memory accesses. A DSM system is characterized by the memory model it uses to perform memory accesses. There have been numerous models proposed over the years, and until recently there has been little attempt to provide a common formal framework to study their properties. DSM models can be roughly classified into synchronized (those which, in addition to usual read-write accesses, use special synchronization operations) and non-synchronized. In this paper we focus on the formalization of synchronized DSM models, extending a previous work on non-synchronized models.
This work has been supported in part by research grants TIC93-0304 and TIC96-0729
Chapter PDF
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
M. Ahamad, R. Bazzi, R. John, P. Kohli, and G. Neiger. The power of processor consistency. Technical Report GIT-CC-92/34, College of Computing, Georgia Institute of Technology, December 1992.
M. Ahamad, J.E. Burns, G. Neiger, and P. Kohli. Causal memory: Definitions, implementation and programming. Technical Report GIT-CC-93/55, College of Computing, Georgia Institute of Technology, September 1993.
J. Bataller and J. Bernabeu. Building adaptable dsm systems. Technical Report II-DSIC-17/97, Dep. de Sistemas Informaticos y Computacion (DSIC), Polytechnic University of Valencia (Spain), 1997.
J. Bataller and J. Bernabeu. Characterizations of shared memory coherence. Technical Report II-DSIC-4/97, Dep. de Sistemas Informaticos y Computacion (DSIC), Polytechnic University of Valencia (Spain), January 1997.
J. Bataller and J. Bernabeu. Distributed causal memory algorithms. Technical Report II-DSIC-5/97, Dep. de Sistemas Informaticos y Computacion (DSIC), Polytechnic University of Valencia (Spain), 1997.
J.M. Bernabéu-Aubán and V. Cholvi-Juan. Formalizing memory coherency models. Journal of Computing and Information, 1(1):653–672, May 1994.
B.N. Bershad and M.J. Zekauskas. Midway: Shared memory parallel programming with entry consistency for distributed memory multiprocessors. Technical Report CMU-CS-91-170, Carnegie-Mellon University, September 1991.
J. B. Carter, J. K. Bennett, and W. Zwaenepoel. Techniques for reducing consistency-related communication in distributed shared memory systems. ACM Transactions on Computer Systems, 13(3):205–243, August 1995.
V. Cholvi-Juan. Formalizing Memory Models. PhD thesis, Department of Computer Science, Polytechnic University of Valencia (Spain), December 1994. In Spanish.
V. Cholvi-Juan and J. Bernabeu Auban. Correctness proof for a distributed memory system. In Europar'96, pages 526–532, August 1996.
M. Dubois and C. Scheurich. Memory access dependencies in shared-memory multiprocessors. IEEE Transactions on Software Engineering, 16(6):660–674, June 1990.
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 17th Annual International Symposium on Computer Architecture, pages 15–26. IEEE, April 1990.
L. Iftode, J.P. Singh, and K. Li. Scope consistency: A bridge between release consistency and entry consistency. Technical report, Dept. of Computer Science, Princeton Univ., 1996.
P. Kohli, G. Neiger, and M. Ahamad. A characterization of scalable shared memories. Technical Report CIT-CC-93/04, College of Computing, Georgia Institute of Technology, January 1993.
N. Lynch. I/O Automata: A model for discrete event system. Technical Report MIT/LCS/TM-351, Laboratory for Computer Science, Massachusetts Institute of Tecnology, March 1988.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bataller, J., Bernabeu, J. (1997). Synchronized DSM models. In: Lengauer, C., Griebl, M., Gorlatch, S. (eds) Euro-Par'97 Parallel Processing. Euro-Par 1997. Lecture Notes in Computer Science, vol 1300. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0002771
Download citation
DOI: https://doi.org/10.1007/BFb0002771
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63440-9
Online ISBN: 978-3-540-69549-3
eBook Packages: Springer Book Archive