Algorithms for concurrent systems

Rachid Guerraoui, Petr Kuznetsov

252 pages, parution le 01/11/2018

Ajouter à une liste

Expédié sous 5 jours

Livraison à partir de 0,01€ dès 35€ d'achats
Pour une livraison en France métropolitaine

QUANTITÉ

Résumé

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.

L'auteur - Rachid Guerraoui

Rachid Guerraoui is Professor of Distributed Computing at Ecole Polytechnique Fédérale de Lausanne. He got a PhD from University of Orsay in 1992 and has been affiliated with HP Labs, MIT and Collège de France.

Autres livres de Rachid Guerraoui

Turing à la plage

L'algorithmique répartie

Découvrir tous les livres de Rachid Guerraoui

L'auteur - Petr Kuznetsov

Petr Kuznetsov is Professor of Computer Science at Télécom ParisTech, Université Paris-Saclay, France. He received his PhD from École Polytechnique Fédérale de Lausanne (EPFL) in 2005. Before joining Télécom ParisTech, he worked at Max Planck Institute for Software Systems and Deutsche Telekom Innovation Labs/Technical University of Berlin.

Sommaire

Correctness
Linearizability
Progress
Read-Write objects
Semantics of Read-Write Objects
Basic Register Reductions
Timestamp-Based Reductions
Optimal Atomic Bit
Bounded Atomic Multivalued Register Implementation
Snapshot Objects
Collects and Snapshots
Immediate Snapshot and Iterated Immediate Snapshot
Consensus Objects
Consensus and Universality
Consensus Number and Hierarchy
Schedulers
Resilience
Failure Detectors
Adversaries

Voir tout

Replier

Caractéristiques techniques

	PAPIER
Éditeur(s)	EPFL
Auteur(s)	Rachid Guerraoui, Petr Kuznetsov
Parution	01/11/2018
Nb. de pages	252
Format	16 x 24
Couverture	Broché
Poids	464g
Intérieur	Noir et Blanc
EAN13	9782889152834
ISBN13	978-2-88915-283-4