Raynal, M.
Concurrent programming : algorithms, principles, and foundations / Michel Raynal. - Heidelberg ; New York : Springer-Verlag, 2013. - xxxii, 515 p. : ill. ; 24 cm.
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.
9783642320262
2012944394
Parallel programming (Computer science)
Electronic data processing--Distributed processing.
Computer multitasking.
QA76.642 / .R44 2013
005.275 / Ra Co
Concurrent programming : algorithms, principles, and foundations / Michel Raynal. - Heidelberg ; New York : Springer-Verlag, 2013. - xxxii, 515 p. : ill. ; 24 cm.
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.
9783642320262
2012944394
Parallel programming (Computer science)
Electronic data processing--Distributed processing.
Computer multitasking.
QA76.642 / .R44 2013
005.275 / Ra Co