Weak Ordering -- A New Definition (1990)

by Sarita V. Adve , Mark D. Hill
Citations:213 - 12 self

Active Bibliography

8 Weak Ordering - A New Definition And Some Implications – Sarita V. Adve, Mark D. Hill - 1989
51 Designing Memory Consistency Models for Shared-Memory Multiprocessors – Sarita V. Adve - 1993
14 Concurrency Control in Asynchronous Computations – Carolyn Craig Williams - 1993
105 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
34 Verification Techniques for Cache Coherence Protocols. – Fong Pong, Michel Dubois - 1997
A Survey of Verification Techniques for Cache Coherence Protocols – Fong Pong, Michel Dubois - 1996
5 Relaxed Consistency and Synchronization in Parallel Processors – Richard N. Zucker, Richard N. Zucker, 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
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
147 Performance Evaluation of Memory Consistency Models for Shared-Memory Multiprocessors – Kourosh Gharachorloo, et al.
34 Race-free Interconnection Networks and Multiprocessor Consistency – Anders Landin, Anders L, Erik Hagersten, Seif Haridi - 1991
61 Memory Consistency Models for Shared-Memory Multiprocessors – Kourosh Gharachorloo - 1995
628 Memory Consistency and Event Ordering in Scalable Shared-Memory Multiprocessors – Kourosh Gharachorloo, Daniel Lenoski, James Laudon, Phillip Gibbons, Anoop Gupta, John Hennessy - 1990
43 Programming for Different Memory Consistency Models – Kourosh Gharachorloo , Sarita V. Adve, Anoop Gupta, John L. Hennessy, Mark D. Hill - 1992
1 A Distributed Directory Based Cache Coherence Scheme – Sameer Gupta - 1994