A unified theory of shared memory consistency
暂无分享,去创建一个
[1] Rida A. Bazzi,et al. The power of processor consistency , 1993, SPAA '93.
[2] Alan L. Cox,et al. TreadMarks: shared memory computing on networks of workstations , 1996 .
[3] Brian N. Bershad,et al. The Midway distributed shared memory system , 1993, Digest of Papers. Compcon Spring.
[4] Gil Neiger,et al. Causal Memory , 1991, WDAG.
[5] Matteo Frigo,et al. The weakest reasonable memory model , 1998 .
[6] Vivek Sarkar,et al. Location Consistency-A New Memory Model and Cache Consistency Protocol , 2000, IEEE Trans. Computers.
[7] Alan L. Cox,et al. Lazy release consistency for software distributed shared memory , 1992, ISCA '92.
[8] Michel Dubois,et al. Memory access buffering in multiprocessors , 1998, ISCA '98.
[9] Sarita V. Adve,et al. Using speculative retirement and larger instruction windows to narrow the performance gap between memory consistency models , 1997, SPAA '97.
[10] Mark D. Hill,et al. A Unified Formalization of Four Shared-Memory Models , 1993, IEEE Trans. Parallel Distributed Syst..
[11] Mustaque Ahamad,et al. Slow memory: weakening consistency to enhance concurrency in distributed shared memories , 1990, Proceedings.,10th International Conference on Distributed Computing Systems.
[12] Guy L. Steele,et al. Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley)) , 2005 .
[13] Andrew S. Tanenbaum,et al. Distributed operating systems , 2009, CSUR.
[14] Willy Zwaenepoel,et al. Munin: distributed shared memory based on type-specific memory coherence , 1990, PPOPP '90.
[15] Vijay S. Pai,et al. The Interaction Of Software Prefetching With Ilp Processors In Shared-memory Systems , 1997, Conference Proceedings. The 24th Annual International Symposium on Computer Architecture.
[16] Matteo Frigo,et al. DAG-consistent distributed shared memory , 1996, Proceedings of International Conference on Parallel Processing.
[17] Maurice Herlihy,et al. Linearizability: a correctness condition for concurrent objects , 1990, TOPL.
[18] Kai Li,et al. Shared virtual memory on loosely coupled multiprocessors , 1986 .
[19] Anoop Gupta,et al. Memory consistency and event ordering in scalable shared-memory multiprocessors , 1990, [1990] Proceedings. The 17th Annual International Symposium on Computer Architecture.
[20] Tulika Mitra,et al. Specifying multithreaded Java semantics for program verification , 2002, ICSE '02.
[21] Dan Suciu,et al. Journal of the ACM , 2006 .
[22] William W. Collier,et al. Reasoning about parallel architectures , 1992 .
[23] Leslie Lamport,et al. Time, clocks, and the ordering of events in a distributed system , 1978, CACM.
[24] Anoop Gupta,et al. The directory-based cache coherence protocol for the DASH multiprocessor , 1990, ISCA '90.
[25] Jordi Bataller,et al. Adaptable Distributed Shared Memory: A Formal Definition , 1998, Euro-Par.
[26] Liviu Iftode,et al. Scope Consistency: A Bridge between Release Consistency and Entry Consistency , 1996, SPAA '96.
[27] Guy L. Steele,et al. The Java Language Specification , 1996 .
[28] Anoop Gupta,et al. The directory-based cache coherence protocol for the DASH multiprocessor , 1990, [1990] Proceedings. The 17th Annual International Symposium on Computer Architecture.
[29] Paul Hudak,et al. Memory coherence in shared virtual memory systems , 1989, TOCS.
[30] Sarita V. Adve,et al. Shared Memory Consistency Models: A Tutorial , 1996, Computer.
[31] T. N. Vijaykumar,et al. Is SC + ILP = RC? , 1999, ISCA.
[32] Leslie Lamport,et al. How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs , 2016, IEEE Transactions on Computers.
[33] James R. Goodman,et al. Cache Consistency and Sequential Consistency , 1991 .
[34] Anoop Gupta,et al. Memory consistency and event ordering in scalable shared-memory multiprocessors , 1990, ISCA '90.
[35] David Mosberger,et al. Memory consistency models , 1993, OPSR.
[36] Leslie Lamport,et al. Interprocess Communication , 2020, Practical System Programming with C.
[37] Brian N. Bershad,et al. Midway : shared memory parallel programming with entry consistency for distributed memory multiprocessors , 1991 .
[38] Jordi Bataller,et al. Synchronized DSM Models , 1997, Euro-Par.
[39] Willy Zwaenepoel,et al. Techniques for reducing consistency-related communication in distributed shared-memory systems , 1995, TOCS.
[40] Michel Dubois,et al. Memory Access Dependencies in Shared-Memory Multiprocessors , 1990, IEEE Trans. Software Eng..