Elements of Distributed Computing (Hardcover)

Foreword.

Preface.

Introduction.

Model of a Computation.

Logical Clocks.

Verifying Clock Algorithms.

Clocks of Different Dimensions.

Mutual Exclusion: Using Timestamps.

Mutual Exclusion: Tokens and Quorums.

Drinking Philosophers Problem.

Leader Election.

Global State.

Observing Global Predicates.

Observing Conjuctive Predicates.

Channel Predicates.

Termination Detection.

Control of a Distributed Computation.

Causal Message Ordering.

Synchronous and Total Message Ordering.

Computation of a Global Functon.

Repeated Global Computation of a Global Function.

Synchronizers.

Slicers.

Distributed Shared Memory.

Self-Stabilization.

Knowledge and Common Knowledge.

Consensus Under Asynchrony.

Consensus Under Synchrony.

Failure Detectors.

Easy Problems in Asychronous Systems.

Checkpointing for Recovery.

Message Logging for Recovery.

Appendix: Partial Orders.

Bibliography.

Index.