Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”

-P.C.Mahalanobis


Image from Google Jackets

Concurrent programming : algorithms, principles, and foundations / Michel Raynal.

By: Material type: TextTextPublication details: Heidelberg ; New York : Springer-Verlag, c2013.Description: xxxii, 515 p. : ill. ; 24 cmISBN:
  • 9783642320262
  • 3642320260
Subject(s): DDC classification:
  • 005.275 R274
LOC classification:
  • QA76.642 .R44 2013
Online resources: Available additional physical forms:
  • Also issued online.
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.
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Call number Status Date due Barcode Item holds
Books ISI Library, Kolkata 005.275 R274 (Browse shelf(Opens below)) Available 134856
Total holds: 0

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 on this title.

to post a comment.
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412, ksatpathy@isical.ac.in