Bewertung:
Das Buch „Distributed Algorithms“ von Nancy A. Lynch wird für seinen gründlichen Ansatz zu verteilten Algorithmen, der sowohl theoretische als auch praktische Aspekte abdeckt, sehr geschätzt. Es bietet zwar eine solide Grundlage in der Theorie unter Verwendung von E/A-Automaten, ist aber aufgrund seines formalen Stils und seiner Komplexität eine Herausforderung für die Leser. Die Kindle-Ausgabe leidet unter der schlechten technischen Qualität, einschließlich OCR-Fehlern, was die Benutzerfreundlichkeit erheblich beeinträchtigt. Trotz einiger Kritikpunkte loben viele Rezensenten das Buch als unverzichtbares Nachschlagewerk und wertvolle Ressource für das Verständnis verteilter Systeme.
Vorteile:⬤ Gründliche und gut organisierte Abdeckung von verteilten Algorithmen
⬤ bietet Einblicke in theoretische Werkzeuge
⬤ enthält Referenzen für weitere Forschung
⬤ gilt als maßgeblicher Text
⬤ wertvoll für Praktiker und Forscher gleichermaßen
⬤ stellt komplexe Ideen klar dar
⬤ viele Rezensenten empfinden ein Gefühl der Errungenschaft, wenn sie das Material beherrschen
⬤ anerkannt als ein Klassiker der Informatik.
⬤ Anspruchsvoller und formaler Schreibstil
⬤ es fehlt an intuitiven Erklärungen für Algorithmen
⬤ Kindle-Ausgabe hat zahlreiche technische Fehler und schlechte Formatierung
⬤ manche Leser finden die Notation schwerfällig und schwer nachvollziehbar
⬤ kann für das Selbststudium ohne Dozent oder Anleitung schwierig sein
⬤ keine Verwendung formalerer Methoden
⬤ Unzufriedenheit mit dem Fehlen einfacherer Erklärungen naiver Ansätze.
(basierend auf 13 Leserbewertungen)
Distributed Algorithms
In Distributed Algorithms liefert Nancy Lynch einen Entwurf für den Entwurf, die Implementierung und die Analyse von verteilten Algorithmen. Sie wendet sich mit ihrem Buch an ein breites Publikum, darunter Studenten, Programmierer, Systemdesigner und Forscher.
Distributed Algorithms enthält die wichtigsten Algorithmen und Unmöglichkeitsresultate auf diesem Gebiet, alle in einem einfachen automaten-theoretischen Rahmen. Die Algorithmen werden als korrekt bewiesen, und ihre Komplexität wird anhand von genau definierten Komplexitätsmaßen analysiert. Zu den behandelten Problemen gehören Ressourcenzuweisung, Kommunikation, Konsens zwischen verteilten Prozessen, Datenkonsistenz, Deadlock-Erkennung, Wahl des Anführers, globale Snapshots und viele andere.
Das Material ist nach dem Systemmodell gegliedert - zunächst nach dem Zeitmodell und dann nach dem Kommunikationsmechanismus zwischen den Prozessen. Das Material zu den Systemmodellen ist in separaten Kapiteln untergebracht, um das Nachschlagen zu erleichtern.
Die Darstellung ist absolut streng, aber dennoch intuitiv genug, um sofort verstanden zu werden. Dieses Buch macht die Leser mit wichtigen Problemen, Algorithmen und Unmöglichkeitsergebnissen auf diesem Gebiet vertraut: Die Leser können dann die Probleme erkennen, wenn sie in der Praxis auftreten, die Algorithmen anwenden, um sie zu lösen, und die Unmöglichkeitsergebnisse verwenden, um festzustellen, ob Probleme unlösbar sind. Das Buch gibt den Lesern auch die grundlegenden mathematischen Werkzeuge an die Hand, um neue Algorithmen zu entwickeln und neue Unmöglichkeitsergebnisse zu beweisen. Darüber hinaus lehrt es die Leser, wie man sorgfältig über verteilte Algorithmen nachdenkt - um sie formal zu modellieren, präzise Spezifikationen für ihr erforderliches Verhalten zu entwickeln, ihre Korrektheit zu beweisen und ihre Leistung mit realistischen Maßstäben zu bewerten.
| ISBN: | 9781558603486 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Hardcover |
| Erscheinungsjahr: | 1996 |
| Seitenzahl: | 904 |
Derzeit verfügbar, auf Lager.
