Concurrent programming: algorithms, principles, and foundations

✍ Scribed by Raynal, Michel

Publisher: Springer Berlin
Year: 2013
Tongue: English
Leaves: 528
Edition: Aufl. 2013
Category: Library

No coin nor oath required. For personal study only.

✦ Table of Contents

Content: 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.

📜 SIMILAR VOLUMES

Concurrent Programming: Algorithms, Prin

📁 Concurrent Programming: Algorithms, Principles, and Foundations: Algorithms, Principles, and Foundations

✍ Michel Raynal (auth.) 📂 Library 📅 2013 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

<p><p>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

Concurrent Programming: Algorithms, Prin

📁 Concurrent Programming: Algorithms, Principles, and Foundations: Algorithms, Principles, and Foundations

✍ Michel Raynal (auth.) 📂 Library 📅 2013 🏛 Springer-Verlag Berlin Heidelberg 🌐 English

Concurrent Programming: Algorithms, Prin

📁 Concurrent Programming: Algorithms, Principles, and Foundations

✍ Michel Raynal 📂 Library 📅 2012 🏛 Springer 🌐 English

<p>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

Concurrent Programming Algorithms, Prin

📁 Concurrent Programming Algorithms, Principles, and Foundations

✍ Michel Raynal 📂 Library 📅 2013 🏛 Springer 🌐 English

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

Principles of concurrent and distributed

📁 Principles of concurrent and distributed programming: algorithms and models

✍ Ben-Ari M. 📂 Library 📅 2006 🏛 Addison Wesley;Pearson Education Limited 🌐 English

Principles of Concurrent and Distributed

📁 Principles of Concurrent and Distributed Programming: Algorithms and Models

✍ M. Ben-Ari 📂 Library 📅 2006 🏛 Addison Wesley 🌐 English

Principles of Concurrent and Distributed Programming From a winner of the ACM/SIGCSE Award, this introduction to concurrency takes into account the importance of concurrency constructs in programming languages and of formal methods such as model checking. It focuses on algorithmic principles, and th