Algorithms for concurrent systems

Guerraoui, Rachid; Kuznetsov, Petr

ISBN 10: 2889152839 / ISBN 13: 9782889152834

Editore: PU POLYTECHNIQU, 2018

Riguardo questo articolo

Codice articolo 26396022386

Dati bibliografici

Titolo: Algorithms for concurrent systems

Casa editrice: PU POLYTECHNIQU

Data di pubblicazione: 2018

Legatura: Brossura

Condizione: New

Descrizione articolo

Riassunto:

The field of concurrent computing has gained in importance after major chip manufacturers switched their focus from increasing the speed of individual processors to increasing the number of processors on a chip. The computer industry has thus been calling for a software revolution : the concurrency revolution. A major challenge underlying this paradigm shift is creating a library of abstractions that developers can use for general purpose concurrent programming. We study in this book how to define and build such abstractions in a rigorous manner. We focus on those that are considered the most difficult to get right and have the highest impact on the overall performance of a program : synchronization abstractions, also called shared objects or concurrent data structures. The book is intended for software developers and students. It began as a set of lecture notes for courses given at EPFL, Saarland University, Technical University of Berlin, and Télécom ParisTech.