Combinatorial Topology and Distributed ComputingBy
- Maurice Herlihy, Professor of Computer Science, Brown University, Providence, RI, USA
Combinatorial Topology and Distributed Computing describes techniques for analyzing distributed algorithms based on award-winning combinatorial topology research. The authors present a solid theoretical foundation relevant to many real systems reliant on parallelism with unpredictable delays, such as multicore microprocessors, wireless networks, distributed systems, and internet protocols.
Today, a new student or researcher must assemble a collection of scattered conference publications, which are often terse, and often using different notations and terminologies. This book provides a self-contained explanation of the mathematics to readers with computer science backgrounds, as well as explaining computer science concepts to readers with backgrounds in applied mathematics. The first section presents mathematical notions and models including message-passing and shared-memory systems, failures, and timing models. The next section presents core concepts in two chapters each: first, proving a simple result which lends itself to examples and pictures that will build up readers' intuition; then generalizing the concept to prove a more sophisticated result. The overall result weaves together and develops the basic concepts of the field, presenting them in a gradual and intuitively-appealing way. The book's final section discusses advanced topics typically found in a graduate-level course, for those who wish to explore further.
Paperback, 320 Pages
Published: November 2013
Imprint: Morgan Kaufmann
Elements of combinatorial topology
Manifolds, impossibility and separation
Adversaries and colorless tasks
Chains and chain maps
Classifying loop agreement tools
Immediate snapshot subdivisions