skip to content
Concurrent programming : algorithms, principles, and foundations Preview this item
ClosePreview this item
Checking...

Concurrent programming : algorithms, principles, and foundations

Author: M Raynal
Publisher: Heidelberg ; New York : Springer-Verlag, ©2013.
Edition/Format:  Print book : EnglishView all editions and formats
Summary:
The advent of new architectures and computing platforms means that synchronization and concurrent computing are among the most important topics in computing science. Concurrent programs are made up of cooperating entities -- processors, processes, agents, peers, sensors -- and synchronization is the set of concepts, rules and mechanisms that allow them to coordinate their local computations in order to realize a  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: M Raynal
ISBN: 9783642320262 3642320260
OCLC Number: 798062371
Description: xxxii, 515 pages : illustrations ; 24 cm
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.
Responsibility: Michel Raynal.
More information:

Abstract:

This book explains synchronization and the implementation of concurrent objects, presenting synchronization algorithms while also introducing the theory that underlies the implementation of  Read more...

Reviews

Editorial reviews

Publisher Synopsis

From the reviews:"Concurrent programming is the study of the methods which will ensure correct interactions. ... Raynal (Univ. of Rennes, France) presents these classical techniques at the beginning Read more...

 
User-contributed reviews

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/798062371> # Concurrent programming : algorithms, principles, and foundations
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "798062371" ;
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1185164293#Place/heidelberg> ; # Heidelberg
   schema:about <http://id.worldcat.org/fast/906987> ; # Electronic data processing--Distributed processing
   schema:about <http://id.loc.gov/authorities/subjects/sh85042293> ; # Electronic data processing--Distributed processing
   schema:about <http://dewey.info/class/005.275/> ;
   schema:about <http://id.worldcat.org/fast/1052939> ; # Parallel programming (Computer science)
   schema:about <http://experiment.worldcat.org/entity/work/data/1185164293#Topic/programmierung> ; # Programmierung
   schema:about <http://id.worldcat.org/fast/1728115> ; # Computer multitasking
   schema:about <http://experiment.worldcat.org/entity/work/data/1185164293#Topic/wechselseitiger_ausschluss> ; # Wechselseitiger Ausschluss
   schema:about <http://experiment.worldcat.org/entity/work/data/1185164293#Topic/synchronisierung> ; # Synchronisierung
   schema:about <http://experiment.worldcat.org/entity/work/data/1185164293#Topic/objekt> ; # Objekt
   schema:about <http://experiment.worldcat.org/entity/work/data/1185164293#Topic/atomaritat> ; # Atomarität
   schema:about <http://experiment.worldcat.org/entity/work/data/1185164293#Topic/nebenlaufigkeit> ; # Nebenläufigkeit
   schema:bookFormat bgn:PrintBook ;
   schema:copyrightYear "2013" ;
   schema:creator <http://viaf.org/viaf/92406650> ; # Michel Raynal
   schema:datePublished "2013" ;
   schema:description "The advent of new architectures and computing platforms means that synchronization and concurrent computing are among the most important topics in computing science. Concurrent programs are made up of cooperating entities -- processors, processes, agents, peers, sensors -- and synchronization is the set of concepts, rules and mechanisms that allow them to coordinate their local computations in order to realize a common task. This book is devoted to the most difficult part of concurrent programming, namely synchronization concepts, techniques and principles when the cooperating entities are asynchronous, communicate through a shared memory, and may experience failures. Synchronization is no longer a set of tricks but, due to research results in recent decades, it relies today on sane scientific foundations as explained in this book."@en ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/1185164293> ;
   schema:inLanguage "en" ;
   schema:name "Concurrent programming : algorithms, principles, and foundations"@en ;
   schema:productID "798062371" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/798062371#PublicationEvent/heidelberg_new_york_springer_verlag_2013> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/1185164293#Agent/springer_verlag> ; # Springer-Verlag
   schema:url <http://catdir.loc.gov/catdir/enhancements/fy1316/2012944394-t.html> ;
   schema:workExample <http://worldcat.org/isbn/9783642320262> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/798062371> ;
    .

Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
   schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/1185164293#Agent/springer_verlag> # Springer-Verlag
    a bgn:Agent ;
   schema:name "Springer-Verlag" ;
    .

<http://experiment.worldcat.org/entity/work/data/1185164293#Topic/wechselseitiger_ausschluss> # Wechselseitiger Ausschluss
    a schema:Intangible ;
   schema:name "Wechselseitiger Ausschluss"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85042293> # Electronic data processing--Distributed processing
    a schema:Intangible ;
   schema:name "Electronic data processing--Distributed processing"@en ;
    .

<http://id.worldcat.org/fast/1052939> # Parallel programming (Computer science)
    a schema:Intangible ;
   schema:name "Parallel programming (Computer science)"@en ;
    .

<http://id.worldcat.org/fast/1728115> # Computer multitasking
    a schema:Intangible ;
   schema:name "Computer multitasking"@en ;
    .

<http://id.worldcat.org/fast/906987> # Electronic data processing--Distributed processing
    a schema:Intangible ;
   schema:name "Electronic data processing--Distributed processing"@en ;
    .

<http://viaf.org/viaf/92406650> # Michel Raynal
    a schema:Person ;
   schema:familyName "Raynal" ;
   schema:givenName "Michel" ;
   schema:givenName "M." ;
   schema:name "Michel Raynal" ;
    .

<http://worldcat.org/isbn/9783642320262>
    a schema:ProductModel ;
   schema:isbn "3642320260" ;
   schema:isbn "9783642320262" ;
    .

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.

Cancel Forgot your password?