Concurrent programming : algorithms, principles, and foundations
著者
書誌事項
Concurrent programming : algorithms, principles, and foundations
Springer-Verlag, c2013
大学図書館所蔵 件 / 全4件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and index
収録内容
- 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
