Weak Ordering - A New Definition (1990)

Cached

Download Links

by Sarita Adve , Mark D. Hill
Venue:In Proceedings of the 17th Annual International Symposium on Computer Architecture
Citations:225 - 13 self

Active Bibliography

7 Weak Ordering - A New Definition And Some Implications – Sarita V. Adve, Mark D. Hill - 1989
56 Designing Memory Consistency Models for Shared-Memory Multiprocessors – Sarita V. Adve - 1993
14 Concurrency Control in Asynchronous Computations – Carolyn Craig Williams - 1993
110 A Unified Formalization of Four Shared-Memory Models – Sarita Adve, Mark D. Hill - 1993
22 Implementing Sequential Consistency In Cache-Based Systems – Sarita V. Adve, Mark D. Hill - 1990
A Survey of Verification Techniques for Cache Coherence Protocols – Fong Pong, Michel Dubois - 1996
38 Verification Techniques for Cache Coherence Protocols. – Fong Pong, Michel Dubois - 1997
7 Relaxed Consistency and Synchronization in Parallel Processors – Richard N. Zucker - 1992
11 Formal Verification of Complex Coherence Protocols Using Symbolic State Models – Fong Pong, Michel Dubois - 1995
3 A Decentralized Hierarchical Cache-Consistency Scheme For Shared-Memory Multiprocessors – Keith I. Farkas - 1991
65 Memory Consistency Models for Shared-Memory Multiprocessors – Kourosh Gharachorloo - 1995
A Retrospective on "Weak Ordering -- A New Definition" – Sarita V. Adve, Mark D. Hill - 1998
Sun Microsystems – Michel Dubois, Christoph Scheurich, Fayc A. Brigs
9 Sufficient Conditions for Implementing the Data-Race-Free-1 Memory Model – Sarita Adve, Mark D. Hill - 1992
156 Performance Evaluation of Memory Consistency Models for Shared-Memory Multiprocessors – Kourosh Gharachorloo, et al.
39 Race-free Interconnection Networks and Multiprocessor Consistency – Anders Landin, Anders L, Erik Hagersten, Seif Haridi - 1991
47 Programming for Different Memory Consistency Models – Kourosh Gharachorloo , Sarita V. Adve, Anoop Gupta, John L. Hennessy, Mark D. Hill - 1992
653 Memory Consistency and Event Ordering in Scalable Shared-Memory Multiprocessors – Kourosh Gharachorloo, Daniel Lenoski, James Laudon, Phillip Gibbons, Anoop Gupta, John Hennessy - 1990
1 A Distributed Directory Based Cache Coherence Scheme – Sameer Gupta - 1994