Concurrency: the works of Leslie Lamport
Gespeichert in:
Weitere Verfasser: | |
---|---|
Format: | Buch |
Sprache: | English |
Veröffentlicht: |
[New York]
ACM
[2019]
|
Schriftenreihe: | ACM books series
#29 |
Schlagworte: | |
Online-Zugang: | Inhaltsverzeichnis |
Beschreibung: | xx, 345 Seiten Illustrationen, Diagramme |
ISBN: | 1450372708 9781450372701 1450372716 9781450372718 |
Internformat
MARC
LEADER | 00000nam a2200000 cb4500 | ||
---|---|---|---|
001 | BV046251037 | ||
003 | DE-604 | ||
005 | 20210225 | ||
007 | t | ||
008 | 191112s2019 a||| |||| 00||| eng d | ||
020 | |a 1450372708 |9 1-4503-7270-8 | ||
020 | |a 9781450372701 |9 978-1-4503-7270-1 | ||
020 | |a 1450372716 |9 1-4503-7271-6 | ||
020 | |a 9781450372718 |9 978-1-4503-7271-8 | ||
035 | |a (OCoLC)1135368888 | ||
035 | |a (DE-599)BVBBV046251037 | ||
040 | |a DE-604 |b ger |e rda | ||
041 | 0 | |a eng | |
049 | |a DE-739 |a DE-573 | ||
084 | |a SR 500 |0 (DE-625)143357: |2 rvk | ||
100 | 1 | |a Malkhi, Dahlia |0 (DE-588)1202470777 |4 edt | |
245 | 1 | 0 | |a Concurrency |b the works of Leslie Lamport |c Dahlia Malkhi, editor (VMware Research and Calibra) |
264 | 1 | |a [New York] |b ACM |c [2019] | |
300 | |a xx, 345 Seiten |b Illustrationen, Diagramme | ||
336 | |b txt |2 rdacontent | ||
337 | |b n |2 rdamedia | ||
338 | |b nc |2 rdacarrier | ||
490 | 0 | |a ACM books series |v #29 | |
600 | 1 | 7 | |a Lamport, Leslie |d 1941- |0 (DE-588)170465918 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Biografie |0 (DE-588)4006804-3 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Gleichzeitigkeit |0 (DE-588)4195353-8 |2 gnd |9 rswk-swf |
650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
655 | 7 | |8 1\p |0 (DE-588)4006804-3 |a Biografie |2 gnd-content | |
689 | 0 | 0 | |a Lamport, Leslie |d 1941- |0 (DE-588)170465918 |D p |
689 | 0 | 1 | |a Nebenläufigkeit |0 (DE-588)4115352-2 |D s |
689 | 0 | 2 | |a Gleichzeitigkeit |0 (DE-588)4195353-8 |D s |
689 | 0 | 3 | |a Informatik |0 (DE-588)4026894-9 |D s |
689 | 0 | |5 DE-604 | |
689 | 1 | 0 | |a Biografie |0 (DE-588)4006804-3 |D s |
689 | 1 | 1 | |a Gleichzeitigkeit |0 (DE-588)4195353-8 |D s |
689 | 1 | 2 | |a Informatik |0 (DE-588)4026894-9 |D s |
689 | 1 | |5 DE-604 | |
856 | 4 | 2 | |m Digitalisierung UB Passau - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031629259&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
999 | |a oai:aleph.bib-bvb.de:BVB01-031629259 | ||
883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk |
Datensatz im Suchindex
_version_ | 1804180677772443648 |
---|---|
adam_text | Contants Preface xvii Photo and Text Credits Introduction xix 1 Dahlia Maikki, Idit Reidar Chapter 1: Shared Memory and the Bakery Algorithm З Chapter 2: The Notions of Time and Global State in a Distributed System Chapter 3: Byzantine Faults 7 Chapter 4: State Machine Replication with Benign Failures 9 Chapter 5: Formal Specification and Verification 10 Chapter 6: Biography 11 Closing Remarks 12 The Computer Science of Concurrency: The Early Years 13 Leslie Lamport 1 2 3 4 5 Foreword 13 The Beginning: Mutual Exclusion 14 Producer-Consumer Synchronization 17 Distributed Algorithms 23 Afterwards 24 References 25 РМШ l TECHNICAL PERSPECTIVES ON LAMPORT’S WORK 27 Ghspfer I Shared Memory and the Bakery Algorithm 29 Hagit Attiya, Jennifer L. Welch 1.1 Introduction 29
xii Contents 1.2 1.3 1.4 1.5 Chapter 2 Flavors of the Bakery Algorithm 30 A Plethora of Registers 36 A New Model for Describing Concurrency 41 Sequential Consistency 44 The Notions of Time and Global State in a Distributed System Karolos Antoniadis, Rachid Guerraoui 2.1 2.2 2.3 2.4 2.5 Chapter 3 Introduction 47 The Notion of Logical Time 49 The Distributed State Machine Abstraction 53 The Notion of Distributed Global State 58 Conclusion 65 Byzantine Faults 67 Christian Cachin 3.1 3.2 3.3 3.4 Chapter 4 Introduction 67 Byzantine Agreement 68 Byzantine Clock Synchronization 76 Digital Signatures 77 State Machine Replication with Benign Failures 8 3 Robbert van Renesse 4.1 4.2 4.3 4.4 4.5 4.6 4.7 Chapter S Active versus Passive Replication 85 A Brief Review of State Machine Replication 85 Benign System Models 87 SMR Protocol Basics 88 Early Asynchronous Consensus Protocols 90 Paxos 96 Dynamic Reconfiguration 100 Formal Specification and Verification 103 Stephan Merz 5.1 5.2 5.3 5.4 Introduction 103 The Temporal Logic of Actions 105 The Specification Language TLA+ 115 PlusCal: An Algorithm Language 119
Contents 5.5 5.6 Chapter 6 Tool Support Impact 127 xiii 123 Biography 131 Roy Levin 6.1 6.2 6.3 6.4 6.5 6.6 6.7 6.8 Early Years 131 Education and Early Employment 133 The COMPASS Years (1970-1977) 134 The SRI Years (1977-1985) 139 The DEC/Compaq Years (1985-2001) 146 The Microsoft Years (2001-) 155 Honors 163 Collegial Influences 165 PARTIS SELECTED PAPERS 171 A New Solution of Dijkstra’s Concurrent Programming Problem 173 Leslie Lamport Introduction 173 The Algorithm 174 Proof of Correctness 175 Further Remarks 177 Conclusion 177 References 178 Time, Clocks, and the Ordering of Events in a Distributed System 179 Leslie Lamport Introduction 180 The Partial Ordering 180 Logical Clocks 182 Ordering the Events Totally Anomalous Behavior 189 Physical Clocks 190 Conclusion 192 Appendix 193 References 196 185 *
xiv Contents How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs 197 Leslie Lamport References 201 The Byzantine Generals Problem 203 Leslie Lamport, Robert Shostak, Marshall Pease 1 2 3 4 5 6 7 Introduction 204 Impossibility Results 206 A Solution with Oral Messages 210 A Solution with Signed Messages 213 Missing Communication Paths 217 Reliable Systems 221 Conclusion 225 References 226 The Mutual Exclusion Problem: Part I—A Theory of Interprocess Communication 227 Leslie Lamport 1 2 3 4 5 6 7 Abstract 227 Introduction 228 The Model 228 Interprocess Communication 234 Processes 239 Multiple-Reader Variables 242 Discussion of the Assumptions 243 Conclusion 244 Acknowledgments 244 References 244 The Mutual Exclusion Problem: Part II—Statement and Solutions Leslie Lamport 1 2 Abstract 247 Introduction 248 The Problem 249 247
Contents 3 4 The Solutions 258 Conclusion 273 References 275 The Part-Time Parliament 277 Leslie Lamport 1 2 3 4 The Problem 278 The Single-Decree Synod 281 The Multidecree Parliament 294 Relevance to Computer Science 304 Acknowledgments 316 References 316 References 319 Index 335 Biographies 343
|
any_adam_object | 1 |
author2 | Malkhi, Dahlia |
author2_role | edt |
author2_variant | d m dm |
author_GND | (DE-588)1202470777 |
author_facet | Malkhi, Dahlia |
building | Verbundindex |
bvnumber | BV046251037 |
classification_rvk | SR 500 |
ctrlnum | (OCoLC)1135368888 (DE-599)BVBBV046251037 |
discipline | Informatik |
format | Book |
fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02170nam a2200517 cb4500</leader><controlfield tag="001">BV046251037</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20210225 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">191112s2019 a||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1450372708</subfield><subfield code="9">1-4503-7270-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781450372701</subfield><subfield code="9">978-1-4503-7270-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1450372716</subfield><subfield code="9">1-4503-7271-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781450372718</subfield><subfield code="9">978-1-4503-7271-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1135368888</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046251037</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-573</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SR 500</subfield><subfield code="0">(DE-625)143357:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Malkhi, Dahlia</subfield><subfield code="0">(DE-588)1202470777</subfield><subfield code="4">edt</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Concurrency</subfield><subfield code="b">the works of Leslie Lamport</subfield><subfield code="c">Dahlia Malkhi, editor (VMware Research and Calibra)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[New York]</subfield><subfield code="b">ACM</subfield><subfield code="c">[2019]</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xx, 345 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">ACM books series</subfield><subfield code="v">#29</subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Lamport, Leslie</subfield><subfield code="d">1941-</subfield><subfield code="0">(DE-588)170465918</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Biografie</subfield><subfield code="0">(DE-588)4006804-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Gleichzeitigkeit</subfield><subfield code="0">(DE-588)4195353-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4006804-3</subfield><subfield code="a">Biografie</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Lamport, Leslie</subfield><subfield code="d">1941-</subfield><subfield code="0">(DE-588)170465918</subfield><subfield code="D">p</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Nebenläufigkeit</subfield><subfield code="0">(DE-588)4115352-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Gleichzeitigkeit</subfield><subfield code="0">(DE-588)4195353-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Biografie</subfield><subfield code="0">(DE-588)4006804-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Gleichzeitigkeit</subfield><subfield code="0">(DE-588)4195353-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031629259&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031629259</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
genre | 1\p (DE-588)4006804-3 Biografie gnd-content |
genre_facet | Biografie |
id | DE-604.BV046251037 |
illustrated | Illustrated |
indexdate | 2024-07-10T08:39:34Z |
institution | BVB |
isbn | 1450372708 9781450372701 1450372716 9781450372718 |
language | English |
oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031629259 |
oclc_num | 1135368888 |
open_access_boolean | |
owner | DE-739 DE-573 |
owner_facet | DE-739 DE-573 |
physical | xx, 345 Seiten Illustrationen, Diagramme |
publishDate | 2019 |
publishDateSearch | 2019 |
publishDateSort | 2019 |
publisher | ACM |
record_format | marc |
series2 | ACM books series |
spelling | Malkhi, Dahlia (DE-588)1202470777 edt Concurrency the works of Leslie Lamport Dahlia Malkhi, editor (VMware Research and Calibra) [New York] ACM [2019] xx, 345 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier ACM books series #29 Lamport, Leslie 1941- (DE-588)170465918 gnd rswk-swf Nebenläufigkeit (DE-588)4115352-2 gnd rswk-swf Biografie (DE-588)4006804-3 gnd rswk-swf Gleichzeitigkeit (DE-588)4195353-8 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf 1\p (DE-588)4006804-3 Biografie gnd-content Lamport, Leslie 1941- (DE-588)170465918 p Nebenläufigkeit (DE-588)4115352-2 s Gleichzeitigkeit (DE-588)4195353-8 s Informatik (DE-588)4026894-9 s DE-604 Biografie (DE-588)4006804-3 s Digitalisierung UB Passau - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031629259&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
spellingShingle | Concurrency the works of Leslie Lamport Lamport, Leslie 1941- (DE-588)170465918 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Biografie (DE-588)4006804-3 gnd Gleichzeitigkeit (DE-588)4195353-8 gnd Informatik (DE-588)4026894-9 gnd |
subject_GND | (DE-588)170465918 (DE-588)4115352-2 (DE-588)4006804-3 (DE-588)4195353-8 (DE-588)4026894-9 |
title | Concurrency the works of Leslie Lamport |
title_auth | Concurrency the works of Leslie Lamport |
title_exact_search | Concurrency the works of Leslie Lamport |
title_full | Concurrency the works of Leslie Lamport Dahlia Malkhi, editor (VMware Research and Calibra) |
title_fullStr | Concurrency the works of Leslie Lamport Dahlia Malkhi, editor (VMware Research and Calibra) |
title_full_unstemmed | Concurrency the works of Leslie Lamport Dahlia Malkhi, editor (VMware Research and Calibra) |
title_short | Concurrency |
title_sort | concurrency the works of leslie lamport |
title_sub | the works of Leslie Lamport |
topic | Lamport, Leslie 1941- (DE-588)170465918 gnd Nebenläufigkeit (DE-588)4115352-2 gnd Biografie (DE-588)4006804-3 gnd Gleichzeitigkeit (DE-588)4195353-8 gnd Informatik (DE-588)4026894-9 gnd |
topic_facet | Lamport, Leslie 1941- Nebenläufigkeit Biografie Gleichzeitigkeit Informatik |
url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=031629259&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
work_keys_str_mv | AT malkhidahlia concurrencytheworksofleslielamport |