Visual-MCM: Visualising execution histories on multiple memory consistency models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1557, Issue , 1999, Pages 500-509

  Melo, Alba Cristina ^a   Chagas, Simone Cintra ^a  

^a UNIVERSITY OF BRASILIA   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

IMAGE PROCESSING; MEMORY ARCHITECTURE; SEMANTICS;

DISTRIBUTED SHARED MEMORY SYSTEMS; EXECUTION HISTORY; FORMAL DEFINITION; MEMORY CONSISTENCY MODELS; MEMORY MODELING; MEMORY MODELS;

VIDEO SIGNAL PROCESSING;

EID: 22444453252     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49164-3_48     Document Type: Conference Paper

References (9)

1. Ahamad, M. et al.: The Power of Processor Consistency. Technical Report GIT-CC-92/34, GIT (1992) 21 pages.
2. 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.
3. Adve S., Hill M., Miller B., Netzer H.: Detecting Data Races on Weak Memory Systems. In Proceedings of the 18th ISCA (1991) 234-243.
4. Balaniuk A.: Multiple Memory Consistency Models on a SVM Parallel Programming Environment. In Proceedings of the Int. Conf. OPODIS'97 (1997) 249-260.
5. Chilimbi T., Ball T., Eick S., Larus J.: StormWatch: a Tool for Visualizing Memory System Protocols. Supercomputing'95 (1995).
6. Lamport L.: How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs. IEEE Transactions on Computers (1979) 690-691.
7. Lipton, R. J. and Sandberg, J. S.: PRAM: A Scalable Shared Memory. Technical Report CS-TR-180-88, Princeton University, (1988).
8. 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).
9. Heddaya A., Sinha H.: An Overview of Mermera: a System Formalism for NonCoherent Distributed Parallel Memory. Technical report BU-CS-92-009, Boston University, (1992), 21 pages.