skip to content
Distributed systems : an algorithmic approach Preview this item
ClosePreview this item
Checking...

Distributed systems : an algorithmic approach

Author: Sukumar Ghosh
Publisher: Boca Raton : Chapman & Hall/CRC, ©2007.
Series: Chapman & Hall/CRC computer and information science series.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Database:WorldCat
Summary:

Presents the foundational topics of distributed systems and their relationships to real-world applications. This book covers system models, correctness criteria, and proof techniques. It presents  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

Additional Physical Format: Print version:
Ghosh, Sukumar.
Distributed systems.
Boca Raton : Chapman & Hall/CRC, ©2007
(DLC) 2006017600
(OCoLC)69671963
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Sukumar Ghosh
ISBN: 1584885645 9781584885641 9781420010848 1420010840
OCLC Number: 459794732
Description: 1 online resource (402 pages) : illustrations.
Contents: BACKGROUND MATERIALS INTRODUCTION What Is a Distributed System? Why Distributed Systems? Examples of Distributed Systems Important Issues in Distributed Systems Common Subproblems Implementing a Distributed System Parallel vs. Distributed Systems Bibliographic Notes INTERPROCESS COMMUNICATION: AN OVERVIEW Introduction Network Protocols Naming Remote Procedure Call Remote Method Invocation Web Services Messages Event Notification CORBA Mobile Agents Basic Group Communication Services Concluding Remarks Bibliographic Notes Exercises FOUNDATIONAL TOPICS MODELS OF COMMUNICATION The Need for a Model A Message-Passing Model for Interprocess Communication Shared Variables Modeling Mobile Agents Relationship among Models Classification Based on Special Properties Complexity Measures Concluding Remarks Bibliographic Notes REPRESENTING DISTRIBUTED ALGORITHMS: SYNTAX AND SEMANTICS Introduction Guarded Actions Nondeterminism Atomic Operations Fairness Central vs. Distributed Schedulers Concluding Remarks Bibliographic Notes PROGRAM CORRECTNESS Introduction Correctness Criteria Correctness Proofs Predicate Logic Assertional Reasoning: Proving Safety Properties Proving Liveness Properties Using Well-Founded Sets Programming Logic Predicate Transformers Concluding Remarks Bibliographic Notes TIME IN A DISTRIBUTED SYSTEM Introduction Logical Clocks Vector Clocks Physical Clock Synchronization Concluding Remarks Bibliographic Notes IMPORTANT PARADIGMS MUTUAL EXCLUSION Introduction Solution Using Message Passing Token-Passing Algorithms Solutions on the Shared-Memory Model Mutual Exclusion Using Special Instructions The Group Mutual Exclusion Problem Concluding Remarks Bibliographic Notes DISTRIBUTED SNAPSHOT Introduction Properties of Consistent Snapshots The Chandy-Lamport Algorithm The Lai-Yang Algorithm Concluding Remarks Bibliographic Notes GLOBAL STATE COLLECTION Introduction An Elementary Algorithm for Broadcasting Termination Detection Algorithms Distributed Deadlock Detection Concluding Remarks Bibliographic Notes GRAPH ALGORITHMS Introduction Routing Algorithms Graph Traversal Graph Coloring Concluding Remarks Bibliographic Notes COORDINATION ALGORITHMS Introduction Leader Election Synchronizers Concluding Remarks Bibliographic Notes Exercises FAULTS AND FAULT-TOLERANT SYSTEMS FAULT=TOLERANT SYSTEMS Introduction Classification of Faults Specification of Faults Fault-Tolerant Systems Tolerating Crash Failures Tolerating Omission Failures Concluding Remarks Bibliographic Notes Exercises DISTRIBUTED CONSENSUS Introduction Consensus in Asynchronous Systems Consensus in Synchronous Systems: Byzantine Generals Problem Failure Detectors Concluding Remarks Bibliographic Notes Exercises DISTRIBUTED TRANSACTIONS Introduction Classification of Transactions Implementing Transactions Concurrency Control and Serializability Atomic Commit Protocols Recovery from Failures Concluding Remarks Bibliographic Notes Exercises GROUP COMMUNICATION Introduction Atomic Multicast IP Multicast Application Layer Multicast Ordered Multicast Reliable Ordered Multicast Open Groups An Overview of Transis Concluding Remarks Bibliographic Notes Exercises REPLICATED DATA MANAGEMENT Introduction Architecture of Replicated Data Management Data-Centric Consistency Models Client-Centric Consistency Models Implementation of Data-Centric Consistency Models Replica Placement Case Studies Concluding Remarks Bibliographic Notes Exercises SELF-STABILIZING SYSTEMS Introduction Theoretical Foundations Stabilizing Mutual Exclusion Stabilizing Graph Coloring Stabilizing Spanning Tree Protocol Distributed Reset Stabilizing Clock Synchronization Concluding Remarks Bibliographic Notes Exercises REAL WORLD ISSUES DISTRIBUTED DISCRETE-EVENT SIMULATION Introduction Distribution Simulation Conservative Simulation Optimistic Simulation and Time Warp Concluding Remarks Bibliographic Notes Exercises SECURITY IN DISTRIBUTED SYSTEMS Introduction Security Mechanisms Common Security Attacks Encryption Secret-Key Cryptosystem Public-Key Cryptosystems Digital Signatures Hashing Algorithms Elliptic Curve Cryptography Authentication Server Digital Certificates Case Studies Virtual Private Networks (VPN) and Firewalls Sharing a Secret Concluding Remarks Bibliographic Notes Exercises SENSOR NETWORKS The Vision The Architecture of a Sensor Node The Challenges in Wireless Sensor Networks Routing Algorithms Time Synchronization Using Reference Broadcast Localization Algorithms Security in Sensor Networks Sample Application: Pursuer-Evader Games Concluding Remarks Bibliographic Notes Exercises PEER-TO-PEER NETWORKS Introduction The First-Generation P2P Systems The Second-Generation P2P Systems Koorde and De Bruijn Graph The Small-World Phenomemon Skip Graph Replication Management Free Riders and Bit Torrent Censorship Resistance, Anonymity, and Ethical Issues Concluding Remarks Bibliographic Notes BIBLIOGRAPHY INDEX
Series Title: Chapman & Hall/CRC computer and information science series.
Responsibility: Sukumar Ghosh.

