744 search results - page 74 / 149 » Software Transactional Memory on Relaxed Memory Models |
152
click to vote
POPL
2009
ACM
15 years 10 months ago
2009
ACM
We develop a rigorous semantics for Power and ARM multiprocessor programs, including their relaxed memory model and the behaviour of reasonable fragments of their instruction sets...
150
Voted
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Device drivers often keep data in multiple data structures simultaneously while embedding list or tree related records into the records containing the actual data; this r...
137
Voted
PLDI
2011
ACM
14 years 6 months ago
2011
ACM
Exploiting today’s multiprocessors requires highperformance and correct concurrent systems code (optimising compilers, language runtimes, OS kernels, etc.), which in turn requir...
131
Voted
LCTRTS
2010
Springer
15 years 10 months ago
2010
Springer
In this paper, we present a novel system modeling language which targets primarily the development of source-level multiprocessor memory aware optimizations. In contrast to previo...
127
Voted
OSDI
2008
ACM
16 years 4 months ago
2008
ACM
Deadlock is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer. Existing approaches to deadlock impose onerous bu...