skip to content
Principles of Distributed Systems Preview this item
ClosePreview this item
Checking...

Principles of Distributed Systems

Author: Vijay K Garg
Publisher: Boston, MA : Springer US, 1996.
Edition/Format:   eBook : Document : EnglishView all editions and formats
Summary:
Distributed computer systems are now widely available but, despite a number of recent advances, the design of software for these systems remains a challenging task, involving two main difficulties: the absence of a shared clock and the absence of a shared memory. The absence of a shared clock means that the concept of time is not useful in distributed systems. The absence of shared memory implies that the concept of  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:
Material Type: Document, Internet resource
Document Type: Internet Resource, Computer File
All Authors / Contributors: Vijay K Garg
ISBN: 9781461313212 146131321X
OCLC Number: 852788262
Description: 1 online resource (272 pages)
Contents: To Distributed Systems --
Distributed Systems versus Parallel Systems --
Partial Orders --
Notation --
Overview of the book --
Exercises --
Bibliographic Remarks --
1 Time --
1.1 Introduction --
1.2 Model of a distributed system --
1.3 Logical Clocks --
1.4 Vector Clocks --
1.5 Direct Dependency Clocks --
1.6 Higher Dimensional Clocks --
1.7 Exercises --
1.8 Bibliographic Remarks --
2 Mutual Exclusion --
2.1 Introduction --
2.2 Problem --
2.3 Lamport's Algorithm --
2.4 Ricart and Agrawala's Algorithm --
2.5 Centralized Algorithm --
2.6 Dijkstra's Self-stabilizing Algorithm --
2.7 Exercises --
2.8 Bibliographic Remarks --
3 Global State --
3.1 Introduction --
3.2 Consistent Cuts --
3.3 Global Snapshots of Processes --
3.4 Global Snapshots of Processes and Channels --
3.5 Global Snapshots for non-FIFO channels --
3.6 Applications of Global Snapshot Algorithms --
3.7 Exercises --
3.8 Bibliographic Remarks --
4 Possible Global Predicates --
4.1 Introduction --
4.2 Possibility of a Global Predicate --
4.3 NP-Completeness of Global Predicate Detection --
4.4 Linear Predicates --
4.5 Semi-Linear Predicates --
4.6 Exercises --
4.7 Bibliographic Remarks --
5 Conjunctive Possible Global Predicates --
5.1 Introduction --
5.2 Weak Conjunctive Predicates --
5.3 A Vector Clock based Centralized Algorithm for WCP --
5.4 A Direct Dependence based Centralized Algorithm for WCP --
5.5 A Vector Clock based Distributed Algorithm for WCP --
5.6 A Centralized Algorithm for Generalized Conjunctive Predicates --
5.7 A Vector Clock based Distributed GCP Detection Algorithm --
5.8 Exercises --
5.9 Bibliographic Remarks --
6 Relational Possible Global Predicates --
6.1 Introduction --
6.2 Relational Predicate with Two Integer Variables --
6.3 Relational predicates with N Boolean Variables --
6.4 Bounded Sum Predicates --
6.5 Exercises --
6.6 Bibliographic Remarks --
7 Inevitable Global Predicates --
7.1 Introduction --
7.2 Global Sequence --
7.3 Logic for Global Predicates --
7.4 Strong Conjunctive Predicates --
7.5 Algorithms for Detecting SCP --
7.6 Exercises --
7.7 Bibliographic Remarks --
8 Control Flow Predicates --
8.1 Introduction --
8.2 LRDAG Logic --
8.3 Examples --
8.4 Decentralized Detection Algorithm --
8.5 Exercises --
8.6 Bibliographic Remarks --
9 Order --
9.1 Introduction --
9.2 Relationship among Message Orderings --
9.3 FIFO Ordering of Messages --
9.4 Causal Ordering Of Messages --
9.5 Synchronous Ordering of Messages --
9.6 Exercises --
9.7 Bibliographic Remarks --
10 Computation --
10.1 Introduction --
10.2 Global Functions --
10.3 Repeated Computation --
10.4 Exercises --
10.5 Bibliographic Remarks --
References.
Responsibility: by Vijay K. Garg.

Abstract:

Distributed computer systems are now widely available but, despite a number of recent advances, the design of software for these systems remains a challenging task, involving two main difficulties:  Read more...

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.

