Súbežnosť: Leslie Lamport: Súhra: Diela Leslieho Lamporta

Recenzie čitateľov

Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 8 hlasoch.

Pôvodný názov:

Concurrency: The Works of Leslie Lamport

Obsah knihy:

Táto kniha je oslavou práce Leslieho Lamporta o súbežnosti, ktorá sa prelína štyrmi a pol desaťročiami vyvíjajúceho sa priemyslu: od uvedenia prvého osobného počítača až po éru, keď je paralelných a distribuovaných multiprocesorov veľa.

Jeho práce položili formálne základy súbežných výpočtov vykonávaných prepojenými počítačmi. Niektoré z týchto algoritmov sa stali štandardnou inžinierskou praxou pre distribuované výpočty odolné voči poruchám - distribuované systémy, ktoré fungujú správne aj napriek poruchám jednotlivých komponentov. Vypracoval tiež rozsiahle dielo o formálnej špecifikácii a verifikácii súbežných systémov a prispel k vývoju automatizovaných nástrojov aplikujúcich tieto metódy.

Prvá časť pozostáva z technických kapitol knihy a životopisu. Technické kapitoly tejto knihy predstavujú retrospektívu Lamportových pôvodných myšlienok od odborníkov v tejto oblasti. Cez túto optiku zobrazuje ich dlhodobý vplyv. Kapitoly sa zaoberajú nadčasovými pojmami, ktoré Lamport zaviedol: algoritmus Bakery, atomické zdieľané registre a sekvenčná konzistencia; kauzalita a logický čas; byzantská dohoda; replikácia stavových strojov a Paxos; časová logika akcií (TLA). Odborný životopis hovorí o Lamportovej kariére, poskytuje kontext, v ktorom jeho práca vznikla a prelomila nové základy, a rozoberá LaTeX - pravdepodobne najvplyvnejší Lamportov príspevok mimo oblasti súbežnosti. Táto kapitola dáva priestor ľuďom, ktorí stoja za týmito úspechmi, najmä samotnému Lamportovi, a okrem toho aj kolegom z jeho okolia, ktorí ho inšpirovali, spolupracovali s ním a pomohli mu dosiahnuť celosvetový vplyv. Časť II pozostáva z výberu najvplyvnejších prác Leslieho Lamporta.

Táto kniha sa zaoberá celoživotným prínosom Leslieho Lamporta do oblasti súbežnosti a jeho rozsiahlym vplyvom na ľudí pracujúcich v tejto oblasti. Bude cenná pre historikov vedy, ako aj pre výskumníkov a študentov, ktorí pracujú v oblasti súbežnosti a ktorí majú záujem prečítať si o práci jedného z najvplyvnejších výskumníkov v tejto oblasti.