Introduction to Distributed Algorithms

The lower cost and increased flexibility and availability of computer networks means that they are rapidly replacing centralized 'mainframes'. The implementation of networked systems and the control of applications running in them require, however, the design of new techniques and methods: collectively known as distributed algorithms. In this textbook Professor Tel provides a clear, yet rigorous introduction to a large collection of these methods and the related theory that has been developed over the last fifteen years. He concentrates on algorithms for the point-to-point message passing model, and includes algorithms for the implementation of computer communication networks (i.e. routing, data transmission, connection management and techniques for avoiding deadlock). Other key areas discussed are algorithms for the control of distributed applications (wave, broadcast, election, termination detection, randomized algorithms for anonymous networks, snapshots, deadlock detection, synchronous systems), and fault-tolerance achievable by distributed algorithms (possibility or otherwise in asynchronous systems, consensus in synchronous systems, authentication, synchronization and stabilizing algorithms). Developed from lectures given to undergraduate and graduate students, this textbook comes complete with examples and exercises with solutions, but the treatment of algorithms is deep enough to ensure that it will be useful for practising engineers and scientists.

The second edition of this successful textbook provides an up-to-date introduction both to distributed algorithms and to the theory behind them. The clear presentation makes the book suitable for advanced undergraduate or graduate courses, whilst the coverage is sufficiently deep to make it useful for practising engineers and researchers. The author covers algorithms for: the implementation of computer communication networks; the control of distributed applications; fault-tolerance. The two new chapters on sense of direction and failure detectors will provide an entry to these still-developing topics.