Similar Items

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/852788262> # Principles of Distributed Systems
    a schema:MediaObject, schema:CreativeWork, schema:Book ;
    library:oclcnum "852788262" ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/38102635#Place/boston_ma> ; # Boston, MA
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    schema:about <http://id.worldcat.org/fast/872451> ; # Computer science
    schema:about <http://id.worldcat.org/fast/1124185> ; # Software engineering
    schema:about <http://dewey.info/class/004.1/e23/> ;
    schema:bookFormat schema:EBook ;
    schema:creator <http://viaf.org/viaf/85217353> ; # Vijay K. Garg
    schema:datePublished "1996" ;
    schema:description "Distributed computer systems are now widely available but, despite a number of recent advances, the design of software for these systems remains a challenging task, involving two main difficulties: the absence of a shared clock and the absence of a shared memory. The absence of a shared clock means that the concept of time is not useful in distributed systems. The absence of shared memory implies that the concept of a state of a distributed system also needs to be redefined. These two important concepts occupy a major portion of this book. Principles of Distributed Systems describes tools and techniques that have been successfully applied to tackle the problem of global time and state in distributed systems. The author demonstrates that the concept of time can be replaced by that of causality, and clocks can be constructed to provide causality information. The problem of not having a global state is alleviated by developing efficient algorithms for detecting properties and computing global functions. The author's major emphasis is in developing general mechanisms that can be applied to a variety of problems. For example, instead of discussing algorithms for standard problems, such as termination detection and deadlocks, the book discusses algorithms to detect general properties of a distributed computation. Also included are several worked examples and exercise problems that can be used for individual practice and classroom instruction. Audience: Can be used to teach a one-semester graduate course on distributed systems. Also an invaluable reference book for researchers and practitioners working on the many different aspects of distributed systems."@en ;
    schema:description "To Distributed Systems -- Distributed Systems versus Parallel Systems -- Partial Orders -- Notation -- Overview of the book -- Exercises -- Bibliographic Remarks -- 1 Time -- 1.1 Introduction -- 1.2 Model of a distributed system -- 1.3 Logical Clocks -- 1.4 Vector Clocks -- 1.5 Direct Dependency Clocks -- 1.6 Higher Dimensional Clocks -- 1.7 Exercises -- 1.8 Bibliographic Remarks -- 2 Mutual Exclusion -- 2.1 Introduction -- 2.2 Problem -- 2.3 Lamport's Algorithm -- 2.4 Ricart and Agrawala's Algorithm -- 2.5 Centralized Algorithm -- 2.6 Dijkstra's Self-stabilizing Algorithm -- 2.7 Exercises -- 2.8 Bibliographic Remarks -- 3 Global State -- 3.1 Introduction -- 3.2 Consistent Cuts -- 3.3 Global Snapshots of Processes -- 3.4 Global Snapshots of Processes and Channels -- 3.5 Global Snapshots for non-FIFO channels -- 3.6 Applications of Global Snapshot Algorithms -- 3.7 Exercises -- 3.8 Bibliographic Remarks -- 4 Possible Global Predicates -- 4.1 Introduction -- 4.2 Possibility of a Global Predicate -- 4.3 NP-Completeness of Global Predicate Detection -- 4.4 Linear Predicates -- 4.5 Semi-Linear Predicates -- 4.6 Exercises -- 4.7 Bibliographic Remarks -- 5 Conjunctive Possible Global Predicates -- 5.1 Introduction -- 5.2 Weak Conjunctive Predicates -- 5.3 A Vector Clock based Centralized Algorithm for WCP -- 5.4 A Direct Dependence based Centralized Algorithm for WCP -- 5.5 A Vector Clock based Distributed Algorithm for WCP -- 5.6 A Centralized Algorithm for Generalized Conjunctive Predicates -- 5.7 A Vector Clock based Distributed GCP Detection Algorithm -- 5.8 Exercises -- 5.9 Bibliographic Remarks -- 6 Relational Possible Global Predicates -- 6.1 Introduction -- 6.2 Relational Predicate with Two Integer Variables -- 6.3 Relational predicates with N Boolean Variables -- 6.4 Bounded Sum Predicates -- 6.5 Exercises -- 6.6 Bibliographic Remarks -- 7 Inevitable Global Predicates -- 7.1 Introduction -- 7.2 Global Sequence -- 7.3 Logic for Global Predicates -- 7.4 Strong Conjunctive Predicates -- 7.5 Algorithms for Detecting SCP -- 7.6 Exercises -- 7.7 Bibliographic Remarks -- 8 Control Flow Predicates -- 8.1 Introduction -- 8.2 LRDAG Logic -- 8.3 Examples -- 8.4 Decentralized Detection Algorithm -- 8.5 Exercises -- 8.6 Bibliographic Remarks -- 9 Order -- 9.1 Introduction -- 9.2 Relationship among Message Orderings -- 9.3 FIFO Ordering of Messages -- 9.4 Causal Ordering Of Messages -- 9.5 Synchronous Ordering of Messages -- 9.6 Exercises -- 9.7 Bibliographic Remarks -- 10 Computation -- 10.1 Introduction -- 10.2 Global Functions -- 10.3 Repeated Computation -- 10.4 Exercises -- 10.5 Bibliographic Remarks -- References."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/38102635> ;
    schema:genre "Electronic books"@en ;
    schema:inLanguage "en" ;
    schema:isSimilarTo <http://worldcat.org/entity/work/data/38102635#CreativeWork/> ;
    schema:name "Principles of Distributed Systems"@en ;
    schema:productID "852788262" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/852788262#PublicationEvent/boston_ma_springer_us_1996> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/38102635#Agent/springer_us> ; # Springer US
    schema:url <http://dx.doi.org/10.1007/978-1-4613-1321-2> ;
    schema:workExample <http://worldcat.org/isbn/9781461313212> ;
    schema:workExample <http://dx.doi.org/10.1007/978-1-4613-1321-2> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/852788262> ;
    .


Related Entities

<http://id.worldcat.org/fast/1124185> # Software engineering
    a schema:Intangible ;
    schema:name "Software engineering"@en ;
    .

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

<http://viaf.org/viaf/85217353> # Vijay K. Garg
    a schema:Person ;
    schema:familyName "Garg" ;
    schema:givenName "Vijay K." ;
    schema:name "Vijay K. Garg" ;
    .

<http://worldcat.org/isbn/9781461313212>
    a schema:ProductModel ;
    schema:isbn "146131321X" ;
    schema:isbn "9781461313212" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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