2 search results - page 1 / 1 » x86-TSO: a rigorous and usable programmer's model for x86 mu... |
CACM
2010
13 years 5 months ago
2010
Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code, for concurrent data structures, operating syste...
TPHOL
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract. Real multiprocessors do not provide the sequentially consistent memory that is assumed by most work on semantics and verification. Instead, they have relaxed memory mode...