Distributed Computing
Principles, Algorithms, and Systems

This comprehensive textbook covers the principles and models underlying the theory, algorithms and systems aspects of distributed computing.

Ajay D. Kshemkalyani (Author), Mukesh Singhal (Author)

9780521189842, Cambridge University Press

Paperback, published 3 March 2011

756 pages
24.6 x 18.9 x 3.8 cm, 1.45 kg

Designing distributed computing systems is a complex process requiring a solid understanding of the design problems and the theoretical and practical aspects of their solutions. This comprehensive textbook covers the fundamental principles and models underlying the theory, algorithms and systems aspects of distributed computing. Broad and detailed coverage of the theory is balanced with practical systems-related issues such as mutual exclusion, deadlock detection, authentication, and failure recovery. Algorithms are carefully selected, lucidly presented, and described without complex proofs. Simple explanations and illustrations are used to elucidate the algorithms. Important emerging topics such as peer-to-peer networks and network security are also considered. With vital algorithms, numerous illustrations, examples and homework problems, this textbook is suitable for advanced undergraduate and graduate students of electrical and computer engineering and computer science. Practitioners in data networking and sensor networks will also find this a valuable resource. Additional resources are available online at www.cambridge.org/9780521876346.

1. Introduction
2. A model of distributed computations
3. Logical time
4. Global state and snapshot recording algorithms
5. Terminology and basic algorithms
6. Message ordering and group communication
7. Termination detection
8. Reasoning with knowledge
9. Distributed mutual exclusion algorithms
10. Deadlock detection in distributed systems
11. Global predicate detection
12. Distributed shared memory
13. Checkpointing and rollback recovery
14. Consensus and agreement algorithms
15. Failure detectors
16. Authentication in distributed system
17. Self-stabilization
18. Peer-to-peer computing and overlay graphs
Index.

Subject Areas: Communications engineering / telecommunications [TJK]