Abstract
The behaviour of Distributed Shared Memory Systems is dictated by the memory consistency model. In order to provide a better understanding on the semantics of the memory models, many researchers have proposed formalisms to define them. Even with formal definitions, it is still difficult to say what kind of execution histories can be produced on a particular memory model. In this paper, we propose Visual-MCM, a visualisation tool that shows what operations orderings could lead to user-defined execution histories on different memory models. We also present a prototype of Visual-MCM that analyses execution histories for two different memory consistency models.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ahamad, M. et al.: The Power of Processor Consistency. Technical Report GIT-CC-92/34, GIT (1992) 21 pages
Agrawal D., Choy M., Leong H., Singh A.: Evaluating Weak Memories with Maya. In Proceedings of the 8th Workshop on Parallel and Distributed Simulation (1994) 151–155
Adve S., Hill M., Miller B., Netzer H.: Detecting Data Races on Weak Memory Systems. In Proceedings of the 18th ISCA (1991) 234–243.
Balaniuk A.: Multiple Memory Consistency Models on a SVM Parallel Programming Environment. In Proceedings of the Int. Conf. OPODIS’97 (1997) 249–260.
Chilimbi T., Ball T., Eick S., Larus J.: StormWatch: a Tool for Visualizing Memory System Protocols. Supercomputing’95 (1995).
Lamport L.: How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs. IEEE Transactions on Computers (1979) 690–691.
Lipton, R. J. and Sandberg, J. S.: PRAM: A Scalable Shared Memory. Technical Report CS-TR-180-88, Princeton University, (1988).
Netzer R., Miller B.: On the Complexity of Event Ordering for Shared-Memory Parallel Program Executions. Technical Report TR-908, University of Wisconsin-Madison, (1990).
Heddaya A., Sinha H.: An Overview of Mermera: a System Formalism for Non-Coherent Distributed Parallel Memory. Technical report BU-CS-92-009, Boston University, (1992), 21 pages.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Melo, A.C., Chagas, S.C. (1999). Visual-MCM: Visualising Execution Histories on Multiple Memory Consistency Models. In: Zinterhof, P., Vajteršic, M., Uhl, A. (eds) Parallel Computation. ACPC 1999. Lecture Notes in Computer Science, vol 1557. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49164-3_48
Download citation
DOI: https://doi.org/10.1007/3-540-49164-3_48
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65641-8
Online ISBN: 978-3-540-49164-4
eBook Packages: Springer Book Archive