150 search results - page 3 / 30 » A Calculus for Relaxed Memory |
CGO
2009
IEEE
14 years 1 months ago
2009
IEEE
—Most research into high-performance software transactional memory (STM) assumes that transactions will run on a processor with a relatively strict memory model, such as Total St...
HPCA
1999
IEEE
13 years 10 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...
ESOP
2010
Springer
14 years 3 months ago
2010
Springer
The specification of the Java Memory Model (JMM) is phrased in terms of acceptors of execution sequences rather than the standard generative view of operational semantics. This cre...
PLDI
2011
ACM
12 years 9 months ago
2011
ACM
PODC
2010
ACM
13 years 10 months ago
2010
ACM
We present view transactions, a model for relaxed consistency checks in software transactional memory (STM). View transactions always operate on a consistent snapshot of memory bu...