Obtaining possible execution histories on multiple memory consistency models
暂无分享,去创建一个
Alba Cristina Magalhaes Alves de Melo | Diego F. Aranha | Hammurabi das Chagas Mendes | Nilo S. B. Silva
[1] David Mosberger,et al. Memory consistency models , 1993, OPSR.
[3] Himanshu Sinha,et al. An Implementation of Mermera: A Shared Memory System that Mixes Coherence with Non-coherence , 1993 .
[4] Eike Best,et al. Semantics of sequential and parallel programs , 1996, Prentice Hall International series in computer science.
[5] Frank Ruskey,et al. Generating Linear Extensions Fast , 1994, SIAM J. Comput..
[6] Barton P. Miller,et al. On the Complexity of Event Ordering for Shared-Memory Parallel Program Executions , 1990, ICPP.
[7] Liviu Iftode,et al. Scope Consistency: A Bridge between Release Consistency and Entry Consistency , 1996, SPAA '96.
[8] Anoop Gupta,et al. Memory consistency and event ordering in scalable shared-memory multiprocessors , 1990, ISCA '90.
[9] Shaz Qadeer,et al. Verifying Sequential Consistency on Shared-Memory Multiprocessors by Model Checking , 2001, IEEE Trans. Parallel Distributed Syst..
[10] Alba Cristina Magalhaes Alves de Melo. Defining Uniform and Hybrid Memory Consistency Models on a Unified Framework , 1999, HICSS.
[11] Mikko H. Lipasti,et al. The complexity of verifying memory coherence and consistency , 2005, IEEE Transactions on Parallel and Distributed Systems.
[12] Leslie Lamport,et al. How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs , 2016, IEEE Transactions on Computers.