Concurrent Programming: Algorithms, Principles, and Foundations 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...
| Κύριος συγγραφέας: | |
|---|---|
| Συγγραφή απο Οργανισμό/Αρχή: | |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2013.
|
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
