744 search results - page 20 / 149 » Software Transactional Memory on Relaxed Memory Models |
HPCA
1999
IEEE
15 years 1 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...
PLDI
2011
ACM
14 years 9 days ago
2011
ACM
POPL
2009
ACM
15 years 4 months ago
2009
ACM
Transactional memory (TM) provides a safer, more modular, and more scalable alternative to traditional lock-based synchronization. Implementing high performance TM systems has rec...
FMCAD
2007
Springer
15 years 3 months ago
2007
Springer
—We show how to verify the correctness of transactional memory implementations with a model checker. We show how to specify transactional memory in terms of the admissible interc...
78
Voted
PODC
2010
ACM
15 years 1 months ago
2010
ACM
Distributed transactional memory (TM) models based on globally-consistent contention management policies may abort many transactions that could potentially commit without violatin...