Współbieżność: Dzieła Lesliego Lamporta

Opinie czytelników

Obecnie brak opinii czytelników. Ocena opiera się na 8 głosach.

Oryginalny tytuł:

Concurrency: The Works of Leslie Lamport

Zawartość książki:

Ta książka jest świętem pracy Lesliego Lamporta nad współbieżnością, wplecionej w cztery i pół dekady ewoluującego przemysłu: od wprowadzenia pierwszego komputera osobistego do ery, w której równoległe i rozproszone wieloprocesory są obfite.

Jego prace położyły formalne podwaliny pod obliczenia współbieżne wykonywane przez połączone ze sobą komputery. Niektóre z algorytmów stały się standardową praktyką inżynierską w zakresie rozproszonych systemów obliczeniowych odpornych na uszkodzenia - rozproszonych systemów, które nadal działają poprawnie pomimo awarii poszczególnych komponentów. Opracował również znaczną część prac nad formalną specyfikacją i weryfikacją systemów współbieżnych oraz przyczynił się do rozwoju zautomatyzowanych narzędzi stosujących te metody.

Część I składa się z rozdziałów technicznych książki i biografii. Rozdziały techniczne tej książki przedstawiają retrospektywę oryginalnych pomysłów Lamporta od ekspertów w tej dziedzinie. Przez ten pryzmat przedstawia ich długotrwały wpływ. Rozdziały obejmują ponadczasowe pojęcia wprowadzone przez Lamporta: algorytm Bakery, atomowe rejestry współdzielone i spójność sekwencyjna; przyczynowość i czas logiczny; umowa bizantyjska; replikacja maszyn stanowych i Paxos; temporalna logika działań (TLA). Biografia zawodowa opowiada o karierze Lamporta, zapewniając kontekst, w którym jego praca powstała i przełamała nowe obszary, oraz omawia LaTeX - być może najbardziej wpływowy wkład Lamporta poza dziedziną współbieżności. Rozdział ten oddaje głos ludziom stojącym za osiągnięciami, w szczególności samemu Lamportowi, a także otaczającym go kolegom, którzy inspirowali, współpracowali i pomagali mu wywierać wpływ na całym świecie. Część II składa się z wyboru najbardziej wpływowych artykułów Leslie Lamporta.

Ta książka porusza życiowy wkład Lesliego Lamporta w dziedzinę współbieżności i rozległy wpływ, jaki wywarł na ludzi pracujących w tej dziedzinie. Będzie ona wartościowa dla historyków nauki, a także dla badaczy i studentów, którzy pracują w dziedzinie współbieżności i którzy są zainteresowani przeczytaniem o pracy jednego z najbardziej wpływowych badaczy w tej dziedzinie.