A Correctness Condition for High-Performance Multiprocessors (Extended Abstract) (1992)

Cached

Download Links

by Hagit Attiya , Roy Friedman
Citations:63 - 7 self

Active Bibliography

56 Designing Memory Consistency Models for Shared-Memory Multiprocessors – Sarita V. Adve - 1993
110 A Unified Formalization of Four Shared-Memory Models – Sarita Adve, Mark D. Hill - 1993
101 Sequential Consistency versus Linearizability – Hagit Attiya, Jennifer L. Welch - 1994
7 Using Virtual Synchrony to Develop Efficient Fault Tolerant Distributed Shared Memories – Roy Friedman - 1995
14 Concurrency Control in Asynchronous Computations – Carolyn Craig Williams - 1993
1 Implementing and Programming Weakly Consistent Memories – Ranjit John, Gil Neiger, Umakishore Ramachandran, Karsten Schwan, Divyakant Agrawal - 1995
47 Programming for Different Memory Consistency Models – Kourosh Gharachorloo , Sarita V. Adve, Anoop Gupta, John L. Hennessy, Mark D. Hill - 1992
A Survey of Verification Techniques for Cache Coherence Protocols – Fong Pong, Michel Dubois - 1996
11 Programming DEC-Alpha Based Multiprocessors The Easy Way – Hagit Attiya, Roy Friedman - 1990
2 Shared Regions: A strategy for efficient cache management in shared-memory multiprocessors – Harjinder Singh Sandhu - 1995
9 Region-Oriented Main Memory Management in Shared-Memory NUMA Multiprocessors – Benjamin Gamsa - 1992
Distributed Mutual Exclusion and Thread . . . – Federico Meza Montoya - 2007
27 Implementing Sequentially Consistent Shared Objects using Broadcast and Point-To-Point Communication – Alan Fekete, M. Frans Kaashoek, Nancy Lynch, M. Frans, Kaashoekz Nancy Lynchz - 1998
95 Causal Memory: Definitions, Implementation and Programming – Mustaque Ahamad, Gil Neiger, James E. Burns, Prince Kohli, P.W. Hutto - 1994
Formalizing Memory Coherency Models – Jos'e Bernab'eu-Aub'an Vicente, Vicente Cholvi-juan - 1994
63 Efficient Distributed Shared Memory Based On Multi-Protocol Release Consistency – John B. Carter - 1994
65 Memory Consistency Models for Shared-Memory Multiprocessors – Kourosh Gharachorloo - 1995
9 Critical Sections and Producer/Consumer Queues in Weak Memory Systems – Lisa Higham, Jalal Kawash - 1997
27 A Unified Theory of Shared Memory Consistency – Robert C. Steinke, Gary J. Nutt - 2004