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:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:
This book is devoted to difficult parts of concurrent programming: synchronization concepts, techniques and principles when the cooperating entities are asynchronous, communicate through a shared memory, and may experience failures. Key features include: lock-based synchronization (mutual exclusion, semaphores, monitors, path expressions); introductions to the atomicity consistency criterion and mutex-freedom and  Read more...
Rating:

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

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

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

Details

Genre/Form: Electronic books
Additional Physical Format: Print version:
Raynal, M. (Michel).
Concurrent programming
Heidelberg : Springer, [2013]
(DLC)2012944394
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: M Raynal
ISBN: 9783642320279 3642320279
OCLC Number: 823641117
Notes: Title from PDF title page (viewed Jan. 8, 2013).
Description: 1 online resource : illustrations
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.

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
Retrieving GoodReads reviews...
Retrieving DOGObooks 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/823641117> # Concurrent programming algorithms, principles, and foundations
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "823641117" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/gw> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/1185164293#Place/heidelberg> ; # Heidelberg
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    schema:about <http://id.worldcat.org/fast/1052939> ; # Parallel programming (Computer science)
    schema:about <http://experiment.worldcat.org/entity/work/data/1185164293#Thing/theory_of_computation> ; # Theory of Computation.
    schema:about <http://id.worldcat.org/fast/906987> ; # Electronic data processing--Distributed processing
    schema:about <http://experiment.worldcat.org/entity/work/data/1185164293#Topic/automatic_data_processing> ; # Automatic Data Processing
    schema:about <http://dewey.info/class/005.275/e23/> ;
    schema:about <http://experiment.worldcat.org/entity/work/data/1185164293#Thing/computer_network_architectures> ; # Computer network architectures.
    schema:about <http://experiment.worldcat.org/entity/work/data/1185164293#Thing/computer_systems_organization_and_communication_networks> ; # Computer Systems Organization and Communication Networks.
    schema:about <http://experiment.worldcat.org/entity/work/data/1185164293#Thing/software_engineering_programming_and_operating_systems> ; # Software Engineering/Programming and Operating Systems.
    schema:about <http://experiment.worldcat.org/entity/work/data/1185164293#Topic/artificial_intelligence> ; # Artificial Intelligence
    schema:about <http://experiment.worldcat.org/entity/work/data/1185164293#Thing/software_engineering> ; # Software engineering.
    schema:about <http://experiment.worldcat.org/entity/work/data/1185164293#Thing/computer_science> ; # Computer science.
    schema:about <http://id.loc.gov/authorities/subjects/sh85042293> ; # Electronic data processing--Distributed processing
    schema:about <http://experiment.worldcat.org/entity/work/data/1185164293#Thing/computer_hardware> ; # Computer hardware.
    schema:about <http://id.worldcat.org/fast/1728115> ; # Computer multitasking
    schema:about <http://experiment.worldcat.org/entity/work/data/1185164293#Thing/information_theory> ; # Information theory.
    schema:bookFormat schema:EBook ;
    schema:copyrightYear "2013" ;
    schema:creator <http://viaf.org/viaf/92406650> ; # Michel Raynal
    schema:datePublished "2013" ;
    schema:description "This book is devoted to difficult parts of concurrent programming: synchronization concepts, techniques and principles when the cooperating entities are asynchronous, communicate through a shared memory, and may experience failures. Key features include: lock-based synchronization (mutual exclusion, semaphores, monitors, path expressions); introductions to the atomicity consistency criterion and mutex-freedom and associated progress conditions such as obstruction-freedom and wait-freedom; Lamport's hierarchy of safe, regular and atomic registers and associated wait-free constructions; wait-free constructions of concurrent objects (queues, stacks, weak counters, snapshot objects, renaming objects, etc.); computability power of concurrent objects including the notions of universal construction, consensus number and the associated Herlihy's hierarchy; and a survey of failure detector-based constructions of consensus objects. --"@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/1185164293> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/1185164293#CreativeWork/concurrent_programming> ;
    schema:name "Concurrent programming algorithms, principles, and foundations"@en ;
    schema:productID "823641117" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/823641117#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://www.books24x7.com/marc.asp?bookid=77012> ;
    schema:url <http://dx.doi.org/10.1007/978-3-642-32027-9> ;
    schema:url <http://site.ebrary.com/id/10656469> ;
    schema:workExample <http://worldcat.org/isbn/9783642320279> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/823641117> ;
    .


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#Thing/computer_hardware> # Computer hardware.
    a schema:Thing ;
    schema:name "Computer hardware." ;
    .

<http://experiment.worldcat.org/entity/work/data/1185164293#Thing/computer_network_architectures> # Computer network architectures.
    a schema:Thing ;
    schema:name "Computer network architectures." ;
    .

<http://experiment.worldcat.org/entity/work/data/1185164293#Thing/computer_science> # Computer science.
    a schema:Thing ;
    schema:name "Computer science." ;
    .

<http://experiment.worldcat.org/entity/work/data/1185164293#Thing/computer_systems_organization_and_communication_networks> # Computer Systems Organization and Communication Networks.
    a schema:Thing ;
    schema:name "Computer Systems Organization and Communication Networks." ;
    .

<http://experiment.worldcat.org/entity/work/data/1185164293#Thing/information_theory> # Information theory.
    a schema:Thing ;
    schema:name "Information theory." ;
    .

<http://experiment.worldcat.org/entity/work/data/1185164293#Thing/software_engineering> # Software engineering.
    a schema:Thing ;
    schema:name "Software engineering." ;
    .

<http://experiment.worldcat.org/entity/work/data/1185164293#Thing/software_engineering_programming_and_operating_systems> # Software Engineering/Programming and Operating Systems.
    a schema:Thing ;
    schema:name "Software Engineering/Programming and Operating Systems." ;
    .

<http://experiment.worldcat.org/entity/work/data/1185164293#Thing/theory_of_computation> # Theory of Computation.
    a schema:Thing ;
    schema:name "Theory of Computation." ;
    .

<http://experiment.worldcat.org/entity/work/data/1185164293#Topic/artificial_intelligence> # Artificial Intelligence
    a schema:Intangible ;
    schema:name "Artificial Intelligence"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/1185164293#Topic/automatic_data_processing> # Automatic Data Processing
    a schema:Intangible ;
    schema:name "Automatic Data Processing"@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/entity/work/data/1185164293#CreativeWork/concurrent_programming>
    a schema:CreativeWork ;
    rdfs:label "Concurrent programming" ;
    schema:description "Print version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/823641117> ; # Concurrent programming algorithms, principles, and foundations
    .

<http://worldcat.org/isbn/9783642320279>
    a schema:ProductModel ;
    schema:isbn "3642320279" ;
    schema:isbn "9783642320279" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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