Concurrent programming : algorithms, principles, and foundations / Michel Raynal.
By: Raynal, M. (Michel)
.
Material type: 



Item type | Home library | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
![]() |
KCST Library | 005.275 Ra Co (Browse shelf) | Available | 1000000535 |
Browsing KCST Library Shelves Close shelf browser
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
005.133 Ze Py Python programming : | 005.256 Gl Se Secure development for mobile apps : | 005.268 Bu An Android application development for dummies / | 005.275 Ra Co Concurrent programming : | 005.276 Fr Mi Microsoft.NET XML Web services step by step / | 005.276 Jo Vi Visual Basic .NET : | 005.276 Li As Programming ASP.NET / |
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.
Also issued online.
There are no comments for this item.