Sciweavers

25 search results - page 1 / 5
» Lazy Caching in TLA
Sort
View
DC
1999
13 years 5 months ago
Lazy Caching in TLA
Peter B. Ladkin, Leslie Lamport, Bryan Olivier, De...
ACTA
2006
108views more  ACTA 2006»
13 years 5 months ago
Refinement verification of the lazy caching algorithm
The lazy caching algorithm of Afek, Brown, and Merrit (1993) is a protocol that allows the use of local caches with delayed updates. It results in a memory model that is not atomi...
Wim H. Hesselink
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
PSC
1992
13 years 9 months ago
A Message Passing Implementation of Lazy Task Creation
Abstract. This paper describes an implementation technique for Multilisp's future construct aimed at large shared-memory multiprocessors. The technique is a variant of lazy ta...
Marc Feeley
ICS
1995
Tsinghua U.
13 years 8 months ago
A Data Cache with Multiple Caching Strategies Tuned to Different Types of Locality
Current data cache organizations fail to deliver high performance in scalar processors for many vector applications. There are two main reasons for this loss of performance: the u...
Antonio González, Carlos Aliagas, Mateo Val...