Concurrency: Lucrările lui Leslie Lamport

Recenzii ale cititorilor

În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 8 voturi.

Titlul original:

Concurrency: The Works of Leslie Lamport

Conținutul cărții:

Această carte este o celebrare a activității lui Leslie Lamport în domeniul concurenței, împletită în patru decenii și jumătate de evoluție a industriei: de la introducerea primului computer personal până la era în care multiprocesoarele paralele și distribuite sunt abundente.

Lucrările sale pun bazele formale ale calculelor concurente executate de calculatoare interconectate. Unii dintre algoritmi au devenit practici standard de inginerie pentru calculul distribuit tolerant la erori - sisteme distribuite care continuă să funcționeze corect în ciuda defecțiunilor componentelor individuale. De asemenea, a dezvoltat un corp substanțial de lucrări privind specificarea și verificarea formală a sistemelor concurente și a contribuit la dezvoltarea de instrumente automate care aplică aceste metode.

Partea I constă în capitolele tehnice ale cărții și o biografie. Capitolele tehnice ale acestei cărți prezintă o retrospectivă a ideilor originale ale lui Lamport din partea experților în domeniu. Prin această lentilă, se portretizează impactul lor de lungă durată. Capitolele acoperă noțiunile atemporale introduse de Lamport: algoritmul Bakery, registrele atomice partajate și coerența secvențială; cauzalitatea și timpul logic; acordul bizantin; replicarea mașinilor de stare și Paxos; logica temporală a acțiunilor (TLA). Biografia profesională vorbește despre cariera lui Lamport, oferind contextul în care munca sa a apărut și a deschis noi drumuri, și discută despre LaTeX - probabil cea mai influentă contribuție a lui Lamport în afara domeniului concurenței. Acest capitol dă glas oamenilor din spatele realizărilor, în special lui Lamport însuși și, în plus, colegilor din jurul său, care l-au inspirat, au colaborat și l-au ajutat să aibă un impact mondial. Partea a II-a constă într-o selecție a celor mai influente lucrări ale lui Leslie Lamport.

Această carte se referă la o viață întreagă de contribuții ale lui Leslie Lamport la domeniul concurenței și la influența extinsă pe care a avut-o asupra persoanelor care lucrează în domeniu. Ea va fi utilă istoricilor științei, precum și cercetătorilor și studenților care lucrează în domeniul concurenței și care sunt interesați să citească despre activitatea unuia dintre cei mai influenți cercetători din acest domeniu.