Concurrency

The Works of Leslie Lamport
 
 
ACM Books; ACM Books (Verlag)
  • erschienen am 16. September 2019
  • |
  • 365 Seiten
 
E-Book | ePUB mit Adobe DRM | Systemvoraussetzungen
978-1-4503-7272-5 (ISBN)
 

This book is a celebration of Leslie Lamport's work on concurrency, interwoven in four-and-a-half decades of an evolving industry: from the introduction of the first personal computer to an era when parallel and distributed multiprocessors are abundant.

His works lay formal foundations for concurrent computations executed by interconnected computers. Some of the algorithms have become standard engineering practice for fault tolerant distributed computing - distributed systems that continue to function correctly despite failures of individual components. He also developed a substantial body of work on the formal specification and verification of concurrent systems, and has contributed to the development of automated tools applying these methods.

Part I consists of technical chapters of the book and a biography. The technical chapters of this book present a retrospective on Lamport's original ideas from experts in the field. Through this lens, it portrays their long-lasting impact. The chapters cover timeless notions Lamport introduced: the Bakery algorithm, atomic shared registers and sequential consistency; causality and logical time; Byzantine Agreement; state machine replication and Paxos; temporal logic of actions (TLA). The professional biography tells of Lamport's career, providing the context in which his work arose and broke new grounds, and discusses LaTeX - perhaps Lamport's most influential contribution outside the field of concurrency. This chapter gives a voice to the people behind the achievements, notably Lamport himself, and additionally the colleagues around him, who inspired, collaborated, and helped him drive worldwide impact. Part II consists of a selection of Leslie Lamport's most influential papers.

This book touches on a lifetime of contributions by Leslie Lamport to the field of concurrency and on the extensive influence he had on people working in the field. It will be of value to historians of science, and to researchers and students who work in the area of concurrency and who are interested to read about the work of one of the most influential researchers in this field.

  • Englisch
Association for Computing Machinery and Morgan & Claypool Publishers
  • 5,84 MB
978-1-4503-7272-5 (9781450372725)
  • Preface
  • Photo and Text Credits
  • Introduction
  • The Computer Science of Concurrency: The Early Years
  • PART I TECHNICAL PERSPECTIVES ON LAMPORT'S WORK
    • Shared Memory and the Bakery Algorithm
    • The Notions of Time and Global State in a Distributed System
    • Byzantine Faults
    • State Machine Replication with Benign Failures
    • Formal Specification and Verification
    • Biography
  • PART II SELECTED PAPERS
    • A New Solution of Dijkstra's Concurrent Programming Problem
    • Time, Clocks, and the Ordering of Events in a Distributed System
    • How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
    • The Byzantine Generals Problem
    • The Mutual Exclusion Problem: Part I-A Theory of Interprocess Communication
    • The Mutual Exclusion Problem: Part II-Statement and Solutions
    • The Part-Time Parliament
  • References
  • Index
  • Biographies

Dateiformat: EPUB
Kopierschutz: Adobe-DRM (Digital Rights Management)

Systemvoraussetzungen:

Computer (Windows; MacOS X; Linux): Installieren Sie bereits vor dem Download die kostenlose Software Adobe Digital Editions (siehe E-Book Hilfe).

Tablet/Smartphone (Android; iOS): Installieren Sie bereits vor dem Download die kostenlose App Adobe Digital Editions (siehe E-Book Hilfe).

E-Book-Reader: Bookeen, Kobo, Pocketbook, Sony, Tolino u.v.a.m. (nicht Kindle)

Das Dateiformat EPUB ist sehr gut für Romane und Sachbücher geeignet - also für "fließenden" Text ohne komplexes Layout. Bei E-Readern oder Smartphones passt sich der Zeilen- und Seitenumbruch automatisch den kleinen Displays an. Mit Adobe-DRM wird hier ein "harter" Kopierschutz verwendet. Wenn die notwendigen Voraussetzungen nicht vorliegen, können Sie das E-Book leider nicht öffnen. Daher müssen Sie bereits vor dem Download Ihre Lese-Hardware vorbereiten.

Bitte beachten Sie bei der Verwendung der Lese-Software Adobe Digital Editions: wir empfehlen Ihnen unbedingt nach Installation der Lese-Software diese mit Ihrer persönlichen Adobe-ID zu autorisieren!

Weitere Informationen finden Sie in unserer E-Book Hilfe.


Download (sofort verfügbar)

68,49 €
inkl. 7% MwSt.
Download / Einzel-Lizenz
E-Book bestellen