Principles of distributed systems:
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...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Boston [u.a.]
Kluwer
2011
|
| Ausgabe: | [softcover repr. of the original 1. ed 1996] |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Zusammenfassung: | 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 |
| Beschreibung: | 254 S. |
| ISBN: | 9781461285670 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV042368593 | ||
| 003 | DE-604 | ||
| 005 | 20150310 | ||
| 007 | t | ||
| 008 | 150218s2011 |||| 00||| eng d | ||
| 020 | |a 9781461285670 |9 978-1-4612-8567-0 | ||
| 035 | |a (OCoLC)904783434 | ||
| 035 | |a (DE-599)BVBBV042368593 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 | ||
| 084 | |a ST 200 |0 (DE-625)143611: |2 rvk | ||
| 100 | 1 | |a Garg, Vijay Kumar |d 1938- |e Verfasser |0 (DE-588)135586151 |4 aut | |
| 245 | 1 | 0 | |a Principles of distributed systems |c by Vijay K. Garg |
| 250 | |a [softcover repr. of the original 1. ed 1996] | ||
| 264 | 1 | |a Boston [u.a.] |b Kluwer |c 2011 | |
| 300 | |a 254 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 520 | 1 | |a 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 | |
| 650 | 0 | 7 | |a Verteiltes System |0 (DE-588)4238872-7 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Verteiltes System |0 (DE-588)4238872-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 856 | 4 | 2 | |m Digitalisierung UB Passau - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027804896&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027804896 | ||
Datensatz im Suchindex
| _version_ | 1804153003828051968 |
|---|---|
| adam_text | CONTENTS
LIST OF FIGURES
m
PREFACE
xv
INTRODUCTION TO
ЇШТМІМЛЖІ
Introduction
!
Distributed Systems versus Parallel Systems
2
Partial Orders
3
Notation
6
Overview of the book
7
Exercises
8
Bibliographic Remarks
9
TIME
1.1
Introduction
Π
1.2
Mode! of a distributed system
! 2
1.3
Logical Clocks
15
1.4
Vector Clocks
Л0
1.5
Direct Dependency
С ЯпсИ
33
1.6
Higher
Dimensionai
O.orfe
37
1.7
Exercises
<Ή
1.8
Bibiiogiaphic
ReuìadvH
ą*,
MUTUAL· EXCLUSION
2.1
Introduction
49
2.2
Problem
Ю
2.3
Lamport s Algorithm
52
vn
viii
Principles of Distributed Systems
2.4
Ricart and Agrawala s Algorithm
60
2.5
Centralized Algorithm
65
2.6
Dijkstra s
Self-stabilizing Algorithm
67
2.7
Exercises
69
2.8
Bibliographic Remarks
69
GLOBAL STATE
3.1
Introduction
71
3.2
Consistent Cuts
73
3.3
Global Snapshots of Processes
75
3.4
Global Snapshots of Processes and Channels
77
3.5
Global Snapshots for non-FIFO channels
79
3.6
Applications of Global Snapshot Algorithms
79
3.7
Exercises
82
3.8
Bibliographic Remarks
84
POSSIBLE GLOBAL PREDICATES
4.1
Introduction
85
4.2
Possibility of a Global Predicate
86
4.3
NP-Completeness of Global Predicate Detection
87
4.4
Linear Predicates
88
4.5
Semi-Linear Predicates
93
4.6
Exercises
94
4.7
Bibliographic Remarks
95
CONJUNCTIVE POSSIBLE GLOBAL
PREDICATES
5.1
Introduction
97
5.2
Weak Conjunctive Predicates
98
5.3
A Vector Clock based Centralized Algorithm for WCP
99
5.4
A Direct Dependence based Centralized Algorithm for WCP
108
5.5
A Vector Clock based Distributed Algorithm for WCP
111
5.6
A Centralized Algorithm for Generalized Conjunctive Predicates
115
5
Л
A Vector Clock based Distributed GCP Detection Algorithm
127
5.8
Exercises
134
5.9
Bibliographic Remarks
136
Contents
6 RELATIONAL
POSSIBLE
GLOBAL
PREDICATES
6.1
Introduction
137
6.2
Relational Predicate with Two Integer Variables
138
6.3
Relational predicates with
N
Boolean Variables
148
6.4
Bounded Sum Predicates
16
í
6.5
Exercises
164
6.6
Bibliographic Remarks
164
7
INEVITABLE GLOBAL PREDICATES
7.1
Introduction
165
7.2
Global Sequence
166
7.3
Logic for Global Predicates
(68
7.4
Strong Conjunctive Predicates
169
7.5
Algorithms for Detecting
SCP
Ш
7.6
Exercises
176
7.7
Bibliographic Remarks
177
8
CONTROL FLOW PREDICATES
8.1
Introduction
179
8.2
LRDAG Logic
180
8.3
Examples
182
8.4
Decentralized Detection Algorithm
187
8.5
Exercises Ig9
8.6
Bibliographic Remarks
190
9
ORDER
9.1
Introduction g
9.2
Relationship among Message Qntodiifp*
3.93
9.3
FIFO Ordering of Messages
m¿
9.4
Causal
Orderiïig
Of Messages sic? /
9.5
S
у пспгопош
Ordering of
Шхжщгт
í
џџ
9.6
Exercises >j
9.7
Bi
■
biographie
Remarks
219,
10
COMPUTATION
10.1
Introduction ?,13
Principles of Distributed Systems
10.2
Global Functions
214
10.3
Repeated Computation
219
10.4
Exercises
245
10.5
Bibliographic Remarks
246
REFERENCES
247
INDEX
253
|
| any_adam_object | 1 |
| author | Garg, Vijay Kumar 1938- |
| author_GND | (DE-588)135586151 |
| author_facet | Garg, Vijay Kumar 1938- |
| author_role | aut |
| author_sort | Garg, Vijay Kumar 1938- |
| author_variant | v k g vk vkg |
| building | Verbundindex |
| bvnumber | BV042368593 |
| classification_rvk | ST 200 |
| ctrlnum | (OCoLC)904783434 (DE-599)BVBBV042368593 |
| discipline | Informatik |
| edition | [softcover repr. of the original 1. ed 1996] |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02943nam a2200337 c 4500</leader><controlfield tag="001">BV042368593</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150310 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">150218s2011 |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781461285670</subfield><subfield code="9">978-1-4612-8567-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)904783434</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042368593</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 200</subfield><subfield code="0">(DE-625)143611:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Garg, Vijay Kumar</subfield><subfield code="d">1938-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)135586151</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Principles of distributed systems</subfield><subfield code="c">by Vijay K. Garg</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">[softcover repr. of the original 1. ed 1996]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boston [u.a.]</subfield><subfield code="b">Kluwer</subfield><subfield code="c">2011</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">254 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" ind1="1" ind2=" "><subfield code="a">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</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Verteiltes System</subfield><subfield code="0">(DE-588)4238872-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027804896&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027804896</subfield></datafield></record></collection> |
| id | DE-604.BV042368593 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:19:42Z |
| institution | BVB |
| isbn | 9781461285670 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027804896 |
| oclc_num | 904783434 |
| open_access_boolean | |
| owner | DE-739 |
| owner_facet | DE-739 |
| physical | 254 S. |
| publishDate | 2011 |
| publishDateSearch | 2011 |
| publishDateSort | 2011 |
| publisher | Kluwer |
| record_format | marc |
| spelling | Garg, Vijay Kumar 1938- Verfasser (DE-588)135586151 aut Principles of distributed systems by Vijay K. Garg [softcover repr. of the original 1. ed 1996] Boston [u.a.] Kluwer 2011 254 S. txt rdacontent n rdamedia nc rdacarrier 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 Verteiltes System (DE-588)4238872-7 gnd rswk-swf Verteiltes System (DE-588)4238872-7 s DE-604 Digitalisierung UB Passau - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027804896&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Garg, Vijay Kumar 1938- Principles of distributed systems Verteiltes System (DE-588)4238872-7 gnd |
| subject_GND | (DE-588)4238872-7 |
| title | Principles of distributed systems |
| title_auth | Principles of distributed systems |
| title_exact_search | Principles of distributed systems |
| title_full | Principles of distributed systems by Vijay K. Garg |
| title_fullStr | Principles of distributed systems by Vijay K. Garg |
| title_full_unstemmed | Principles of distributed systems by Vijay K. Garg |
| title_short | Principles of distributed systems |
| title_sort | principles of distributed systems |
| topic | Verteiltes System (DE-588)4238872-7 gnd |
| topic_facet | Verteiltes System |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=027804896&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT gargvijaykumar principlesofdistributedsystems |