31 search results - page 1 / 7 » Memory Consistency and Process Coordination for SPARC Multip... |
HIPC
2000
Springer
13 years 8 months ago
2000
Springer
Abstract. Simple and unified non-operational specifications of the three memory consistency models Total Store Ordering (TSO), Partial Store Ordering (PSO), and Relaxed Memory Orde...
WDAG
1998
Springer
13 years 8 months ago
1998
Springer
ISCA
2007
IEEE
13 years 10 months ago
2007
IEEE
Store misses cause significant delays in shared-memory multiprocessors because of limited store buffering and ordering constraints required for proper synchronization. Today, prog...
HPCA
1999
IEEE
13 years 8 months ago
1999
IEEE
Cache coherence protocols of current shared-memory multiprocessors are difficult to verify. Our previous work proposed an extension of Lamport's logical clocks for showing th...
EDCC
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. The A3M project aimed to define basic building blocks of a middleware meeting both dependability and real-time requirements for a wide range of space systems and applicat...