Index

α synchronizer, 226

β synchronizer, 230

γ synchronizer, 230

abort, 233

ACID properties, 254

agreement, 240, 248

AlphaSynch.java, 229

anonymous ring, 210

asynchronous recovery, 272

asynchrony of events, 235

atomic, 66

atomic snapshots, 76

atomicity, 254

Attemptl.java, 20

Attempt2.java, 21

Attempt3.java, 2 1

bakery algorithm, 24

Bakery.java, 25

barrier synchronization, 187

BCell.java, 49

binary semaphore, 31

BinarySemaphore.java, 32

bivalent, 236

bivalent state, 79

BoundedBuffer.java, 35

BoundedBufferMonitor.java, 45

broadcast, 213, 215

busy wait, 31

Byzantine failure, 239

Byzantine General Agreement, 243

Camera.java, 152

CameraLinker.java, 158

CameraTester.java, 160

CamUser.java, 152

causal consistency, 60

causal ordering, 192, 193

causal total order, 203

CausalLinker.java, 195

CausalMessage.java, 194

Cell.java, 50

CentMutex.java, 134

centralized algorithm, 203

CentSensor.java, 167

Chang-Roberts algorithm, 210

Chat.java, 197

checker process, 166

checkpoint, 263

checkpointing, 268

CircToken.java, 145

clocks, 111, 115

clustering, 230

commit, 233

common knowledge, 247

communication-induced checkpointing, 264, 267

commute property, 235

CompSwap.java, 82

CompSwapConsensus.java, 83

concurrent, 115

concurrent object, 53

concurrent queue, 86

concurrent system, 54

condition variables, 42

conditional synchronization, 33

conflict graph, 140

Conriector.java, 102

consensus, 78, 233, 239

consensus number, 79

Consensus.java, 78, 242

ConsensusTester.java, 243

consistency, 254

consistent cut, ...

Get Concurrent and Distributed Computing in Java now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.