Sciweavers

88 search results - page 2 / 18
» Fractal Coherence: Scalably Verifiable Cache Coherence
Sort
View
TPDS
2002
90views more  TPDS 2002»
13 years 5 months ago
Specifying and Verifying a Broadcast and a Multicast Snooping Cache Coherence Protocol
Daniel J. Sorin, Manoj Plakal, Anne Condon, Mark D...
SPAA
1998
ACM
13 years 9 months ago
Lamport Clocks: Verifying a Directory Cache-Coherence Protocol
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...
Manoj Plakal, Daniel J. Sorin, Anne Condon, Mark D...
IPPS
1992
IEEE
13 years 9 months ago
CCHIME: A Cache Coherent Hybrid Interconnected Memory Extension
This paper presents a hybrid shared memory architecture which combines the scalability of a multistage interconnection network with the contention reduction benefits of coherent c...
Matthew K. Farrens, Arvin Park, Allison Woodruff
MICRO
2010
IEEE
99views Hardware» more  MICRO 2010»
13 years 3 months ago
ScalableBulk: Scalable Cache Coherence for Atomic Blocks in a Lazy Environment
Recently-proposed architectures that continuously operate on atomic blocks of instructions (also called chunks) can boost the programmability and performance of shared-memory mult...
Xuehai Qian, Wonsun Ahn, Josep Torrellas
ICPADS
1994
IEEE
13 years 9 months ago
Delayed Precise Invalidation - A Software Cache Coherence Scheme
: Software cache coherence schemes are very desirable in the design of scalable multiprocessors and massively parallel processors. The authors propose a software cache coherence sc...
T.-S. Hwang, C.-P. Chung