Proving the Correctness of Nonblocking Data Structures.

The article discusses the correctness of nonblocking data structures. Topics covered include language and architecture memory models as considerations when programming nonblocking data structures, the unaligned word-sized memory accesses as a good example of a problem with nonblocking data-structure...

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 56; no. 7; pp. 62 - 70
Autor principal:	DESNOYERS, MATHIEU
Formato:	Artículo
Publicado:	Association for Computing Machinery Jul2013
Materias:	Data structures Electronic data processing Computer programming Electronic file management Scalability Systems design
Acceso en línea:	Ver este registro en EBSCOhost