États-Unis

€
Algorithms for Concurrent Systems - Rachid Guerraoui, Petr Kuznetsov - EPFL Press English Imprint

Algorithms for Concurrent Systems

de Rachid Guerraoui (auteur), Petr Kuznetsov (auteur)
Collection : Computer Science
octobre 2018
format 160 x 240 256 pages En stock
55,00 €
Open Access
Algorithms for Concurrent Systems - eBook [PDF]
31 Téléchargements

Medias

Présentation

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 and Télécom Paris.

Sommaire

  • 1. Introduction
  • I. Correctness
  • 2. Linearizability
  • 3. Progress
  • II. Read-Write objects
  • 4. Semantics of Read-Write Objects
  • 5. Basic Register Reductions
  • 6. Timestamp-Based Reductions
  • 7. Optimal Atomic Bit
  • 8. Bounded Atomic Multivalued Register Implementation
  • III. Snapshot Objects
  • 9. Collects and Snapshots
  • 10. Immediate Snapshot and Iterated Immediate Snapshot
  • IV. Consensus Objects
  • 11. Consensus and Universality
  • 12. Consensus Number and Hierarchy
  • V. Schedulers
  • 13.Resilience
  • 14. Failure Detectors
  • 15. Adversaries
  • 16. Bibliography
  • 17. Index

Avis

Pour évaluer et laisser un commentaire sur le produit, merci de vous connecter à votre compte.

Informations

Éditeur : EPFL Press English Imprint

Auteur(s) : Rachid Guerraoui, Petr Kuznetsov

Collection : Computer Science

Publication : 15 octobre 2018

Édition : 1re édition

Support(s) : Livre papier, eBook [PDF]

Nombre de pages Livre papier : 256

Nombre de pages eBook [PDF] : 256

Format (en mm) Livre papier : 160 x 240

Taille(s) : 3,73 Mo (PDF)

Poids (en grammes) : 466

Langue(s) : Anglais

EAN13 Livre papier : 9782889152834

EAN13 eBook [PDF] : 9782889144570

Dans la même collection
Ils ont aussi acheté
Sur des thèmes similaires
--:-- / --:--