Algorithms for concurrent systems
Rachid Guerraoui, Petr Kuznetsov
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
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
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 |
Avantages Eyrolles.com
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
- Informatique Développement d'applications Techniques de programmation Programmation fonctionnelle
- Informatique Développement d'applications Techniques de programmation Programmation parallèle et multithreading
- Informatique Développement d'applications Algorithmique et informatique appliquée
- Informatique Développement d'applications Technologies objet Programmation objet
