Online-Ressource
San Rafael :Morgan & Claypool Publishers,
UID:
edocfu_9961565884502883
Umfang:
1 online resource (367 pages)
ISBN:
1-4503-7273-2
Inhalt:
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.
Anmerkung:
Intro -- Contents -- Preface -- Photo and Text Credits -- Introduction -- The Computer Science of Concurrency: The Early Years -- PART I. TECHNICAL PERSPECTIVES ON LAMPORT'SWORK -- 1. Shared Memory and the Bakery Algorithm -- 2. The Notions of Time and Global State in a Distributed System -- 3. Byzantine Faults -- 4. State Machine Replication with Benign Failures -- 5. Formal Specification and Verification -- 6. Biography -- PART II. SELECTED PAPERS -- A New Solution of Dijkstra's Concurrent Programming Problem -- 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 -- Blank Page.
Sprache:
Englisch
| Bibliothek |
Standort |
Signatur |
Band/Heft/Jahr |
Verfügbarkeit |
