Design Verification of the S3.mp Cache-Coherent Shared-Memory System

13 years 4 months ago

Download www.ri.cmu.edu

—This paper describes the methods used to formulate and validate the memory subsystem of the cache-coherent Sun Scalable emory MultiProcessor (S3.mp) at three levels of abstraction: the memory consistency model, the cache coherence protocol, and the implementation.

Fong Pong, Michael C. Browne, Gunes Aybay, Andreas

Real-time Traffic

Cache Coherence Protocol | Information Technology | Memory Consistency Model | Scalable Emory Multiprocessor | TC 1998 |

claim paper

» A LowCost Cache Coherence Verification Method for Snooping Systems

» EnergyEfficient Cache Coherence for Embedded MultiProcessor Systems through ApplicationDri...

» Lamport Clocks Verifying a Directory CacheCoherence Protocol

» Willow A Scalable Shared Memory Multiprocessor

» Verification of an Industrial CCNUMA Server

» Experience with a Language for Writing Coherence Protocols

» PRISM An Integrated Architecture for Scalable Shared Memory

» Active Memory Techniques for ccNUMA Multiprocessors

Post Info
More Details (n/a)

Added	23 Dec 2010
Updated	23 Dec 2010
Type	Journal
Year	1998
Where	TC
Authors	Fong Pong, Michael C. Browne, Gunes Aybay, Andreas Nowatzyk, Michel Dubois

Comments (0)

Sciweavers

Design Verification of the S3.mp Cache-Coherent Shared-Memory System

Cache Coherence Protocol | Information Technology | Memory Consistency Model | Scalable Emory Multiprocessor | TC 1998 |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers