x86-TSO: A Rigorous and Usable Programmer's Model for x86 Multiprocessors.

Exploiting the multiprocessors that have recently become ubiquitous requires high-performance and reliable concurrent systems code, for concurrent data structures, operating system kernels, synchronization libraries, compilers, and so on. However, concurrent programming, which is always challenging,...

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 53; no. 7; pp. 89 - 98
Autores principales:	Sewell, Peter, Sarkar, Susmit, Owens, Scott, Nardelli, Francesco Zappa, Myreen, Magnus O.
Formato:	Artículo
Publicado:	Association for Computing Machinery Jul2010
Materias:	Multiprocessors Computer software correctness Computer programming Distributed shared memory Computer multitasking Computer science
Acceso en línea:	Ver este registro en EBSCOhost