Imagen de Portada
Código QR

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

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