3616 search results - page 112 / 724 » Conditional Memory Ordering |
134
click to vote
SPIN
2010
Springer
15 years 3 months ago
2010
Springer
This paper addresses the problem of verifying programs for the relaxed memory models implemented in modern processors. Specifically, it considers the TSO (Total Store Order) relax...
216
click to vote
CIDR
2011
14 years 8 months ago
2011
Phase change memory (PCM) is an emerging memory technology with many attractive features: it is non-volatile, byte-addressable, 2–4X denser than DRAM, and orders of magnitude be...
270
click to vote
MICRO
2011
IEEE
14 years 11 months ago
2011
IEEE
In a modern chip-multiprocessor system, memory is a shared resource among multiple concurrently executing threads. The memory scheduling algorithm should resolve memory contention...
132
click to vote
SPAA
2009
ACM
16 years 5 months ago
2009
ACM
In order to be efficient with selfish programmers, a multicore transactional memory (TM) system must be designed such that it is compatible with good programming incentives (GPI),...
142
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
We consider multiprocessor distributed real-time systems where concurrency control is managed using software transactional memory (or STM). For such a system, we propose an algori...