Adaptable distributed shared memory: A formal definition

  • Jordi Bataller
  • José M. Bernabéu-Aubán
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1470)


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.

Unable to display preview. Download preview PDF.


  1. 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. 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. 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
  4. 4.
    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.CrossRefGoogle Scholar
  5. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Jordi Bataller
    • 1
  • José M. Bernabéu-Aubán
    • 1
  1. 1.Dept. de Sistemes Informatics i ComputacióUniversitat Politècnica de ValènciaSpain

Personalised recommendations