Bewertung:
Derzeit gibt es keine Leserbewertungen. Die Bewertung basiert auf 8 Stimmen.
Concurrency: The Works of Leslie Lamport
Dieses Buch ist eine Würdigung der Arbeit von Leslie Lamport im Bereich der Gleichzeitigkeit, die in viereinhalb Jahrzehnte einer sich entwickelnden Industrie eingeflochten ist: von der Einführung des ersten Personal Computers bis zu einer Ära, in der parallele und verteilte Multiprozessoren im Überfluss vorhanden sind.
Seine Arbeiten legen die formale Grundlage für gleichzeitige Berechnungen, die von miteinander verbundenen Computern ausgeführt werden. Einige der Algorithmen sind zum technischen Standard für die fehlertolerante verteilte Datenverarbeitung geworden - verteilte Systeme, die trotz des Ausfalls einzelner Komponenten weiterhin korrekt funktionieren. Er hat auch ein umfangreiches Werk über die formale Spezifikation und Verifikation nebenläufiger Systeme entwickelt und zur Entwicklung automatisierter Werkzeuge beigetragen, die diese Methoden anwenden.
Teil I besteht aus den technischen Kapiteln des Buches und einer Biografie. Die technischen Kapitel dieses Buches bieten einen Rückblick auf Lamports ursprüngliche Ideen von Experten auf diesem Gebiet. Auf diese Weise wird ihre lang anhaltende Wirkung veranschaulicht. Die Kapitel behandeln zeitlose Begriffe, die Lamport einführte: den Bakery-Algorithmus, atomare gemeinsame Register und sequentielle Konsistenz; Kausalität und logische Zeit; byzantinische Vereinbarung; Replikation von Zustandsautomaten und Paxos; temporale Logik von Aktionen (TLA). Die Berufsbiographie erzählt von Lamports Karriere und stellt den Kontext dar, in dem seine Arbeit entstand und neue Wege beschritt, und diskutiert LaTeX - Lamports vielleicht einflussreichster Beitrag außerhalb des Bereichs der Gleichzeitigkeit. In diesem Kapitel kommen die Menschen zu Wort, die hinter den Errungenschaften stehen, insbesondere Lamport selbst, aber auch die Kollegen in seinem Umfeld, die ihn inspirierten, mit ihm zusammenarbeiteten und ihm halfen, weltweite Wirkung zu erzielen. Teil II besteht aus einer Auswahl der einflussreichsten Arbeiten von Leslie Lamport.
Dieses Buch befasst sich mit den lebenslangen Beiträgen von Leslie Lamport zum Gebiet der Nebenläufigkeit und mit dem weitreichenden Einfluss, den er auf die Menschen hatte, die auf diesem Gebiet arbeiten. Es wird für Wissenschaftshistoriker sowie für Forscher und Studenten, die im Bereich der Gleichzeitigkeit arbeiten und sich für die Arbeit eines der einflussreichsten Forscher auf diesem Gebiet interessieren, von Nutzen sein.
| ISBN: | 9781450372701 |
| Autor: | |
| Verlag: | |
| Einband: | Hardcover |
Derzeit verfügbar, auf Lager.
