Distributed Algorithms (The Morgan Kaufmann Series in Data Management Systems) [Hardcover]

Nancy A. Lynch (Author)

Book Description

Publication Date: March 15, 1996 | ISBN-10: 1558603484 | ISBN-13: 978-1558603486 | Edition: 1

In Distributed Algorithms, Nancy Lynch provides a blueprint for designing, implementing, and analyzing distributed algorithms. She directs her book at a wide audience, including students, programmers, system designers, and researchers.

Distributed Algorithms contains the most significant algorithms and impossibility results in the area, all in a simple automata-theoretic setting. The algorithms are proved correct, and their complexity is analyzed according to precisely defined complexity measures. The problems covered include resource allocation, communication, consensus among distributed processes, data consistency, deadlock detection, leader election, global snapshots, and many others.

The material is organized according to the system model-first by the timing model and then by the interprocess communication mechanism. The material on system models is isolated in separate chapters for easy reference.

The presentation is completely rigorous, yet is intuitive enough for immediate comprehension. This book familiarizes readers with important problems, algorithms, and impossibility results in the area: readers can then recognize the problems when they arise in practice, apply the algorithms to solve them, and use the impossibility results to determine whether problems are unsolvable. The book also provides readers with the basic mathematical tools for designing new algorithms and proving new impossibility results. In addition, it teaches readers how to reason carefully about distributed algorithms-to model them formally, devise precise specifications for their required behavior, prove their correctness, and evaluate their performance with realistic measures.

Editorial Reviews

Review

Shows students, programmers, system designers and researchers how to design, implement, and analyze distributed algorithms. Familiarizes readers with the most important problems, algorithms, and impossibility results in the area.

Provides the basic mathematical tools for designing new algorithms and proving new impossibility results. Teaches how to reason carefully about distributed algorithms--to model them formally, devise precise specifications for their required behavior, prove their correctness, and evaluate their performance with realistic measures.

Features:
* The most significant algorithms and impossibility results in the area, all in a simple automata-theoretic setting.
* The algorithms are proved correct, and their complexity analyzed according to precisely-defined complexity measures.
* The problems covered include resource allocation, communication, consensus among distributed processors, data consistency, deadlock detection, leader election, global snapshots, and many others.

The material is organized according to the system model -- first, according to the timing model, and then, by the interprocess communication mechanism. The material on system models is isolated into separate chapters for easy reference. -- Book Description

This is the finest texbook it has been my pleasure to review, and I strongly recommend it to both the specialist and the merely interested reader. The real contribution comes from the presentation of so many algorithms in a common and usable style. It does for distributed algorithms what Knuth Volume I did for sequential ones. -- Julian Padget (Mathematical Reviews, January 1997)

From the Back Cover

In Distributed Algorithms, Nancy Lynch provides a blueprint for designing, implementing, and analyzing distributed algorithms. She directs her book at a wide audience, including students, programmers, system designers, and researchers.

Distributed Algorithms contains the most significant algorithms and impossibility results in the area, all in a simple automata-theoretic setting. The algorithms are proved correct, and their complexity is analyzed according to precisely defined complexity measures. The problems covered include resource allocation, communication, consensus among distributed processes, data consistency, deadlock detection, leader election, global snapshots, and many others.

The material is organized according to the system model-first by the timing model and then by the interprocess communication mechanism. The material on system models is isolated in separate chapters for easy reference.

The presentation is completely rigorous, yet is intuitive enough for immediate comprehension. This book familiarizes readers with important problems, algorithms, and impossibility results in the area: readers can then recognize the problems when they arise in practice, apply the algorithms to solve them, and use the impossibility results to determine whether problems are unsolvable. The book also provides readers with the basic mathematical tools for designing new algorithms and proving new impossibility results. In addition, it teaches readers how to reason carefully about distributed algorithms-to model them formally, devise precise specifications for their required behavior, prove their correctness, and evaluate their performance with realistic measures.

See all Editorial Reviews

Product Details

• Hardcover: 904 pages
• Publisher: Morgan Kaufmann; 1 edition (March 15, 1996)
• Language: English
• ISBN-10: 1558603484
• ISBN-13: 978-1558603486
• Product Dimensions: 7.6 x 1.8 x 9.5 inches
• Shipping Weight: 3.8 pounds (View shipping rates and policies)
• Average Customer Review: 3.7 out of 5 stars  See all reviews (7 customer reviews)
• Amazon Best Sellers Rank: #593,128 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.

Most Helpful Customer Reviews

18 of 18 people found the following review helpful

