Adaptable distributed shared memory: A formal definition
In this paper we introduce a new model of consistency for distributed shared memory called Mume. It offers only the essentials to be considered as a shared memory system. This allows an efficient implementation on a message passing system, and due to this, it can be used to emulate other memory models.
Unable to display preview. Download preview PDF.
- 1.J. Bataller and J. Bernabeu. Constructive and adaptable distributed shared memory. In Proc. of the 3rd Int’l Workshop on High-Level Parallel Programming Models and Supportive Environments, pages 15–22, March 1998.Google Scholar
- 2.J. Bataller and J. Bernabeu-Auban. An adaptable dsm model: a formal description. Technical Report II-DSIC-17/97, Dep. de Sistemes Informatics i Computacio (DSIC), Universitat Politecnica de Valencia (Spain), 1997.Google Scholar
- 3.J. Bataller and J. Bernabeu-Auban. Synchronized DSM models. In Europar’97. Third Intl. Conf. on Parallel Processing, Lecture notes on computer science, pages 468–475. Springer-Verlag, August 1997.Google Scholar
- 5.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.Google Scholar