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 the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.

Start your free trial