5.0 out of 5 stars definite reference March 22, 2003

By Boris Aleksandrovsky

Format:Hardcover

Professor's Nancy Lynch's "Distributed Algorithms" is a definite reference for theoretical treatments of many hard problems in distributed computing. It is a textbook, but written in such a clear style that makes it almost a pleasure read. Rarely have I seen something like that! The book has a right proportion of theoretical proofs, practical applications, philosophical appreciation of the problems, research questions, examples and study points.

"Distributed Algorithms" has 3 main parts - synchronous, asynchronous and partially synchronous network algorisms. Each part describes consensus resolution, mutual exclusion, resource allocation, leader election, termination detection and failure detection as main problems in distributed computing theory. Lynch has done a masterful job of leading us from simple to complex, from theoretically solvable to practically intractable problems.

For a practitioner of computer science, who is not necessarily involved in fundamental research, this book gives a clear appreciation of problems of 2PC, resource management, failure profiles in faulty and noisy networks, optimization and fault management in distributed networks. All those things are foundations of databases, network computing and enterprise scalability. It also helped me greatly in estimating the best and worst case boundaries in certain practical distributed system optimization problems.

14 of 15 people found the following review helpful

1.0 out of 5 stars The original printed book is great, but the technical quality of the Kindle edition is extremely poor February 20, 2012

By JS

Format:Kindle Edition|Amazon Verified Purchase

This book is a classic, and I was excited when I learned that this excellent reference work is also available as a Kindle edition.

Unfortunately, the technical quality of the Kindle version is extremely poor. In particular, many parts of it are very difficult to follow because of several technical errors that have been introduced in the conversion of the printed book into Kindle edition.

The Kindle edition is barely useful as a reference if you already have read the printed book, and just want to quickly look up some definitions or references. Trying to read any non-trivial fragment of the Kindle version is a painful experience.

- - -

I am giving here just some examples of the issues that should have been easy to spot before publishing the Kindle version of the book.

Throughout the book, there are numerous strange errors in mathematical formulas. There are confusing mistakes such as using $o(n)$ instead of $O(n)$, or replacing the floor notation with brackets "[...]", or replacing the $\ge$ symbol with text "VI". In many places, the book uses $\epsilon$ instead of $\in$, "U" instead of $\cup$, "V" instead of $\vee$, "." instead of $\cdot$, etc.

There are lots of alignment issues; superscripts and subscripts are often lost. Spacing is wrong, for example, there is often "O (n log n)" instead of "O(n log n)" or "O (logn)" instead of "O(log n)". Hyphens and minus signs are wildly mixed up even within a single paragraph of text. In general, you can expect all kinds of mistakes that happen when you try to apply OCR to mathematical formulas, without carefully proofreading the end result.

Many text fragments - more complicated formulas, algorithm listings, etc. - seem to be low-resolution scanned images. There is a lot of noise in the figures, and the font size in the figures is tiny, making subscripts and superscripts very difficult to read. The alignment of text with respect to the scanned images is poor, making the formulas even more difficult to follow.

All illustrations are also low-resolution scans.

The OCR mistakes are not confined to mathematical formulas. For example, there are mistakes such as replacing the word "component's" with "component-s".

In general the whole volume gives the impression of very sloppy work. Some figures have not been correctly cropped, and there are fragments of surrounding text still visible. The structure of the text (indentations, bullets, etc.) is lost in many places. The use of colours is distracting. Even the hyperlinks are wrong in some places - a sample input in an exercise has been turned into a list of hyperlinks into text chapters. The last page claims that there is also a web version, but the activation system does not seem to recognise this book.

- - -

The original printed book is very well typeset, and it is really sad to see what the publisher has done when they prepared the Kindle edition.

I would have expected that the electronic sources of the original book would have been available; the book is not that old. Nevertheless, it seems that the publisher has just scanned a printed copy of the book, ran it through OCR, and done some rudimentary clean-up. In particular, it seems that nobody has actually bothered to proof-read the end result carefully.

Yet they are selling the Kindle version for > 100 USD...

18 of 25 people found the following review helpful

5.0 out of 5 stars First class thing. I wish all I have to read were that good November 7, 1998

By A Customer

Format:Hardcover

This book is in the same class as "Discrete mathematics" by Knuth and others. Important topic, extensive coverage, good English, zero vendor's propaganda. Super. An unexpected gift from up above (after struggling with reams of MS's (dis) information <g>.) I am working on something distributed and ran into this book accidentally, while browsing in a bookstore--I'm glad I did. Btw, it's a few bucks cheaper in B&N store (here goes my review <g>.)