Reviews

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/459794732> # Distributed systems : an algorithmic approach
    a schema:Book, schema:MediaObject, schema:CreativeWork ;
   library:oclcnum "459794732" ;
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/flu> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/793909960#Place/boca_raton> ; # Boca Raton
   schema:about <http://dewey.info/class/004.36/e22/> ;
   schema:about <http://id.worldcat.org/fast/872010> ; # Computer algorithms
   schema:about <http://id.loc.gov/authorities/subjects/sh85042293> ; # Electronic data processing--Distributed processing
   schema:about <http://id.worldcat.org/fast/906987> ; # Electronic data processing--Distributed processing
   schema:bookFormat schema:EBook ;
   schema:copyrightYear "2007" ;
   schema:creator <http://experiment.worldcat.org/entity/work/data/793909960#Person/ghosh_sukumar> ; # Sukumar Ghosh
   schema:datePublished "2007" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/793909960> ;
   schema:inLanguage "en" ;
   schema:isPartOf <http://experiment.worldcat.org/entity/work/data/793909960#Series/chapman_&_hall_crc_computer_and_information_science_series> ; # Chapman & Hall/CRC computer and information science series.
   schema:isSimilarTo <http://www.worldcat.org/oclc/69671963> ;
   schema:name "Distributed systems : an algorithmic approach"@en ;
   schema:productID "459794732" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/459794732#PublicationEvent/boca_raton_chapman_&_hall_crc_2007> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/793909960#Agent/chapman_&_hall_crc> ; # Chapman & Hall/CRC
   schema:url <https://login.proxy.bib.uottawa.ca/login?url=http://marc.crcnetbase.com/isbn/9781420010848> ;
   schema:url <http://itknowledgebase.net/books/5646/c5645fm.pdf> ;
   schema:url <http://marc.crcnetbase.com/isbn/9781420010848> ;
   schema:url <http://www.crcnetbase.com/isbn/9781584885641> ;
   schema:url <http://www.crcnetbase.com/isbn/9781420010848> ;
   schema:workExample <http://worldcat.org/isbn/9781584885641> ;
   schema:workExample <http://worldcat.org/isbn/9781420010848> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/459794732> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/793909960#Agent/chapman_&_hall_crc> # Chapman & Hall/CRC
    a bgn:Agent ;
   schema:name "Chapman & Hall/CRC" ;
    .

<http://experiment.worldcat.org/entity/work/data/793909960#Person/ghosh_sukumar> # Sukumar Ghosh
    a schema:Person ;
   schema:familyName "Ghosh" ;
   schema:givenName "Sukumar" ;
   schema:name "Sukumar Ghosh" ;
    .

<http://experiment.worldcat.org/entity/work/data/793909960#Series/chapman_&_hall_crc_computer_and_information_science_series> # Chapman & Hall/CRC computer and information science series.
    a bgn:PublicationSeries ;
   schema:hasPart <http://www.worldcat.org/oclc/459794732> ; # Distributed systems : an algorithmic approach
   schema:name "Chapman & Hall/CRC computer and information science series." ;
   schema:name "Chapman & Hall/CRC computer and information science series" ;
    .

<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/872010> # Computer algorithms
    a schema:Intangible ;
   schema:name "Computer algorithms"@en ;
    .

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

<http://marc.crcnetbase.com/isbn/9781420010848>
   rdfs:comment "Distributed by publisher. Purchase or institutional license may be required for access." ;
    .

<http://worldcat.org/isbn/9781420010848>
    a schema:ProductModel ;
   schema:isbn "1420010840" ;
   schema:isbn "9781420010848" ;
    .

<http://worldcat.org/isbn/9781584885641>
    a schema:ProductModel ;
   schema:isbn "1584885645" ;
   schema:isbn "9781584885641" ;
    .

<http://www.worldcat.org/oclc/69671963>
    a schema:CreativeWork ;
   rdfs:label "Distributed systems." ;
   schema:description "Print version:" ;
   schema:isSimilarTo <http://www.worldcat.org/oclc/459794732> ; # Distributed systems : an algorithmic approach
    .

<https://login.proxy.bib.uottawa.ca/login?url=http://marc.crcnetbase.com/isbn/9781420010848>
   rdfs:comment "ENGnetBASE (Restricted to University of Ottawa)" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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