Concurrency: Leslie Lamport művei

Olvasói vélemények

Jelenleg nincsenek olvasói vélemények. Az értékelés 8 olvasói szavazat alapján történt.

Eredeti címe:

Concurrency: The Works of Leslie Lamport

Könyv tartalma:

Ez a könyv Leslie Lamport párhuzamossággal kapcsolatos munkásságának ünneplése, amely egy fejlődő iparág négy és fél évtizedébe fonódik bele: az első személyi számítógép bevezetésétől a párhuzamos és elosztott többprocesszorok bőséges elterjedésének korszakáig.

Munkái lefektették az összekapcsolt számítógépek által végrehajtott egyidejű számítások formális alapjait. Az algoritmusok némelyike a hibatűrő elosztott számítástechnika szabványos mérnöki gyakorlatává vált - olyan elosztott rendszerekké, amelyek az egyes komponensek meghibásodása ellenére is megfelelően működnek. Emellett jelentős munkát végzett az egyidejű rendszerek formális specifikációjával és verifikációjával kapcsolatban, és hozzájárult az ezeket a módszereket alkalmazó automatizált eszközök fejlesztéséhez.

Az I. rész a könyv technikai fejezeteiből és egy életrajzból áll. A könyv technikai fejezetei Lamport eredeti ötleteinek visszatekintését mutatják be a terület szakértőitől. Ezen a szemüvegen keresztül ábrázolja hosszú távú hatásukat. A fejezetek a Lamport által bevezetett időtlen fogalmakkal foglalkoznak: a Bakery algoritmus, az atomi megosztott regiszterek és a szekvenciális konzisztencia; a kauzalitás és a logikai idő; a bizánci megállapodás; az állapotgépek replikációja és a Paxos; a cselekvések időbeli logikája (TLA). A szakmai életrajz beszámol Lamport pályafutásáról, megadja azt a kontextust, amelyben munkája keletkezett és új utakat tört, és tárgyalja a LaTeX-et - Lamport talán legnagyobb hatású hozzájárulását az egyidejűség területén kívül. Ez a fejezet hangot ad az eredmények mögött álló embereknek, nevezetesen magának Lamportnak, és emellett a körülötte lévő kollégáknak, akik inspirálták, együttműködtek vele, és segítették őt a világméretű hatás elérésében. A II. rész Leslie Lamport legbefolyásosabb tanulmányaiból tartalmaz válogatást.

Ez a könyv bemutatja Leslie Lamport egész életében az egyidejűség területéhez való hozzájárulását, és azt a nagyfokú hatást, amelyet a területen dolgozó emberekre gyakorolt. Értékes lesz a tudománytörténészek, valamint az egyidejűség területén dolgozó kutatók és hallgatók számára, akik szívesen olvasnának a terület egyik legnagyobb hatású kutatójának munkásságáról.