Concurrent Programming: Algorithms, Principles, and Foundations

The advent of new architectures and computing platforms means that synchronization and concurrent computing are among the most important topics in computing science. Concurrent programs are made up of cooperating entities -- processors, processes, agents, peers, sensors -- and synchronization is the...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Raynal, Michel (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edición:1st ed. 2013.
Temas:
Computer science.
Computer engineering.
Computer networks .
Software engineering.
Computers.
Theory of Computation.
Computer Engineering and Networks.
Software Engineering.
Computer Hardware.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • Part I - Lock-Based Synchronization
  • Chap. 1 - The Mutual Exclusion Problem
  • Chap. 2 - Solving Mutual Exclusion
  • Chap. 3 - Lock-Based Concurrent Objects
  • Part II - On the Foundations Side: The Atomicity Concept
  • Chap. 4 - Atomicity: Formal Definition and Properties
  • Part III - Mutex-Free Synchronization
  • Chap. 5 - Mutex-Free Concurrent Objects
  • Chap. 6 - Hybrid Concurrent Objects
  • Chap. 7 - Wait-Free Objects from Read/Write Registers Only
  • Chap. 8 - Snapshot Objects from Read/Write Registers Only
  • Chap. 9 - Renaming Objects from Read/Write Registers Only
  • Part IV - The Transactional Memory Approach
  • Chap. 10 - Transactional Memory
  • Part V - On the Foundations Side: From Safe Bits to Atomic Registers
  • Chap. 11 - Safe, Regular and Atomic Read/Write Registers
  • Chap. 12 - From Safe Bits to Atomic Bits: A Lower Bound and an Optimal Construction
  • Chap. 13 - Bounded Constructions of Atomic b-Valued Registers
  • Part VI - On the Foundations Side: The Computability Power of Concurrent Objects (Consensus)
  • Chap. 14 - Universality of Consensus
  • Chap. 15 - The Case of Unreliable Base Objects
  • Chap. 16 - Consensus Numbers and the Consensus Hierarchy
  • Chap. 17 - The Alphas and Omega of Consensus: Failure Detector-Based Consensus
  • Afterword
  • Bibliography
  • Index.

Ejemplares similares