Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol (2000)

by Daniel J. Sorin , Manoj Plakal , Anne E. Condon , Mark D. Hill , Milo M. K. Martin , Student Member , Student Member , Student Member , David A. Wood
Venue:IEEE Transactions on Parallel and Distributed Systems
Citations:26 - 10 self

Documents Related by Co-Citation

70 Starfire: Extending the SMP Envelope – Alan Charlesworth, Sun Microsystems - 1998
958 The SPLASH-2 programs: Characterization and methodological considerations – Steven Cameron Woo, Moriyoshi Ohara, Evan Torrie, Jaswinder Pal Singh, Anoop Gupta - 1995
86 Token Coherence: Decoupling Performance and Correctness – Milo M. K. Martin, Mark D. Hill, David A Wood - 2003
409 The SGI Origin: A ccNUMA Highly Scalable Server – J Laudon, D Lenoski - 1997
49 Architecture and Design of AlphaServer GS320 – K Gharachorloo, M Sharma, S Steely, S V Doren - 2000
23 Timestamp snooping: An approach for extending SMPs – Milo M. K. Martin, Daniel J. Sorin, Anastassia Ailamaki, Alaa R. Alameldeen, Ross M. Dickson, Carl J. Mauer, Kevin E. Moore, Manoj Plakal, Mark D. Hill, David A. Wood - 2000
79 A class of compatible cache consistency protocols and their support by the – P Sweazey, A J Smith - 1986
64 The Alpha 21364 network architecture – S S Mukherjee, P Bannon, S Lang, A Spink, D Webb - 2002
25 Tightly Coupled Multiprocessor System Speeds Memory -access – S J Frank - 1984
479 Parallel Computer Architecture: A Hardware/Software Approach – D E Culler, J P Singh - 1999
40 Lamport Clocks: Verifying a Directory Cache-Coherence Protocol – Manoj Plakal, Daniel J. Sorin, Anne E. Condon, Mark D. Hill - 1998
40 Multicast snooping: a new coherence method using a multicast address network – E. Ender Bilir, Ross M. Dickson, Ying Hu, Manoj Plakal, Daniel J. Sorin, Mark D. Hill, David A. Wood - 1999
56 Full-System Timing-First Simulation – Carl J. Mauer, Mark D. Hill, David A. Wood - 2002
329 The DirectoryBased Cache Coherence Protocol for the DASH Multiprocessor – D Lenoski, J Laudon, K Gharachorloo, A Gupta, J Hennessy - 1990
91 Cache Invalidation Patterns in Shared-Memory Multiprocessors – A Gupta, W-D Weber - 1992
141 STiNG: A CC-NUMA Computer System for the Commercial Marketplace – Tom Lovett - 1996
17 Dynamic Verification of Cache Coherence Protocols – Jason F. Cantin , Mikko H. Lipasti, James E. Smith - 2001
201 Memory System Characterization of Commercial Workloads – Luiz André Barroso, Kourosh Gharachorloo, Edouard Bugnion - 1998
217 Protocol Verification as a Hardware Design Aid – David L. Dill , Andreas J. Drexler, Alan J. Hu, C. Han Yang - 1992