Současnost: Díla Leslieho Lamporta

Recenze čtenářů

Aktuálně nejsou k dispozici žádné recenze čtenářů. Hodnocení je založeno na 8 hlasů.

Původní název:

Concurrency: The Works of Leslie Lamport

Obsah knihy:

Tato kniha je oslavou práce Leslieho Lamporta v oblasti souběžných procesů, která se prolíná čtyřmi a půl desetiletími vývoje v oboru: od uvedení prvního osobního počítače až po éru, kdy je paralelních a distribuovaných víceprocesorových procesorů nepřeberné množství.

Jeho práce položily formální základy pro souběžné výpočty prováděné propojenými počítači. Některé z těchto algoritmů se staly standardní inženýrskou praxí pro distribuované výpočty odolné vůči poruchám - distribuované systémy, které i přes poruchy jednotlivých komponent nadále správně fungují. Vypracoval také rozsáhlé dílo o formální specifikaci a verifikaci souběžných systémů a přispěl k vývoji automatizovaných nástrojů aplikujících tyto metody.

První část se skládá z odborných kapitol knihy a životopisu. Technické kapitoly této knihy představují retrospektivu Lamportových původních myšlenek od odborníků v oboru. Touto optikou vykresluje jejich dlouhodobý dopad. Kapitoly se zabývají nadčasovými pojmy, které Lamport zavedl: algoritmus Bakery, atomické sdílené registry a sekvenční konzistence; kauzalita a logický čas; byzantská dohoda; replikace stavových strojů a Paxos; časová logika akcí (TLA). Odborný životopis vypráví o Lamportově kariéře, uvádí kontext, v němž jeho práce vznikla a prorazila nové směry, a pojednává o LaTeXu - pravděpodobně nejvlivnějším Lamportově příspěvku mimo oblast souběžných funkcí. Tato kapitola dává slovo lidem, kteří stáli za těmito úspěchy, zejména samotnému Lamportovi, a dále kolegům z jeho okolí, kteří ho inspirovali, spolupracovali s ním a pomáhali mu dosáhnout celosvětového vlivu. Část II se skládá z výběru nejvlivnějších prací Leslieho Lamporta.

Tato kniha se zabývá celoživotním přínosem Leslieho Lamporta pro obor souběžného řízení a rozsáhlým vlivem, který měl na lidi pracující v tomto oboru. Bude cenná pro historiky vědy a pro badatele a studenty, kteří pracují v oblasti souběžnosti a kteří mají zájem přečíst si o práci jednoho z nejvlivnějších badatelů v tomto oboru.