Concurrent programming algorithms, principles, and foundations / Michel Raynal.
| Author/creator | Raynal, M. |
| Format | Electronic |
| Publication Info | Heidelberg ; New York : Springer-Verlag, |
| Description | xxxii, 515 p. : ill. ; 24 cm. |
| Supplemental Content | Full text available from Springer Nature - Springer Computer Science eBooks 2013 English International |
| Supplemental Content | Full text available from Springer Books |
| Subjects |
| Contents | Lock-Based Synchronization -- The Mutual Exclusion Problem -- Solving Mutual Exclusion -- Lock-Based Concurrent Objects -- On the Foundations Side: the Atomicity Concept -- Atomicity: Formal Definition and Properties -- Mutex-Free Synchronization -- Mutex-Free Concurrent Objects -- Hybrid Concurrent Objects -- Wait-Free Objects from Read/Write Registers Only -- Snapshot Objects from Read/Write Registers Only -- Renaming Objects from Read/Write Registers Only -- The Transactional Memory Approach -- Transactional Memory -- On the Foundations Side: from Safe Bits to Atomic Registers -- Safe, Regular, and Atomic Read/Write Registers -- From Safe Bits to Atomic Bits: Lower Bound and Optimal Construction -- Bounded Constructions of Atomic b-Valued Registers -- On the Foundations Side: the Computability Power of Concurrent Objects (Consensus) -- Universality of Consensus -- The Case of Unreliable Base Objects -- Consensus Numbers and the Consensus Hierarchy -- The Alpha(s) and Omega of Consensus: Failure Detector-Based Consensus. |
| Bibliography note | Includes bibliographical references and index. |
| Access restriction | Available only to authorized users. |
| Other forms | Also issued online. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| LCCN | 2012944394 |
| ISBN | 9783642320262 |
| ISBN | 3642320260 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |