Introduction to reliable distributed programming:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2006
|
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Physical Description: | XVIII, 299 S. graph. Darst. 235 mm x 155 mm |
| ISBN: | 3540288457 9783540288459 |
Staff View
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV021817138 | ||
| 003 | DE-604 | ||
| 005 | 20061220 | ||
| 007 | t | ||
| 008 | 061120s2006 gw d||| |||| 00||| eng d | ||
| 015 | |a 05,N34,0592 |2 dnb | ||
| 016 | 7 | |a 975907557 |2 DE-101 | |
| 020 | |a 3540288457 |c Gb. : ca. EUR 53.45 (freier Pr.), ca. sfr 88.50 (freier Pr.) |9 3-540-28845-7 | ||
| 020 | |a 9783540288459 |9 978-3-540-28845-9 | ||
| 024 | 3 | |a 9783540288459 | |
| 028 | 5 | 2 | |a 11548928 |
| 035 | |a (OCoLC)64626224 | ||
| 035 | |a (DE-599)BVBBV021817138 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-824 |a DE-19 |a DE-703 |a DE-29T |a DE-634 |a DE-83 |a DE-861 |a DE-188 | ||
| 050 | 0 | |a QA76.9.D5 | |
| 082 | 0 | |a 005.1/4 |2 22 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 084 | |a 510 |2 sdnb | ||
| 100 | 1 | |a Guerraoui, Rachid |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Introduction to reliable distributed programming |c Rachid Guerraoui ; Luìs Rodrigues |
| 246 | 1 | 3 | |a Reliable distributed programming |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2006 | |
| 300 | |a XVIII, 299 S. |b graph. Darst. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 650 | 7 | |a Sistemas distribuídos |2 larpcal | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Computer software |x Reliability | |
| 650 | 4 | |a Electronic data processing |x Distributed processing | |
| 650 | 0 | 7 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a API |0 (DE-588)4430243-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verteilte Programmierung |0 (DE-588)4421492-3 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Verteilte Programmierung |0 (DE-588)4421492-3 |D s |
| 689 | 0 | 1 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Verteilte Programmierung |0 (DE-588)4421492-3 |D s |
| 689 | 1 | 1 | |a Zuverlässigkeit |0 (DE-588)4059245-5 |D s |
| 689 | 1 | 2 | |a API |0 (DE-588)4430243-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Rodrigues, Luís |e Verfasser |4 aut | |
| 856 | 4 | 2 | |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=2668224&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015029339&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-015029339 | ||
Record in the Search Index
| _version_ | 1804135740837199872 |
|---|---|
| adam_text | RACHID GUERRAOU
I YY LUIS RODRIGUES
INTRODUCTION TO
RELIABLE DISTRIBUTED
PROGRAMMING
WITH 31 FIGURES
4Y SPRINGER
CONTENTS
1. INTRODUCTIO
N
1.1 MOTIVATION
1.2 DISTRIBUTED PROGRAMMING ABSTRACTIONS.
1.2.1 INHERENT DISTRIBUTION
1.2.2 DISTRIBUTION AS AN ARTIFACT
1.3 THE END-TO-END ARGUMENT
1.4 SOFTWARE COMPONENTS
1.4.1 COMPOSITION MODEL
1.4.2 PROGRAMMING INTERFACE
1.4.3 MODULES
1.4.4 CLASSES OF ALGORITHMS
1.5 HANDS-ON
1.5.1 PRINT MODULE
1.5.2 BOUNDEDPRINT MODULE
1.5.3 COMPOSING MODULES
2
. BASI
C ABSTRACTION
S
2.1 DISTRIBUTED COMPUTATION
2.1.1 PROCESSES AND MESSAGES
2.1.2 AUTOMATA AND STEPS
2.1.3 LIVENESS AND SAFETY
2.2 ABSTRACTING PROCESSES
2.2.1 PROCESS FAILURES
2.2.2 ARBITRARY FAULTS AND OMISSIONS
2.2.3 CRASHES
2.2.4 RECOVERIES
2.3 ABSTRACTING COMMUNICATION
2.3.1 LINK FAILURES
2.3.2 FAIR-LOSS LINKS
2.3.3 STUBBORN LINKS
2.3.4 PERFECT LINKS
2.3.5 LOGGED PERFECT LINKS
2.3.6 ON THE LINK ABSTRACTIONS
2.4 TIMING ASSUMPTIONS
XIV CONTENTS
2.4.1 ASYNCHRONOUS SYSTEM 43
2.4.2 SYNCHRONOUS SYSTEM 45
2.4.3 PARTIAL SYNCHRONY 46
2.5 ABSTRACTING TIME 47
2.5.1 FAILURE DETECTION 47
2.5.2 PERFECT FAILURE DETECTION 48
2.5.3 LEADER ELECTION 50
2.5.4 EVENTUALLY PERFECT FAILURE DETECTION 51
2.5.5 EVENTUAL LEADER ELECTION 54
2.6 DISTRIBUTED SYSTEM MODELS 58
2.6.1 COMBINING ABSTRACTIONS 58
2.6.2 MEASURING PERFORMANCE 59
2.7 HANDS-ON 60
2.7.1 SENDABLE EVENT 60
2.7.2 MESSAGE AND EXTENDED MESSAGE 61
2.7.3 FAIR-LOSS POINT-TOPOIN
T LINKS 62
2.7.4 PERFECT POINT-TO-POINT LINKS 62
2.7.5 PERFECT FAILURE DETECTOR 63
2.8 EXERCISES 64
2.9 SOLUTIONS 65
2.10 HISTORICAL NOTES 67
3. RELIABL
E BROADCAST
69
3.1 MOTIVATION 69
3.1.1 CLIENT-SERVER COMPUTING 69
3.1.2 MULTI-PARTICIPANT SYSTEMS 70
3.2 BEST-EFFORT BROADCAST 71
3.2.1 SPECIFICATION 71
3.2.2 FAIL-SILENT ALGORITHM: BASIC BROADCAST 71
3.3 REGULAR RELIABLE BROADCAST 72
3.3.1 SPECIFICATION 73
3.3.2 FAIL-STOP ALGORITHM: LAZY RELIABLE BROADCAST 73
3.3.3 FAIL-SILENT ALGORITHM: EAGER RELIABLE BROADCAST 74
3.4 UNIFORM RELIABLE BROADCAST 76
3.4.1 SPECIFICATION 77
3.4.2 FAIL-STOP ALGORITHM:
ALL-ACK UNIFORM RELIABLE BROADCAST 78
3.4.3 FAIL-SILENT ALGORITHM:
MAJORITY-ACK UNIFORM RELIABLE BROADCAST 79
3.5 STUBBORN BROADCAST 81
3.5.1 OVERVIEW 81
3.5.2 SPECIFICATION 81
3.5.3 FAIL-RECOVERY ALGORITHM: BASIC STUBBORN BROADCAST . . 82
3.6 LOGGED BEST-EFFORT BROADCAST 83
3.6.1 SPECIFICATION 83
XV
3.6.2 FAIL-RECOVERY ALGORITHM
: LOGGED BASIC BROADCAS
T ...
. 8
3
3.7 LOGGED UNIFORM RELIABL
E BROADCAS
T 84
3.7.1 SPECIFICATION 85
3.7.2 FAIL-RECOVERY ALGORITHM
: LOGGED MAJORITY-AC
K URB.
. 8
6
3.8 RANDOMIZE
D BROADCAS
T 86
3.8.1 TH
E SCALABILITY OF RELIABLE BROADCAS
T 87
3.8.2 EPIDEMI
C DISSEMINATIO
N 88
3.8.3 SPECIFICATION 88
3.8.4 RANDOMIZE
D ALGORITHM
: EAGE
R PROBABILISTI
C BROADCAS
T 89
3.8.5 RANDOMIZE
D ALGORITHM
: LAZY PROBABILISTI
C BROADCAS
T . 91
3.9 CAUSA
L BROADCAS
T 94
3.9.1 OVERVIEW 94
3.9.2 SPECIFICATIONS 94
3.9.3 FAIL-SILENT ALGORITHM
: NO-WAITIN
G CAUSA
L BROADCAS
T . . 96
3.9.4 FAIL-STO
P EXTENSION
:
GARBAG
E COLLECTING TH
E CAUSA
L PAS
T 9
8
3.9.5 FAIL-SILENT ALGORITHM
: WAITIN
G CAUSA
L BROADCAS
T 98
3.10 HANDS-O
N 101
3.10.1 BASIC BROADCAS
T 101
3.10.2 LAZY RELIABL
E BROADCAS
T 103
3.10.3 ALL-ACK UNIFORM RELIABL
E BROADCAS
T 106
3.10.4 MAJORITY-AC
K UR
B 108
3.10.5 PROBABILISTI
C RELIABL
E BROADCAS
T 109
3.10.6 NO-WAITIN
G CAUSA
L BROADCAS
T 112
3.10.7 NO-WAITIN
G CAUSA
L BROADCAS
T WIT
H GARBAG
E COLLECTION 116
3.10.8 WAITIN
G CAUSA
L BROADCAS
T 122
3.11 EXERCISES 125
3.12 SOLUTION
S 127
3.13 HISTORICA
L NOTE
S 133
4
. SHARE
D MEMOR
Y
135
4.1 INTRODUCTIO
N 135
4.1.1 SHARIN
G INFORMATIO
N IN A DISTRIBUTE
D SYSTE
M 135
4.1.2 REGISTE
R OVERVIEW 136
4.1.3 COMPLETENES
S AN
D PRECEDENC
E 139
4.2 (1
, TV) REGULA
R REGISTE
R 140
4.2.1 SPECIFICATION 140
4.2.2 FAIL-STO
P ALGORITHM
:
READ-ON
E WRITE-ALL REGULA
R REGISTE
R 140
4.2.3 FAIL-SILENT ALGORITHM
:
MAJORIT
Y VOTING REGULA
R REGISTE
R 143
4.3 (1
, TV) ATOMI
C REGISTE
R 146
4.3.1 SPECIFICATION 146
4.3.2 TRANSFORMATION
:
FRO
M (1
, TV) REGULA
R TO (1
, TV) ATOMI
C 149
XVI CONTENTS
4.3.3 FAIL-STO
P ALGORITHM
:
READ-IMPOS
E WRITE-ALL (1
, TV) ATOMI
C REGISTE
R 153
4.3.4 FAIL-SILENT ALGORITHM
:
READ-IMPOS
E WRITE-MAJORIT
Y (1,TV) ATOMI
C REGISTER . . 155
4.4 (TV, TV) ATOMI
C REGISTE
R 157
4.4.1 MULTIPL
E WRITER
S 157
4.4.2 SPECIFICATION 158
4.4.3 TRANSFORMATION
:
FROM (1
, TV) ATOMI
C TO (TV, TV) ATOMI
C REGISTER
S 159
4.4.4 FAIL-STO
P ALGORITHM
:
READ-IMPOS
E WRITE-CONSUL
T (TV, TV) ATOMI
C REGISTER . . 162
4.4.5 FAIL-SILENT ALGORITHM
:
READ-IMPOS
E WRITE-CONSULT-MAJORIT
Y (TV, TV) ATOMI
C
REGISTE
R 162
4.5 (1
, TV) LOGGED REGULA
R REGISTE
R 164
4.5.1 PRECEDENC
E IN TH
E FAIL-RECOVERY MODEL 165
4.5.2 SPECIFICATION 166
4.5.3 FAIL-RECOVERY ALGORITHM
: LOGGED-MAJORITY-VOTING ...
. 167
4.6 HANDS-O
N 171
4.6.1 (1
, TV) REGULA
R REGISTE
R 171
4.6.2 (1
, TV) ATOMI
C REGISTE
R 174
4.6.3 (TV, TV) ATOMI
C REGISTE
R 178
4.7 EXERCISES 181
4.8 SOLUTION
S 182
4.9 HISTORICA
L NOTE
S 187
5
. CONSENSU
S 189
5.1 REGULA
R CONSENSU
S 189
5.1.1 SPECIFICATION 189
5.1.2 FAIL-STO
P ALGORITHM
: FLOODIN
G CONSENSU
S 190
5.1.3 FAIL-STO
P ALGORITHM
: HIERARCHICA
L CONSENSU
S 193
5.2 UNIFORM CONSENSU
S 195
5.2.1 SPECIFICATION 195
5.2.2 FAIL-STO
P ALGORITHM
: FLOODIN
G UNIFORM CONSENSU
S ...
. 196
5.2.3 FAIL-STO
P ALGORITHM
: HIERARCHICA
L UNIFORM CONSENSUS . 197
5.3 ABORTABL
E CONSENSU
S 199
5.3.1 OVERVIEW 199
5.3.2 SPECIFICATION 200
5.3.3 FAIL-SILENT ALGORITHM
: RW ABORTABL
E CONSENSU
S 201
5.3.4 FAIL-NOISY ALGORITHM
: FRO
M ABORTABL
E CONSENSU
S T
O
CONSENSU
S 204
5.4 LOGGED ABORTABL
E CONSENSU
S AN
D LOGGED CONSENSU
S 206
5.4.1 FAIL-RECOVERY ALGORITHM
: LOGGED ABORTABL
E CONSENSUS 206
5.5 RANDOMIZE
D CONSENSU
S 208
5.5.1 SPECIFICATION 208
XVII
5.5.2 RANDOMIZED ALGORITHM: PROBABILISTIC CONSENSUS 209
5.6 HANDS-ON 212
5.6.1 FLOODING REGULAR CONSENSUS PROTOCOL 212
5.6.2 HIERARCHICAL REGULAR CONSENSUS PROTOCOL 216
5.6.3 FLOODING UNIFORM CONSENSUS 219
5.6.4 HIERARCHICAL UNIFORM CONSENSUS 222
5.7 EXERCISES 225
5.8 SOLUTIONS 226
5.9 HISTORICAL NOTES 232
6. CONSENSU
S VARIANTS
233
6.1 TOTAL ORDER BROADCAST 233
6.1.1 OVERVIEW 233
6.1.2 SPECIFICATIONS 234
6.1.3 ALGORITHM: CONSENSUS-BASED TOTAL ORDER BROADCAST . . 236
6.2 TERMINATING RELIABLE BROADCAST 239
6.2.1 OVERVIEW 239
6.2.2 SPECIFICATION 240
6.2.3 ALGORITHM: CONSENSUS-BASED TRB 240
6.3 NON-BLOCKING ATOMIC COMMIT 242
6.3.1 OVERVIEW 242
6.3.2 SPECIFICATION 243
6.3.3 ALGORITHM: CONSENSUS-BASED NBAC 244
6.4 GROUP MEMBERSHIP 246
6.4.1 OVERVIEW 246
6.4.2 SPECIFICATION 247
6.4.3 ALGORITHM: CONSENSUS-BASED GROUP MEMBERSHIP 248
6.5 VIEW SYNCHRONOUS COMMUNICATION 249
6.5.1 OVERVIEW 249
6.5.2 SPECIFICATION 250
6.5.3 ALGORITHM: TRB-BASED VIEW SYNCHRONOUS BROADCAST . 251
6.5.4 ALGORITHM: CONSENSUS-BASED UNIFORM VIEW
SYNCHRONOUS BROADCAST 255
6.6 HANDS-ON 258
6.6.1 UNIFORM TOTAL ORDER BROADCAST 258
6.6.2 CONSENSUS-BASED NON-BLOCKING ATOMIC COMMIT 263
6.6.3 CONSENSUS-BASED GROUP MEMBERSHIP 266
6.6.4 TRB-BASED VIEW SYNCHRONY 269
6.7 EXERCICES 275
6.8 SOLUTIONS 276
6.9 HISTORICAL NOTES 285
7. CONCLUDIN
G REMARK
S
287
7.1
FURTHER IMPLEMENTATIONS 287
7.2 FURTHER READINGS 289
XVIII CONTENTS
BIBLIOGRAPH
Y 296
INDE
X 297
|
| adam_txt |
RACHID GUERRAOU
I YY LUIS RODRIGUES
INTRODUCTION TO
RELIABLE DISTRIBUTED
PROGRAMMING
WITH 31 FIGURES
4Y SPRINGER
CONTENTS
1. INTRODUCTIO
N
1.1 MOTIVATION
1.2 DISTRIBUTED PROGRAMMING ABSTRACTIONS.
1.2.1 INHERENT DISTRIBUTION
1.2.2 DISTRIBUTION AS AN ARTIFACT
1.3 THE END-TO-END ARGUMENT
1.4 SOFTWARE COMPONENTS
1.4.1 COMPOSITION MODEL
1.4.2 PROGRAMMING INTERFACE
1.4.3 MODULES
1.4.4 CLASSES OF ALGORITHMS
1.5 HANDS-ON
1.5.1 PRINT MODULE
1.5.2 BOUNDEDPRINT MODULE
1.5.3 COMPOSING MODULES
2
. BASI
C ABSTRACTION
S
2.1 DISTRIBUTED COMPUTATION
2.1.1 PROCESSES AND MESSAGES
2.1.2 AUTOMATA AND STEPS
2.1.3 LIVENESS AND SAFETY
2.2 ABSTRACTING PROCESSES
2.2.1 PROCESS FAILURES
2.2.2 ARBITRARY FAULTS AND OMISSIONS
2.2.3 CRASHES
2.2.4 RECOVERIES
2.3 ABSTRACTING COMMUNICATION
2.3.1 LINK FAILURES
2.3.2 FAIR-LOSS LINKS
2.3.3 STUBBORN LINKS
2.3.4 PERFECT LINKS
2.3.5 LOGGED PERFECT LINKS
2.3.6 ON THE LINK ABSTRACTIONS
2.4 TIMING ASSUMPTIONS
XIV CONTENTS
2.4.1 ASYNCHRONOUS SYSTEM 43
2.4.2 SYNCHRONOUS SYSTEM 45
2.4.3 PARTIAL SYNCHRONY 46
2.5 ABSTRACTING TIME 47
2.5.1 FAILURE DETECTION 47
2.5.2 PERFECT FAILURE DETECTION 48
2.5.3 LEADER ELECTION 50
2.5.4 EVENTUALLY PERFECT FAILURE DETECTION 51
2.5.5 EVENTUAL LEADER ELECTION 54
2.6 DISTRIBUTED SYSTEM MODELS 58
2.6.1 COMBINING ABSTRACTIONS 58
2.6.2 MEASURING PERFORMANCE 59
2.7 HANDS-ON 60
2.7.1 SENDABLE EVENT 60
2.7.2 MESSAGE AND EXTENDED MESSAGE 61
2.7.3 FAIR-LOSS POINT-TOPOIN
T LINKS 62
2.7.4 PERFECT POINT-TO-POINT LINKS 62
2.7.5 PERFECT FAILURE DETECTOR 63
2.8 EXERCISES 64
2.9 SOLUTIONS 65
2.10 HISTORICAL NOTES 67
3. RELIABL
E BROADCAST
69
3.1 MOTIVATION 69
3.1.1 CLIENT-SERVER COMPUTING 69
3.1.2 MULTI-PARTICIPANT SYSTEMS 70
3.2 BEST-EFFORT BROADCAST 71
3.2.1 SPECIFICATION 71
3.2.2 FAIL-SILENT ALGORITHM: BASIC BROADCAST 71
3.3 REGULAR RELIABLE BROADCAST 72
3.3.1 SPECIFICATION 73
3.3.2 FAIL-STOP ALGORITHM: LAZY RELIABLE BROADCAST 73
3.3.3 FAIL-SILENT ALGORITHM: EAGER RELIABLE BROADCAST 74
3.4 UNIFORM RELIABLE BROADCAST 76
3.4.1 SPECIFICATION 77
3.4.2 FAIL-STOP ALGORITHM:
ALL-ACK UNIFORM RELIABLE BROADCAST 78
3.4.3 FAIL-SILENT ALGORITHM:
MAJORITY-ACK UNIFORM RELIABLE BROADCAST 79
3.5 STUBBORN BROADCAST 81
3.5.1 OVERVIEW 81
3.5.2 SPECIFICATION 81
3.5.3 FAIL-RECOVERY ALGORITHM: BASIC STUBBORN BROADCAST . . 82
3.6 LOGGED BEST-EFFORT BROADCAST 83
3.6.1 SPECIFICATION 83
XV
3.6.2 FAIL-RECOVERY ALGORITHM
: LOGGED BASIC BROADCAS
T .
. 8
3
3.7 LOGGED UNIFORM RELIABL
E BROADCAS
T 84
3.7.1 SPECIFICATION 85
3.7.2 FAIL-RECOVERY ALGORITHM
: LOGGED MAJORITY-AC
K URB.
. 8
6
3.8 RANDOMIZE
D BROADCAS
T 86
3.8.1 TH
E SCALABILITY OF RELIABLE BROADCAS
T 87
3.8.2 EPIDEMI
C DISSEMINATIO
N 88
3.8.3 SPECIFICATION 88
3.8.4 RANDOMIZE
D ALGORITHM
: EAGE
R PROBABILISTI
C BROADCAS
T 89
3.8.5 RANDOMIZE
D ALGORITHM
: LAZY PROBABILISTI
C BROADCAS
T . 91
3.9 CAUSA
L BROADCAS
T 94
3.9.1 OVERVIEW 94
3.9.2 SPECIFICATIONS 94
3.9.3 FAIL-SILENT ALGORITHM
: NO-WAITIN
G CAUSA
L BROADCAS
T . . 96
3.9.4 FAIL-STO
P EXTENSION
:
GARBAG
E COLLECTING TH
E CAUSA
L PAS
T 9
8
3.9.5 FAIL-SILENT ALGORITHM
: WAITIN
G CAUSA
L BROADCAS
T 98
3.10 HANDS-O
N 101
3.10.1 BASIC BROADCAS
T 101
3.10.2 LAZY RELIABL
E BROADCAS
T 103
3.10.3 ALL-ACK UNIFORM RELIABL
E BROADCAS
T 106
3.10.4 MAJORITY-AC
K UR
B 108
3.10.5 PROBABILISTI
C RELIABL
E BROADCAS
T 109
3.10.6 NO-WAITIN
G CAUSA
L BROADCAS
T 112
3.10.7 NO-WAITIN
G CAUSA
L BROADCAS
T WIT
H GARBAG
E COLLECTION 116
3.10.8 WAITIN
G CAUSA
L BROADCAS
T 122
3.11 EXERCISES 125
3.12 SOLUTION
S 127
3.13 HISTORICA
L NOTE
S 133
4
. SHARE
D MEMOR
Y
135
4.1 INTRODUCTIO
N 135
4.1.1 SHARIN
G INFORMATIO
N IN A DISTRIBUTE
D SYSTE
M 135
4.1.2 REGISTE
R OVERVIEW 136
4.1.3 COMPLETENES
S AN
D PRECEDENC
E 139
4.2 (1
, TV) REGULA
R REGISTE
R 140
4.2.1 SPECIFICATION 140
4.2.2 FAIL-STO
P ALGORITHM
:
READ-ON
E WRITE-ALL REGULA
R REGISTE
R 140
4.2.3 FAIL-SILENT ALGORITHM
:
MAJORIT
Y VOTING REGULA
R REGISTE
R 143
4.3 (1
, TV) ATOMI
C REGISTE
R 146
4.3.1 SPECIFICATION 146
4.3.2 TRANSFORMATION
:
FRO
M (1
, TV) REGULA
R TO (1
, TV) ATOMI
C 149
XVI CONTENTS
4.3.3 FAIL-STO
P ALGORITHM
:
READ-IMPOS
E WRITE-ALL (1
, TV) ATOMI
C REGISTE
R 153
4.3.4 FAIL-SILENT ALGORITHM
:
READ-IMPOS
E WRITE-MAJORIT
Y (1,TV) ATOMI
C REGISTER . . 155
4.4 (TV, TV) ATOMI
C REGISTE
R 157
4.4.1 MULTIPL
E WRITER
S 157
4.4.2 SPECIFICATION 158
4.4.3 TRANSFORMATION
:
FROM (1
, TV) ATOMI
C TO (TV, TV) ATOMI
C REGISTER
S 159
4.4.4 FAIL-STO
P ALGORITHM
:
READ-IMPOS
E WRITE-CONSUL
T (TV, TV) ATOMI
C REGISTER . . 162
4.4.5 FAIL-SILENT ALGORITHM
:
READ-IMPOS
E WRITE-CONSULT-MAJORIT
Y (TV, TV) ATOMI
C
REGISTE
R 162
4.5 (1
, TV) LOGGED REGULA
R REGISTE
R 164
4.5.1 PRECEDENC
E IN TH
E FAIL-RECOVERY MODEL 165
4.5.2 SPECIFICATION 166
4.5.3 FAIL-RECOVERY ALGORITHM
: LOGGED-MAJORITY-VOTING .
. 167
4.6 HANDS-O
N 171
4.6.1 (1
, TV) REGULA
R REGISTE
R 171
4.6.2 (1
, TV) ATOMI
C REGISTE
R 174
4.6.3 (TV, TV) ATOMI
C REGISTE
R 178
4.7 EXERCISES 181
4.8 SOLUTION
S 182
4.9 HISTORICA
L NOTE
S 187
5
. CONSENSU
S 189
5.1 REGULA
R CONSENSU
S 189
5.1.1 SPECIFICATION 189
5.1.2 FAIL-STO
P ALGORITHM
: FLOODIN
G CONSENSU
S 190
5.1.3 FAIL-STO
P ALGORITHM
: HIERARCHICA
L CONSENSU
S 193
5.2 UNIFORM CONSENSU
S 195
5.2.1 SPECIFICATION 195
5.2.2 FAIL-STO
P ALGORITHM
: FLOODIN
G UNIFORM CONSENSU
S .
. 196
5.2.3 FAIL-STO
P ALGORITHM
: HIERARCHICA
L UNIFORM CONSENSUS . 197
5.3 ABORTABL
E CONSENSU
S 199
5.3.1 OVERVIEW 199
5.3.2 SPECIFICATION 200
5.3.3 FAIL-SILENT ALGORITHM
: RW ABORTABL
E CONSENSU
S 201
5.3.4 FAIL-NOISY ALGORITHM
: FRO
M ABORTABL
E CONSENSU
S T
O
CONSENSU
S 204
5.4 LOGGED ABORTABL
E CONSENSU
S AN
D LOGGED CONSENSU
S 206
5.4.1 FAIL-RECOVERY ALGORITHM
: LOGGED ABORTABL
E CONSENSUS 206
5.5 RANDOMIZE
D CONSENSU
S 208
5.5.1 SPECIFICATION 208
XVII
5.5.2 RANDOMIZED ALGORITHM: PROBABILISTIC CONSENSUS 209
5.6 HANDS-ON 212
5.6.1 FLOODING REGULAR CONSENSUS PROTOCOL 212
5.6.2 HIERARCHICAL REGULAR CONSENSUS PROTOCOL 216
5.6.3 FLOODING UNIFORM CONSENSUS 219
5.6.4 HIERARCHICAL UNIFORM CONSENSUS 222
5.7 EXERCISES 225
5.8 SOLUTIONS 226
5.9 HISTORICAL NOTES 232
6. CONSENSU
S VARIANTS
233
6.1 TOTAL ORDER BROADCAST 233
6.1.1 OVERVIEW 233
6.1.2 SPECIFICATIONS 234
6.1.3 ALGORITHM: CONSENSUS-BASED TOTAL ORDER BROADCAST . . 236
6.2 TERMINATING RELIABLE BROADCAST 239
6.2.1 OVERVIEW 239
6.2.2 SPECIFICATION 240
6.2.3 ALGORITHM: CONSENSUS-BASED TRB 240
6.3 NON-BLOCKING ATOMIC COMMIT 242
6.3.1 OVERVIEW 242
6.3.2 SPECIFICATION 243
6.3.3 ALGORITHM: CONSENSUS-BASED NBAC 244
6.4 GROUP MEMBERSHIP 246
6.4.1 OVERVIEW 246
6.4.2 SPECIFICATION 247
6.4.3 ALGORITHM: CONSENSUS-BASED GROUP MEMBERSHIP 248
6.5 VIEW SYNCHRONOUS COMMUNICATION 249
6.5.1 OVERVIEW 249
6.5.2 SPECIFICATION 250
6.5.3 ALGORITHM: TRB-BASED VIEW SYNCHRONOUS BROADCAST . 251
6.5.4 ALGORITHM: CONSENSUS-BASED UNIFORM VIEW
SYNCHRONOUS BROADCAST 255
6.6 HANDS-ON 258
6.6.1 UNIFORM TOTAL ORDER BROADCAST 258
6.6.2 CONSENSUS-BASED NON-BLOCKING ATOMIC COMMIT 263
6.6.3 CONSENSUS-BASED GROUP MEMBERSHIP 266
6.6.4 TRB-BASED VIEW SYNCHRONY 269
6.7 EXERCICES 275
6.8 SOLUTIONS 276
6.9 HISTORICAL NOTES 285
7. CONCLUDIN
G REMARK
S
287
7.1
FURTHER IMPLEMENTATIONS 287
7.2 FURTHER READINGS 289
XVIII CONTENTS
BIBLIOGRAPH
Y 296
INDE
X 297 |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author | Guerraoui, Rachid Rodrigues, Luís |
| author_facet | Guerraoui, Rachid Rodrigues, Luís |
| author_role | aut aut |
| author_sort | Guerraoui, Rachid |
| author_variant | r g rg l r lr |
| building | Verbundindex |
| bvnumber | BV021817138 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.D5 |
| callnumber-search | QA76.9.D5 |
| callnumber-sort | QA 276.9 D5 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 230 |
| ctrlnum | (OCoLC)64626224 (DE-599)BVBBV021817138 |
| dewey-full | 005.1/4 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/4 |
| dewey-search | 005.1/4 |
| dewey-sort | 15.1 14 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik |
| discipline_str_mv | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02378nam a2200589 c 4500</leader><controlfield tag="001">BV021817138</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20061220 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">061120s2006 gw d||| |||| 00||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">05,N34,0592</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">975907557</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540288457</subfield><subfield code="c">Gb. : ca. EUR 53.45 (freier Pr.), ca. sfr 88.50 (freier Pr.)</subfield><subfield code="9">3-540-28845-7</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783540288459</subfield><subfield code="9">978-3-540-28845-9</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783540288459</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">11548928</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)64626224</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV021817138</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-824</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.D5</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/4</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">510</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Guerraoui, Rachid</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Introduction to reliable distributed programming</subfield><subfield code="c">Rachid Guerraoui ; Luìs Rodrigues</subfield></datafield><datafield tag="246" ind1="1" ind2="3"><subfield code="a">Reliable distributed programming</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2006</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVIII, 299 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</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="650" ind1=" " ind2="7"><subfield code="a">Sistemas distribuídos</subfield><subfield code="2">larpcal</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer software</subfield><subfield code="x">Reliability</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing</subfield><subfield code="x">Distributed processing</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">API</subfield><subfield code="0">(DE-588)4430243-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verteilte Programmierung</subfield><subfield code="0">(DE-588)4421492-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Verteilte Programmierung</subfield><subfield code="0">(DE-588)4421492-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Verteilte Programmierung</subfield><subfield code="0">(DE-588)4421492-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Zuverlässigkeit</subfield><subfield code="0">(DE-588)4059245-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">API</subfield><subfield code="0">(DE-588)4430243-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Rodrigues, Luís</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=2668224&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</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=015029339&sequence=000001&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-015029339</subfield></datafield></record></collection> |
| id | DE-604.BV021817138 |
| illustrated | Illustrated |
| index_date | 2024-07-02T15:52:50Z |
| indexdate | 2024-07-09T20:45:19Z |
| institution | BVB |
| isbn | 3540288457 9783540288459 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-015029339 |
| oclc_num | 64626224 |
| open_access_boolean | |
| owner | DE-824 DE-19 DE-BY-UBM DE-703 DE-29T DE-634 DE-83 DE-861 DE-188 |
| owner_facet | DE-824 DE-19 DE-BY-UBM DE-703 DE-29T DE-634 DE-83 DE-861 DE-188 |
| physical | XVIII, 299 S. graph. Darst. 235 mm x 155 mm |
| publishDate | 2006 |
| publishDateSearch | 2006 |
| publishDateSort | 2006 |
| publisher | Springer |
| record_format | marc |
| spelling | Guerraoui, Rachid Verfasser aut Introduction to reliable distributed programming Rachid Guerraoui ; Luìs Rodrigues Reliable distributed programming Berlin [u.a.] Springer 2006 XVIII, 299 S. graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Sistemas distribuídos larpcal Datenverarbeitung Computer software Reliability Electronic data processing Distributed processing Zuverlässigkeit (DE-588)4059245-5 gnd rswk-swf API (DE-588)4430243-5 gnd rswk-swf Verteilte Programmierung (DE-588)4421492-3 gnd rswk-swf Verteilte Programmierung (DE-588)4421492-3 s Zuverlässigkeit (DE-588)4059245-5 s DE-604 API (DE-588)4430243-5 s Rodrigues, Luís Verfasser aut text/html http://deposit.dnb.de/cgi-bin/dokserv?id=2668224&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015029339&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Guerraoui, Rachid Rodrigues, Luís Introduction to reliable distributed programming Sistemas distribuídos larpcal Datenverarbeitung Computer software Reliability Electronic data processing Distributed processing Zuverlässigkeit (DE-588)4059245-5 gnd API (DE-588)4430243-5 gnd Verteilte Programmierung (DE-588)4421492-3 gnd |
| subject_GND | (DE-588)4059245-5 (DE-588)4430243-5 (DE-588)4421492-3 |
| title | Introduction to reliable distributed programming |
| title_alt | Reliable distributed programming |
| title_auth | Introduction to reliable distributed programming |
| title_exact_search | Introduction to reliable distributed programming |
| title_exact_search_txtP | Introduction to reliable distributed programming |
| title_full | Introduction to reliable distributed programming Rachid Guerraoui ; Luìs Rodrigues |
| title_fullStr | Introduction to reliable distributed programming Rachid Guerraoui ; Luìs Rodrigues |
| title_full_unstemmed | Introduction to reliable distributed programming Rachid Guerraoui ; Luìs Rodrigues |
| title_short | Introduction to reliable distributed programming |
| title_sort | introduction to reliable distributed programming |
| topic | Sistemas distribuídos larpcal Datenverarbeitung Computer software Reliability Electronic data processing Distributed processing Zuverlässigkeit (DE-588)4059245-5 gnd API (DE-588)4430243-5 gnd Verteilte Programmierung (DE-588)4421492-3 gnd |
| topic_facet | Sistemas distribuídos Datenverarbeitung Computer software Reliability Electronic data processing Distributed processing Zuverlässigkeit API Verteilte Programmierung |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=2668224&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=015029339&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT guerraouirachid introductiontoreliabledistributedprogramming AT rodriguesluis introductiontoreliabledistributedprogramming AT guerraouirachid reliabledistributedprogramming AT rodriguesluis reliabledistributedprogramming |