Visual-MCM: Visualising Execution Histories on Multiple Memory Consistency Models (1999) [1 citations — 1 self]
Download:
|
|
by Alba Cristina Melo, Simone Cintra Chagas
in Lecture Notes in Computer Science 1557
http://www.cic.unb.br/docentes/alba/model_visual.ps
Add To MetaCart
Abstract:
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. 1
Citations
| 801 | How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs – Lamport - 1979 |
| 137 | Pram: A scalable shared memory – Lipton, Sandberg - 1988 |
| 45 | On the complexity of event ordering for sharedmemory parallel program executions – Netzer, Miller - 1990 |
| 36 | Detecting data races on weak memory systems – Adve, Hill, et al. - 1991 |
| 17 | An overview of mermera: a system and formalism for non-coherent distributed parallel memory – Heddaya, Sinha - 1993 |
| 4 | Evaluating Weak Memories with Maya – Agrawal, Choy, et al. - 1994 |
| 2 | Larus J.: StormWatch: a Tool for Visualizing Memory – Chilimbi, Ball, et al. - 1995 |
| 1 | et al.: The Power of Processor Consistency – Ahamad - 1992 |
